| .. |
|
fail_02_counter_takemany.xml
|
10288e3385
Getting closer to XML parsing nirvana...
|
5 years ago |
|
fail_13_invar_rhs_bigstep.xml
|
234a77431b
Fix bug in memory protocol implementation. Add example 13 from Day & Atlee. More efficient implementation when enabledness and assignment memory protocol options are the same.
|
5 years ago |
|
statechart_fig10_counter.svg
|
f57b8feee2
Add another example from Day & Atlee + correction in fire_transition: must exit all descendants of arena (not LCA!) + performance improvement in fire_transition.
|
5 years ago |
|
statechart_fig10_counter.xml
|
f57b8feee2
Add another example from Day & Atlee + correction in fire_transition: must exit all descendants of arena (not LCA!) + performance improvement in fire_transition.
|
5 years ago |
|
statechart_fig1_redialer.svg
|
af62dc077c
Various small fixes
|
5 years ago |
|
statechart_fig1_redialer.xml
|
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 years ago |
|
statechart_fig20_invar.svg
|
ff59de9675
Re-render test files as SVG images.
|
5 years ago |
|
statechart_fig20_invar.xml
|
234a77431b
Fix bug in memory protocol implementation. Add example 13 from Day & Atlee. More efficient implementation when enabledness and assignment memory protocol options are the same.
|
5 years ago |
|
statechart_fig7_dialer.svg
|
5c90ba0c93
Action language components almost completely independent of statechart components. Reorganize project directory structure.
|
5 years ago |
|
statechart_fig7_dialer.xml
|
af62dc077c
Various small fixes
|
5 years ago |
|
statechart_fig8_counter.svg
|
10288e3385
Getting closer to XML parsing nirvana...
|
5 years ago |
|
statechart_fig8_counter.xml
|
af62dc077c
Various small fixes
|
5 years ago |
|
statechart_fig9_trafficlight.svg
|
ff59de9675
Re-render test files as SVG images.
|
5 years ago |
|
statechart_fig9_trafficlight.xml
|
281a91b001
Add example 3 from Day & Atlee.
|
5 years ago |
|
test_01_dialer_takemany.xml
|
af62dc077c
Various small fixes
|
5 years ago |
|
test_01_dialer_takeone.xml
|
af62dc077c
Various small fixes
|
5 years ago |
|
test_02_counter_takeone.xml
|
10288e3385
Getting closer to XML parsing nirvana...
|
5 years ago |
|
test_03_trafficlight_many.xml
|
281a91b001
Add example 3 from Day & Atlee.
|
5 years ago |
|
test_03_trafficlight_single.xml
|
281a91b001
Add example 3 from Day & Atlee.
|
5 years ago |
|
test_04_counter_many_arenaortho.xml
|
af62dc077c
Various small fixes
|
5 years ago |
|
test_04_counter_single.xml
|
af62dc077c
Various small fixes
|
5 years ago |
|
test_06_counter_lifeline.xml
|
10288e3385
Getting closer to XML parsing nirvana...
|
5 years ago |
|
test_07_redialer_same.xml
|
09cc364711
Got Example 7 from Day & Atlee working!
|
5 years ago |
|
test_13_invar_rhs_smallstep.xml
|
234a77431b
Fix bug in memory protocol implementation. Add example 13 from Day & Atlee. More efficient implementation when enabledness and assignment memory protocol options are the same.
|
5 years ago |
|
todo_04_counter_many_srcdstortho.xml
|
48c68c584e
Added support for importing Python libraries into action language.
|
5 years ago |
