jexelmans/sccd: My own version of SCCD. Started as a fork of SCCD 0.9, but is >99% a complete rewrite. The interpreter part was created as part of my master thesis. The compiler (target: Rust) was added later on. @ b3d71751142ec5a14091f2eec4931e519223d350

Joeri Exelmans b3d7175114 Extend readme. Add some comments.		5 年之前
..
action_lang	b3d7175114 Extend readme. Add some comments.	5 年之前
after	ff59de9675 Re-render test files as SVG images.	5 年之前
history	490196c118 Add script that checks if "semantic oracle" statechart correctly infers semantics under all circumstances. Small 'refactor' to how combo-step maximality option is represented in abstract syntax (now the same as big-step maximality).	5 年之前
parallel	af62dc077c Various small fixes	5 年之前