Yentl Van Tendeloo 774e91e928 Rename main function 9 years ago
..
binary_to_decimal.alc 75c761e091 Updated tests to new format 9 years ago
factorial.alc 75c761e091 Updated tests to new format 9 years ago
fibonacci.alc 75c761e091 Updated tests to new format 9 years ago
fibonacci_smart.alc 75c761e091 Updated tests to new format 9 years ago
if_elif.alc 75c761e091 Updated tests to new format 9 years ago
if_elif_else.alc 75c761e091 Updated tests to new format 9 years ago
leap_year.alc 75c761e091 Updated tests to new format 9 years ago
lib_remainder.alc 75c761e091 Updated tests to new format 9 years ago
main.alc e527d9b485 Initial commit from svn 9 years ago
my_petrinet.mvc f907ff01e4 Added more tests for the simple interface; updated to allow for anonymous elements 9 years ago
my_petrinet_with_MM.mvc 48a5fd6de9 Added constraints and added some test cases 9 years ago
my_petrinet_with_MM_and_constraints.mvc 48a5fd6de9 Added constraints and added some test cases 9 years ago
petrinets.mvc f907ff01e4 Added more tests for the simple interface; updated to allow for anonymous elements 9 years ago
petrinets_constraints.mvc 48a5fd6de9 Added constraints and added some test cases 9 years ago
pn_interface.alc 774e91e928 Rename main function 9 years ago
pn_semantics.alc 25eccb9aca PetriNet semantics checks for conformance to PetriNets first 9 years ago
power.alc 75c761e091 Updated tests to new format 9 years ago
remainder.alc e527d9b485 Initial commit from svn 9 years ago
revert.alc 75c761e091 Updated tests to new format 9 years ago
rpgame.mvc 60b6da2da9 Added RPGame metamodel and allowed model constructor to use inheritance 9 years ago
rpgame_semantics.alc 1cdda7cf40 Added RPGame semantics in action language 9 years ago
several_petrinets.mvc adbf8c30f0 Fixed tests again 9 years ago
simpleclassdiagrams.mvc f907ff01e4 Added more tests for the simple interface; updated to allow for anonymous elements 9 years ago