Home Verkennen Help
Inloggen
lucas
/
modelverse
geforked van yentl/modelverse
Volgen 1
Ster 0
Vork 0
Bestanden
Boom: 74e9c4e88c
Aftakkingen Labels
modelverse
/
integration
/
code
Yentl Van Tendeloo 74e9c4e88c Fixed MvC tests with the popping of sets 8 jaren geleden
..
binary_to_decimal.alc 2a15d5d502 Fixed everything 8 jaren geleden
cbd_design.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
cbd_runtime.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
cbd_semantics.alc 00b48a6948 Fixes to make everything work 8 jaren geleden
factorial.alc 2a15d5d502 Fixed everything 8 jaren geleden
fibonacci.alc 2a15d5d502 Fixed everything 8 jaren geleden
fibonacci_smart.alc 2a15d5d502 Fixed everything 8 jaren geleden
fsa_design.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
fsa_runtime.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
fsa_semantics.alc 2a15d5d502 Fixed everything 8 jaren geleden
ftg.mvc 752259a088 Add missing files 8 jaren geleden
graph.mvc 752259a088 Add missing files 8 jaren geleden
if_elif.alc 2a15d5d502 Fixed everything 8 jaren geleden
if_elif_else.alc 2a15d5d502 Fixed everything 8 jaren geleden
initialize_PN.mvc 2f369610fd Add missing file 8 jaren geleden
leap_year.alc 2a15d5d502 Fixed everything 8 jaren geleden
lib_remainder.alc acaca273c4 Updated all integration test code as well 8 jaren geleden
main.alc acaca273c4 Updated all integration test code as well 8 jaren geleden
my_petrinet.mvc f907ff01e4 Added more tests for the simple interface; updated to allow for anonymous elements 9 jaren geleden
my_petrinet_with_MM.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
my_petrinet_with_MM_and_constraints.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
petrinets.mvc 779bf0b32e Fixed constructors_compiled as well 8 jaren geleden
petrinets_constraints.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
pm_pn_reachability.mvc 2bd562bb6a Fixed PM and related formalisms/algorithms: reachability starts running 8 jaren geleden
pn_critical_section.mvc 806f167ae1 Add missing files 8 jaren geleden
pn_design.mvc 4d44712bfd Reordered things a bit to make reachability graph into a test 8 jaren geleden
pn_design_model.mvc f8d6957ce8 Fixed missing name 8 jaren geleden
pn_design_model_larger.mvc 4d44712bfd Reordered things a bit to make reachability graph into a test 8 jaren geleden
pn_design_to_runtime.mvc 21abf7353d Take into account the name when copying 8 jaren geleden
pn_print.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
pn_runtime.mvc 4d44712bfd Reordered things a bit to make reachability graph into a test 8 jaren geleden
pn_runtime_model.mvc 4d44712bfd Reordered things a bit to make reachability graph into a test 8 jaren geleden
pn_runtime_to_design.mvc 21abf7353d Take into account the name when copying 8 jaren geleden
pn_semantics.alc 2a15d5d502 Fixed everything 8 jaren geleden
pn_simulate.alc 7248edcd2e Working AL execution 8 jaren geleden
pn_simulate.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
power.alc 2a15d5d502 Fixed everything 8 jaren geleden
ramified_petrinets.mvc 5ef40dda0c Updated all test files to use AttributeValue 8 jaren geleden
reachability.alc 6dd812b4f7 Reachability analysis uses dict_add_fast 8 jaren geleden
reachability_graph.mvc 320ffd3b32 Fix reachability graph construction and printing 8 jaren geleden
reachabilitygraph_print.mvc 74e9c4e88c Fixed MvC tests with the popping of sets 8 jaren geleden
remainder.alc 2a15d5d502 Fixed everything 8 jaren geleden
revert.alc 2a15d5d502 Fixed everything 8 jaren geleden
several_petrinets.mvc d0df4d65d3 Attributes now work with RAMification and transformation 8 jaren geleden
simpleclassdiagrams.mvc 779bf0b32e Fixed constructors_compiled as well 8 jaren geleden