Yentl Van Tendeloo a6273e471e Removed the in/out place code again, as it is easier to do it manually for manual updates to the fused metamodel 9 年之前
..
binary_to_decimal.alc d6f1ef4573 Updated all integration test code as well 10 年之前
cbd_design.mvc dc6254b19c Implemented probe blocks 10 年之前
cbd_runtime.mvc dc6254b19c Implemented probe blocks 10 年之前
cbd_semantics.alc dc6254b19c Implemented probe blocks 10 年之前
factorial.alc d6f1ef4573 Updated all integration test code as well 10 年之前
fibonacci.alc d6f1ef4573 Updated all integration test code as well 10 年之前
fibonacci_smart.alc d6f1ef4573 Updated all integration test code as well 10 年之前
fsa_design.mvc b5892a7495 Fixed problems in formalism 10 年之前
fsa_runtime.mvc b5892a7495 Fixed problems in formalism 10 年之前
fsa_semantics.alc 2b60d7d576 Fixed state selection 10 年之前
if_elif.alc d6f1ef4573 Updated all integration test code as well 10 年之前
if_elif_else.alc d6f1ef4573 Updated all integration test code as well 10 年之前
leap_year.alc d6f1ef4573 Updated all integration test code as well 10 年之前
lib_remainder.alc d6f1ef4573 Updated all integration test code as well 10 年之前
main.alc d6f1ef4573 Updated all integration test code as well 10 年之前
mini_modify.alc 646690deea Modification of CBDs at runtime is now possible 10 年之前
mini_modify.alh 646690deea Modification of CBDs at runtime is now possible 10 年之前
my_petrinet.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements 10 年之前
my_petrinet_with_MM.mvc ef986ecd53 Added constraints and added some test cases 10 年之前
my_petrinet_with_MM_and_constraints.mvc d6f1ef4573 Updated all integration test code as well 10 年之前
petrinets.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements 10 年之前
petrinets_constraints.mvc d6f1ef4573 Updated all integration test code as well 10 年之前
pn_interface.alc a6273e471e Removed the in/out place code again, as it is easier to do it manually for manual updates to the fused metamodel 9 年之前
pn_semantics.alc d6f1ef4573 Updated all integration test code as well 10 年之前
power.alc d6f1ef4573 Updated all integration test code as well 10 年之前
ramified_petrinets.mvc bf71a8f624 Fixed even more bugs: matching and rewriting seems to work in with simple cases 9 年之前
remainder.alc 16aea7da03 Initial commit from svn 10 年之前
revert.alc d6f1ef4573 Updated all integration test code as well 10 年之前
rpgame.mvc d6f1ef4573 Updated all integration test code as well 10 年之前
rpgame_semantics.alc d6f1ef4573 Updated all integration test code as well 10 年之前
several_petrinets.mvc 8f0caf16d9 Even more fixes for the model constructors 10 年之前
simpleclassdiagrams.mvc 89eb245299 Added more tests for the simple interface; updated to allow for anonymous elements 10 年之前