.. |
CBD_mapper.mvc
|
a1d0f48d3b
Patched old tests
|
6 years ago |
MM_rendered_graphical.mvc
|
a1d0f48d3b
Patched old tests
|
6 years ago |
SCCD.mvc
|
a1d0f48d3b
Patched old tests
|
6 years ago |
SCCD_Trace.mvc
|
a1d0f48d3b
Patched old tests
|
6 years ago |
SCCD_all.mvc
|
a1d0f48d3b
Patched old tests
|
6 years ago |
SCCD_execute.alc
|
fc3388d1e5
patched unit tests
|
6 years ago |
cbd_design.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
initialize_PN.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
minimal_SCCD.mvc
|
69c8a65264
Fixed with test for create_instance
|
6 years ago |
my_cbd.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
petrinets.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
pm_pn_reachability.mvc
|
6f19274ab2
Permission updates
|
5 years ago |
pn_design.mvc
|
af69ae1907
Add "name" attribute in SCD
|
6 years ago |
pn_design_model.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
pn_design_to_runtime.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
pn_print.mvc
|
4effccfe6f
Rename casting operations
|
6 years ago |
pn_runtime.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
pn_runtime_model.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
pn_runtime_to_design.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
pn_simulate.alc
|
8831b563aa
Work around some issues
|
6 years ago |
pn_simulate.mvc
|
d09bff2b81
Added test for subfunctions
|
6 years ago |
reachability.alc
|
4effccfe6f
Rename casting operations
|
6 years ago |
reachability_graph.mvc
|
a3922711ad
Modify some leftover files
|
6 years ago |
reachability_subfunction.alc
|
4effccfe6f
Rename casting operations
|
6 years ago |
reachabilitygraph_print.mvc
|
4effccfe6f
Rename casting operations
|
6 years ago |
simple_client.alc
|
510d84a08e
Added test case for services
|
6 years ago |