simon/SCCD: The SCCD (Statecharts + Class Diagrams) compiler and runtime. @ ff59de96752379d0567e6ef9c1a8fb957d32f2ee

Joeri Exelmans ff59de9675 Re-render test files as SVG images.		5 年之前
..
action_lang	ff59de9675 Re-render test files as SVG images.	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 年之前