| .. |
|
fail_02_counter_takemany.xml
|
10288e3385
Getting closer to XML parsing nirvana...
|
%!s(int64=5) %!d(string=hai) anos |
|
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.
|
%!s(int64=5) %!d(string=hai) anos |
|
fail_22_invar_combo_many.xml
|
33969e5928
Controller and test framework can deal with bags of (simultaneous) input events. Add examples 19, 20 and 21 from Day & Atlee.
|
%!s(int64=4) %!d(string=hai) anos |
|
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.
|
%!s(int64=5) %!d(string=hai) anos |
|
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.
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig1_redialer.svg
|
af62dc077c
Various small fixes
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig1_redialer.xml
|
348c04e397
Move candidate generator classes to a separate module. Add script for rendering graph of transition priorities.
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig20_invar.svg
|
ff59de9675
Re-render test files as SVG images.
|
%!s(int64=5) %!d(string=hai) anos |
|
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.
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig7_dialer.svg
|
5c90ba0c93
Action language components almost completely independent of statechart components. Reorganize project directory structure.
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig7_dialer.xml
|
af62dc077c
Various small fixes
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig8_counter.svg
|
10288e3385
Getting closer to XML parsing nirvana...
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig8_counter.xml
|
af62dc077c
Various small fixes
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig9_trafficlight.svg
|
ff59de9675
Re-render test files as SVG images.
|
%!s(int64=5) %!d(string=hai) anos |
|
statechart_fig9_trafficlight.xml
|
281a91b001
Add example 3 from Day & Atlee.
|
%!s(int64=5) %!d(string=hai) anos |
|
test_01_dialer_takemany.xml
|
af62dc077c
Various small fixes
|
%!s(int64=5) %!d(string=hai) anos |
|
test_01_dialer_takeone.xml
|
af62dc077c
Various small fixes
|
%!s(int64=5) %!d(string=hai) anos |
|
test_02_counter_takeone.xml
|
10288e3385
Getting closer to XML parsing nirvana...
|
%!s(int64=5) %!d(string=hai) anos |
|
test_03_trafficlight_many.xml
|
281a91b001
Add example 3 from Day & Atlee.
|
%!s(int64=5) %!d(string=hai) anos |
|
test_03_trafficlight_single.xml
|
281a91b001
Add example 3 from Day & Atlee.
|
%!s(int64=5) %!d(string=hai) anos |
|
test_04_counter_many_arenaortho.xml
|
af62dc077c
Various small fixes
|
%!s(int64=5) %!d(string=hai) anos |
|
test_04_counter_single.xml
|
af62dc077c
Various small fixes
|
%!s(int64=5) %!d(string=hai) anos |
|
test_06_counter_lifeline.xml
|
10288e3385
Getting closer to XML parsing nirvana...
|
%!s(int64=5) %!d(string=hai) anos |
|
test_07_redialer_same.xml
|
09cc364711
Got Example 7 from Day & Atlee working!
|
%!s(int64=5) %!d(string=hai) anos |
|
test_13_invar_rhs_smallstep.xml
|
33969e5928
Controller and test framework can deal with bags of (simultaneous) input events. Add examples 19, 20 and 21 from Day & Atlee.
|
%!s(int64=4) %!d(string=hai) anos |
|
test_19_swaptwice_combo.xml
|
33969e5928
Controller and test framework can deal with bags of (simultaneous) input events. Add examples 19, 20 and 21 from Day & Atlee.
|
%!s(int64=4) %!d(string=hai) anos |
|
test_20_chemplant_combo.xml
|
33969e5928
Controller and test framework can deal with bags of (simultaneous) input events. Add examples 19, 20 and 21 from Day & Atlee.
|
%!s(int64=4) %!d(string=hai) anos |
|
test_21_counter_combo.xml
|
33969e5928
Controller and test framework can deal with bags of (simultaneous) input events. Add examples 19, 20 and 21 from Day & Atlee.
|
%!s(int64=4) %!d(string=hai) anos |
|
test_22_invar_combo_one.xml
|
33969e5928
Controller and test framework can deal with bags of (simultaneous) input events. Add examples 19, 20 and 21 from Day & Atlee.
|
%!s(int64=4) %!d(string=hai) anos |
|
todo_04_counter_many_srcdstortho.xml
|
48c68c584e
Added support for importing Python libraries into action language.
|
%!s(int64=5) %!d(string=hai) anos |
Joeri Exelmans
33969e5928
Controller and test framework can deal with bags of (simultaneous) input events. Add examples 19, 20 and 21 from Day & Atlee.
