 Joeri Exelmans
|
dacbbec4ee
Microwave example: various changes
|
4 tahun lalu |
|
Joeri Exelmans
|
ff9420f0a1
Some long uncommitted changes (not sure exactly what or why)
|
4 tahun lalu |
|
Joeri Exelmans
|
131ec796f1
Microwave example: add more variants
|
4 tahun lalu |
|
Joeri Exelmans
|
86acc97f37
Microwave example: added alternative allowing to run it with the door opened.
|
4 tahun lalu |
|
Joeri Exelmans
|
6b2195749d
Update microwave example
|
4 tahun lalu |
|
Joeri Exelmans
|
fb78e8913d
Add microwave example
|
4 tahun lalu |
|
Joeri Exelmans
|
33969e5928
Controller and test framework can deal with bags of (simultaneous) input events. Add examples 19, 20 and 21 from Day & Atlee.
|
4 tahun lalu |
|
Joeri Exelmans
|
eeecb1fb50
Add example 19 from Day & Atlee
|
4 tahun lalu |
|
Joeri Exelmans
|
0594ee5c6d
Much cooler looking priority graphs
|
4 tahun lalu |
|
Joeri Exelmans
|
b4e0992414
Move render script to 'sccd.statechart.cmd'
|
4 tahun lalu |
|
Joeri Exelmans
|
dad727f008
Update README
|
4 tahun lalu |
|
Joeri Exelmans
|
348c04e397
Move candidate generator classes to a separate module. Add script for rendering graph of transition priorities.
|
4 tahun lalu |
|
Joeri Exelmans
|
78a2d6ad8c
Cleaning some stuff up
|
4 tahun lalu |
|
Joeri Exelmans
|
6745c384aa
Remove old files. Change layout of test directory.
|
4 tahun lalu |
|
Joeri Exelmans
|
b3d7175114
Extend readme. Add some comments.
|
4 tahun lalu |
|
Joeri Exelmans
|
ff59de9675
Re-render test files as SVG images.
|
4 tahun lalu |
|
Joeri Exelmans
|
c0513f3019
Removed some unnecessary edges from priority graph + fix potential bug in OOSS-priority.
|
4 tahun lalu |
|
Joeri Exelmans
|
1c4f323794
Move SCCD exceptions from action_lang to their own package
|
4 tahun lalu |
|
Joeri Exelmans
|
ce33633175
Fix error in semantics demo
|
4 tahun lalu |
|
Joeri Exelmans
|
f5b1669c37
Print exceptions when SCCDDEBUG environment variable is set.
|
4 tahun lalu |
|
Joeri Exelmans
|
e1826ed316
Made it possible to disable hierarchical priority. Added more priority tests, including tests that fail because of detected nondeterminism.
|
4 tahun lalu |
|
Joeri Exelmans
|
00becf8a0d
Re-implemented priority semantics: Based on priority semantics, a directed graph of orderings between transitions is explicitly built, checked for cycles, and from it, a total ordering of transitions is constructed. Transitions between whom no ordering exists are only allowed if they cannot be simultaneously enabled wrt their source states. It is now possible to switch off explicit ordering of orthogonal regions and explicit ordering of transitions with the same source state (but it's ON by default :)
|
4 tahun lalu |
|
Joeri Exelmans
|
51be0029f4
XML parsing of semantic options: don't ignore non-existing semantic aspects
|
4 tahun lalu |
|
Joeri Exelmans
|
b62fc3a6e7
Add readme for semantics example
|
4 tahun lalu |
|
Joeri Exelmans
|
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 tahun lalu |
|
Joeri Exelmans
|
f6f6fba213
Add statechart that, under any semantic configuration, tells you the semantic configuration.
|
5 tahun lalu |
|
Joeri Exelmans
|
1dcba925d9
Add interface class StatechartMemoryInterface
|
5 tahun lalu |
|
Joeri Exelmans
|
37ab7c9644
Fix rendering of negated events
|
5 tahun lalu |
|
Joeri Exelmans
|
39a7b52222
Fixed bug in statechart XML parser (sibling_dict for parallel state was being reused)
|
5 tahun lalu |
|
Joeri Exelmans
|
34fcc4a70a
Fixed memory protocol (again)
|
5 tahun lalu |
