Yentl Van Tendeloo bdbb6db0dd Split the petri nets operational semantics from the pn_interface il y a 9 ans
..
binary_to_decimal.alc 75c761e091 Updated tests to new format il y a 9 ans
factorial.alc 75c761e091 Updated tests to new format il y a 9 ans
fibonacci.alc 75c761e091 Updated tests to new format il y a 9 ans
fibonacci_smart.alc 75c761e091 Updated tests to new format il y a 9 ans
if_elif.alc 75c761e091 Updated tests to new format il y a 9 ans
if_elif_else.alc 75c761e091 Updated tests to new format il y a 9 ans
leap_year.alc 75c761e091 Updated tests to new format il y a 9 ans
lib_remainder.alc 75c761e091 Updated tests to new format il y a 9 ans
main.alc e527d9b485 Initial commit from svn il y a 9 ans
my_petrinet.mvc f907ff01e4 Added more tests for the simple interface; updated to allow for anonymous elements il y a 9 ans
my_petrinet_with_MM.mvc 48a5fd6de9 Added constraints and added some test cases il y a 9 ans
my_petrinet_with_MM_and_constraints.mvc 48a5fd6de9 Added constraints and added some test cases il y a 9 ans
petrinets.mvc f907ff01e4 Added more tests for the simple interface; updated to allow for anonymous elements il y a 9 ans
petrinets_constraints.mvc 48a5fd6de9 Added constraints and added some test cases il y a 9 ans
pn_interface.alc bdbb6db0dd Split the petri nets operational semantics from the pn_interface il y a 9 ans
pn_semantics.alc bdbb6db0dd Split the petri nets operational semantics from the pn_interface il y a 9 ans
power.alc 75c761e091 Updated tests to new format il y a 9 ans
remainder.alc e527d9b485 Initial commit from svn il y a 9 ans
revert.alc 75c761e091 Updated tests to new format il y a 9 ans
several_petrinets.mvc 7e3021bdfc Added an execute_model script, which adds the model, as well as compiling everything il y a 9 ans
simpleclassdiagrams.mvc f907ff01e4 Added more tests for the simple interface; updated to allow for anonymous elements il y a 9 ans