Yentl Van Tendeloo d844df3fab Rename main function 9 سال پیش
..
binary_to_decimal.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
factorial.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
fibonacci.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
fibonacci_smart.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
if_elif.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
if_elif_else.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
leap_year.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
lib_remainder.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
main.alc 16aea7da03 Initial commit from svn 9 سال پیش
my_petrinet.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements 9 سال پیش
my_petrinet_with_MM.mvc ef986ecd53 Added constraints and added some test cases 9 سال پیش
my_petrinet_with_MM_and_constraints.mvc ef986ecd53 Added constraints and added some test cases 9 سال پیش
petrinets.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements 9 سال پیش
petrinets_constraints.mvc ef986ecd53 Added constraints and added some test cases 9 سال پیش
pn_interface.alc d844df3fab Rename main function 9 سال پیش
pn_semantics.alc 5ed2215925 PetriNet semantics checks for conformance to PetriNets first 9 سال پیش
power.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
remainder.alc 16aea7da03 Initial commit from svn 9 سال پیش
revert.alc 2ec1ad9500 Updated tests to new format 9 سال پیش
rpgame.mvc 443bcc8773 Added RPGame metamodel and allowed model constructor to use inheritance 9 سال پیش
rpgame_semantics.alc 5eb3b3a328 Added RPGame semantics in action language 9 سال پیش
several_petrinets.mvc 364db14b2a Fixed tests again 9 سال پیش
simpleclassdiagrams.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements 9 سال پیش