v0.2.0

Final version by adding acceptance transitions -- which caused a lot of refactoring.

Screenshot

v0.1.0

Same as the alpha, simply add fixpoint in order to avoid infinite loops.

v0.1.0-alpha

The infrastructure is implemented, however, there there is no support for acceptance transitions and there is some bug to fix for the reduction calculation.

Demo

deepin-screen-recorder_kitty_20220416190316.mp4