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 години