| .. |
|
cbd_design.mvc
|
1a8775d85a
Various patches to make rendering work
|
hace 8 años |
|
cbd_runtime.mvc
|
d0df4d65d3
Attributes now work with RAMification and transformation
|
hace 8 años |
|
cbd_semantics.alc
|
00b48a6948
Fixes to make everything work
|
hace 8 años |
|
fsa_design.mvc
|
d0df4d65d3
Attributes now work with RAMification and transformation
|
hace 8 años |
|
fsa_runtime.mvc
|
d0df4d65d3
Attributes now work with RAMification and transformation
|
hace 8 años |
|
fsa_semantics.alc
|
2a15d5d502
Fixed everything
|
hace 8 años |
|
ftg.mvc
|
752259a088
Add missing files
|
hace 8 años |
|
graph.mvc
|
752259a088
Add missing files
|
hace 8 años |
|
initialize_PN.mvc
|
2f369610fd
Add missing file
|
hace 8 años |
|
my_cbd.mvc
|
692e431e17
Add models for mapping
|
hace 8 años |
|
my_petrinet.mvc
|
f907ff01e4
Added more tests for the simple interface; updated to allow for anonymous elements
|
hace 9 años |
|
my_petrinet_with_MM.mvc
|
d0df4d65d3
Attributes now work with RAMification and transformation
|
hace 8 años |
|
my_petrinet_with_MM_and_constraints.mvc
|
d0df4d65d3
Attributes now work with RAMification and transformation
|
hace 8 años |
|
petrinets.mvc
|
779bf0b32e
Fixed constructors_compiled as well
|
hace 8 años |
|
petrinets_constraints.mvc
|
d0df4d65d3
Attributes now work with RAMification and transformation
|
hace 8 años |
|
pm_pn_reachability.mvc
|
2aeae868fb
Fix many tests
|
hace 8 años |
|
pn_critical_section.mvc
|
806f167ae1
Add missing files
|
hace 8 años |
|
pn_design.mvc
|
4d44712bfd
Reordered things a bit to make reachability graph into a test
|
hace 8 años |
|
pn_design_model.mvc
|
f8d6957ce8
Fixed missing name
|
hace 8 años |
|
pn_design_model_larger.mvc
|
4d44712bfd
Reordered things a bit to make reachability graph into a test
|
hace 8 años |
|
pn_design_to_runtime.mvc
|
5df214ee18
Updated test_MvC to use the wrapper for the parts that already work
|
hace 8 años |
|
pn_print.mvc
|
5df214ee18
Updated test_MvC to use the wrapper for the parts that already work
|
hace 8 años |
|
pn_runtime.mvc
|
4d44712bfd
Reordered things a bit to make reachability graph into a test
|
hace 8 años |
|
pn_runtime_model.mvc
|
4d44712bfd
Reordered things a bit to make reachability graph into a test
|
hace 8 años |
|
pn_runtime_to_design.mvc
|
5df214ee18
Updated test_MvC to use the wrapper for the parts that already work
|
hace 8 años |
|
pn_semantics.alc
|
2a15d5d502
Fixed everything
|
hace 8 años |
|
pn_simulate.alc
|
5df214ee18
Updated test_MvC to use the wrapper for the parts that already work
|
hace 8 años |
|
pn_simulate.mvc
|
5df214ee18
Updated test_MvC to use the wrapper for the parts that already work
|
hace 8 años |
|
ramified_petrinets.mvc
|
5ef40dda0c
Updated all test files to use AttributeValue
|
hace 8 años |
|
reachability.alc
|
2aeae868fb
Fix many tests
|
hace 8 años |
|
reachability_graph.mvc
|
2aeae868fb
Fix many tests
|
hace 8 años |
|
reachabilitygraph_print.mvc
|
74e9c4e88c
Fixed MvC tests with the popping of sets
|
hace 8 años |
|
several_petrinets.mvc
|
d0df4d65d3
Attributes now work with RAMification and transformation
|
hace 8 años |
|
simpleclassdiagrams.mvc
|
779bf0b32e
Fixed constructors_compiled as well
|
hace 8 años |
