| .. |
|
SCCD_all.mvc
|
351d75fdfe
Fixed SCCD test
|
před 8 roky |
|
cbd_design.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
initialize_PN.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
minimal_SCCD.mvc
|
69c8a65264
Fixed with test for create_instance
|
před 8 roky |
|
my_cbd.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
pdevs_client.alc
|
7053e9d78c
Merge branch 'master' into pn_debugging
|
před 8 roky |
|
petrinets.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
pm_pn_reachability.mvc
|
8868b6a09e
Fix all tests and make them (slightly) more restrictive
|
před 8 roky |
|
pn_design.mvc
|
af69ae1907
Add "name" attribute in SCD
|
před 8 roky |
|
pn_design_model.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
pn_design_to_runtime.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
pn_print.mvc
|
4effccfe6f
Rename casting operations
|
před 8 roky |
|
pn_runtime.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
pn_runtime_model.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
pn_runtime_to_design.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
pn_simulate.alc
|
adedb55f77
Remove logs
|
před 8 roky |
|
pn_simulate.mvc
|
d09bff2b81
Added test for subfunctions
|
před 8 roky |
|
ps_simulator.alc
|
a4cad58764
current version
|
před 8 roky |
|
reachability.alc
|
4effccfe6f
Rename casting operations
|
před 8 roky |
|
reachability_graph.mvc
|
a3922711ad
Modify some leftover files
|
před 8 roky |
|
reachability_subfunction.alc
|
4effccfe6f
Rename casting operations
|
před 8 roky |
|
reachabilitygraph_print.mvc
|
4effccfe6f
Rename casting operations
|
před 8 roky |
|
simple_client.alc
|
510d84a08e
Added test case for services
|
před 8 roky |
Simon Van Mierlo
3b34e58195
merge