Yentl Van Tendeloo 2d113a4826 Added a "list" command to the petri net semantics il y a 9 ans
..
binary_to_decimal.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
factorial.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
fibonacci.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
fibonacci_smart.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
if_elif.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
if_elif_else.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
leap_year.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
lib_remainder.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
main.alc 16aea7da03 Initial commit from svn il y a 9 ans
my_petrinet.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements il y a 9 ans
my_petrinet_with_MM.mvc ef986ecd53 Added constraints and added some test cases il y a 9 ans
my_petrinet_with_MM_and_constraints.mvc ef986ecd53 Added constraints and added some test cases il y a 9 ans
petrinets.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements il y a 9 ans
petrinets_constraints.mvc ef986ecd53 Added constraints and added some test cases il y a 9 ans
pn_interface.alc 65bc1c06ee Split the petri nets operational semantics from the pn_interface il y a 9 ans
pn_semantics.alc 2d113a4826 Added a "list" command to the petri net semantics il y a 9 ans
power.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
remainder.alc 16aea7da03 Initial commit from svn il y a 9 ans
revert.alc 2ec1ad9500 Updated tests to new format il y a 9 ans
several_petrinets.mvc d5290f6c8d Added an execute_model script, which adds the model, as well as compiling everything il y a 9 ans
simpleclassdiagrams.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements il y a 9 ans