Yentl Van Tendeloo 544c08519b Lots of fixes to the new set representation преди 8 години
..
cbd_design.mvc a3922711ad Modify some leftover files преди 8 години
initialize_PN.mvc a3922711ad Modify some leftover files преди 8 години
minimal_SCCD.mvc 69c8a65264 Fixed with test for create_instance преди 8 години
my_cbd.mvc a3922711ad Modify some leftover files преди 8 години
petrinets.mvc a3922711ad Modify some leftover files преди 8 години
pm_pn_reachability.mvc da5fa20b1a Add keywords for model transformations (broken) преди 8 години
pn_design.mvc a3922711ad Modify some leftover files преди 8 години
pn_design_model.mvc a3922711ad Modify some leftover files преди 8 години
pn_design_to_runtime.mvc a3922711ad Modify some leftover files преди 8 години
pn_print.mvc 544c08519b Lots of fixes to the new set representation преди 8 години
pn_runtime.mvc a3922711ad Modify some leftover files преди 8 години
pn_runtime_model.mvc a3922711ad Modify some leftover files преди 8 години
pn_runtime_to_design.mvc a3922711ad Modify some leftover files преди 8 години
pn_simulate.alc 5df214ee18 Updated test_MvC to use the wrapper for the parts that already work преди 8 години
pn_simulate.mvc d09bff2b81 Added test for subfunctions преди 8 години
reachability.alc 2aeae868fb Fix many tests преди 8 години
reachability_graph.mvc a3922711ad Modify some leftover files преди 8 години
reachability_subfunction.alc d09bff2b81 Added test for subfunctions преди 8 години
reachabilitygraph_print.mvc a3922711ad Modify some leftover files преди 8 години
simple_client.alc 510d84a08e Added test case for services преди 8 години