| .. |
|
binary_to_decimal.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
cbd_design.mvc
|
14020f8857
Deserialize communication and fix small textual bug
|
8 lat temu |
|
cbd_runtime.mvc
|
8f05908e1a
Updates to Mv code
|
8 lat temu |
|
cbd_semantics.alc
|
a1efd1cbf8
Colour the background red on failures
|
8 lat temu |
|
factorial.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
fibonacci.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
fibonacci_smart.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
if_elif.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
if_elif_else.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
leap_year.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
lib_remainder.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
main.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
mini_modify.alc
|
646690deea
Modification of CBDs at runtime is now possible
|
8 lat temu |
|
mini_modify.alh
|
646690deea
Modification of CBDs at runtime is now possible
|
8 lat temu |
|
my_petrinet.mvc
|
89eb245299
Added more tests for the simple interface; updated to allow for anonymous elements
|
9 lat temu |
|
my_petrinet_with_MM.mvc
|
ef986ecd53
Added constraints and added some test cases
|
9 lat temu |
|
my_petrinet_with_MM_and_constraints.mvc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
petrinets.mvc
|
89eb245299
Added more tests for the simple interface; updated to allow for anonymous elements
|
9 lat temu |
|
petrinets_constraints.mvc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
pn_interface.alc
|
dd2a7f4c48
Fixed CBD semantics (without algebraic loops!)
|
8 lat temu |
|
pn_semantics.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
power.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
remainder.alc
|
16aea7da03
Initial commit from svn
|
9 lat temu |
|
revert.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
rpgame.mvc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
rpgame_semantics.alc
|
d6f1ef4573
Updated all integration test code as well
|
8 lat temu |
|
several_petrinets.mvc
|
8f0caf16d9
Even more fixes for the model constructors
|
8 lat temu |
|
simpleclassdiagrams.mvc
|
89eb245299
Added more tests for the simple interface; updated to allow for anonymous elements
|
9 lat temu |
Yentl Van Tendeloo
a1efd1cbf8
Colour the background red on failures