Yentl Van Tendeloo b07c3c55a1 Added larger Petri Net simulation test, which has a lot of 8 سال پیش
..
binary_to_decimal.alc 41c0641a66 Fixed everything 8 سال پیش
cbd_design.mvc dc6254b19c Implemented probe blocks 8 سال پیش
cbd_runtime.mvc dc6254b19c Implemented probe blocks 8 سال پیش
cbd_semantics.alc 41c0641a66 Fixed everything 8 سال پیش
factorial.alc 41c0641a66 Fixed everything 8 سال پیش
fibonacci.alc 41c0641a66 Fixed everything 8 سال پیش
fibonacci_smart.alc 41c0641a66 Fixed everything 8 سال پیش
fsa_design.mvc b5892a7495 Fixed problems in formalism 8 سال پیش
fsa_runtime.mvc b5892a7495 Fixed problems in formalism 8 سال پیش
fsa_semantics.alc 41c0641a66 Fixed everything 8 سال پیش
ftg.mvc 66c2173440 Add missing files 8 سال پیش
graph.mvc 66c2173440 Add missing files 8 سال پیش
if_elif.alc 41c0641a66 Fixed everything 8 سال پیش
if_elif_else.alc 41c0641a66 Fixed everything 8 سال پیش
leap_year.alc 41c0641a66 Fixed everything 8 سال پیش
lib_remainder.alc d6f1ef4573 Updated all integration test code as well 8 سال پیش
main.alc d6f1ef4573 Updated all integration test code as well 8 سال پیش
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 d6f1ef4573 Updated all integration test code as well 8 سال پیش
petrinets.mvc f65c7e930e Cleaned up old tests, in particular the pn_interface file and tests 8 سال پیش
petrinets_constraints.mvc d6f1ef4573 Updated all integration test code as well 8 سال پیش
pn_design.mvc 85292a43d4 Added reRAMify operator and fixed many small things to make test work 8 سال پیش
pn_design_model.mvc 85292a43d4 Added reRAMify operator and fixed many small things to make test work 8 سال پیش
pn_design_model_larger.mvc b07c3c55a1 Added larger Petri Net simulation test, which has a lot of 8 سال پیش
pn_design_to_runtime.mvc 8d20d5f83b Fixed different kinds of transformation 8 سال پیش
pn_print.mvc 8d20d5f83b Fixed different kinds of transformation 8 سال پیش
pn_print_MR.mvc 2707ed5f31 Add missing files 8 سال پیش
pn_runtime.mvc 66c2173440 Add missing files 8 سال پیش
pn_runtime_MR.mvc 2707ed5f31 Add missing files 8 سال پیش
pn_runtime_model.mvc 85292a43d4 Added reRAMify operator and fixed many small things to make test work 8 سال پیش
pn_runtime_model_MR.mvc 2707ed5f31 Add missing files 8 سال پیش
pn_runtime_to_design.mvc 8d20d5f83b Fixed different kinds of transformation 8 سال پیش
pn_semantics.alc 41c0641a66 Fixed everything 8 سال پیش
pn_simulate.mvc b07c3c55a1 Added larger Petri Net simulation test, which has a lot of 8 سال پیش
power.alc 41c0641a66 Fixed everything 8 سال پیش
ramified_petrinets.mvc bf71a8f624 Fixed even more bugs: matching and rewriting seems to work in with simple cases 8 سال پیش
remainder.alc 41c0641a66 Fixed everything 8 سال پیش
revert.alc 41c0641a66 Fixed everything 8 سال پیش
rpgame.mvc d6f1ef4573 Updated all integration test code as well 8 سال پیش
rpgame_semantics.alc 41c0641a66 Fixed everything 8 سال پیش
several_petrinets.mvc 8f0caf16d9 Even more fixes for the model constructors 8 سال پیش
simpleclassdiagrams.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements 9 سال پیش