andrei/modelverse @ 4633945179fa5ab938b0fbe776692dbe78af45b7

Yentl Van Tendeloo 6f19274ab2 Permission updates		преди 7 години
..
CBD_mapper.mvc	a1d0f48d3b Patched old tests	преди 7 години
MM_rendered_graphical.mvc	a1d0f48d3b Patched old tests	преди 7 години
SCCD.mvc	a1d0f48d3b Patched old tests	преди 7 години
SCCD_Trace.mvc	a1d0f48d3b Patched old tests	преди 7 години
SCCD_all.mvc	a1d0f48d3b Patched old tests	преди 7 години
SCCD_execute.alc	fc3388d1e5 patched unit tests	преди 7 години
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	6f19274ab2 Permission updates	преди 7 години
pn_design.mvc	af69ae1907 Add "name" attribute in SCD	преди 7 години
pn_design_model.mvc	a3922711ad Modify some leftover files	преди 8 години
pn_design_to_runtime.mvc	a3922711ad Modify some leftover files	преди 8 години
pn_print.mvc	4effccfe6f Rename casting operations	преди 7 години
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	8831b563aa Work around some issues	преди 7 години
pn_simulate.mvc	d09bff2b81 Added test for subfunctions	преди 8 години
reachability.alc	4effccfe6f Rename casting operations	преди 7 години
reachability_graph.mvc	a3922711ad Modify some leftover files	преди 8 години
reachability_subfunction.alc	4effccfe6f Rename casting operations	преди 7 години
reachabilitygraph_print.mvc	4effccfe6f Rename casting operations	преди 7 години
simple_client.alc	510d84a08e Added test case for services	преди 8 години