 Yentl Van Tendeloo
|
89b402da70
More dict_add_fast operations
|
hace 8 años |
|
Yentl Van Tendeloo
|
40eaf92473
Fixed error in dict_add_fast
|
hace 8 años |
|
Yentl Van Tendeloo
|
75b1815c96
Added the dict_add_fast operation
|
hace 8 años |
|
Yentl Van Tendeloo
|
653e58a011
Increased performance by not printing out intermediate information
|
hace 8 años |
|
Yentl Van Tendeloo
|
cbe6bf5fdb
Add debugging PM
|
hace 8 años |
|
Yentl Van Tendeloo
|
db219afaef
Fixed NAC matching: Power window works!
|
hace 8 años |
|
Yentl Van Tendeloo
|
8fe04dda37
Fixed cache management for RDE in MvS
|
hace 8 años |
|
Yentl Van Tendeloo
|
9068457f44
Added small text explaining the pn_simulate test
|
hace 8 años |
|
Yentl Van Tendeloo
|
a4ea2e7fae
Query only needs set of Places
|
hace 8 años |
|
Yentl Van Tendeloo
|
ff022dea2e
Print out the reachability graph before doing the matching
|
hace 8 años |
|
Yentl Van Tendeloo
|
700bf84ed9
add a cache system in the reachability graph analysis
|
hace 8 años |
|
Yentl Van Tendeloo
|
acece5e842
Fixed buggy dict_eq operation (I think...)
|
hace 8 años |
|
Yentl Van Tendeloo
|
15f91c0da6
Revert "Revert "Initialize SCD in the root task upon startup""
|
hace 8 años |
|
Yentl Van Tendeloo
|
542a4f2edc
Revert "Initialize SCD in the root task upon startup"
|
hace 8 años |
|
Yentl Van Tendeloo
|
d0427ceecc
Initialize SCD in the root task upon startup
|
hace 8 años |
|
Yentl Van Tendeloo
|
90df0749ea
NAC matching finishes when only a single match is required
|
hace 8 años |
|
Yentl Van Tendeloo
|
0304ea6733
Different iteration over models in many model_management operations
|
hace 8 años |
|
Yentl Van Tendeloo
|
bc0f2e2118
Removed unnecessary links in plant2EPN
|
hace 8 años |
|
Yentl Van Tendeloo
|
d77e3b1581
Removed unnecessary links in control2EPN
|
hace 8 años |
|
Yentl Van Tendeloo
|
419531a026
Added dict_eq as a compiled function
|
hace 8 años |
|
Yentl Van Tendeloo
|
f5dd1366be
Fetch the token from any selected place; increased performance for combine_EPN
|
hace 8 años |
|
Yentl Van Tendeloo
|
44afb6fe31
Fix bug in control_to_EPN
|
hace 8 años |
|
Yentl Van Tendeloo
|
830846067d
Fixed some problems with transformations which break up the reachability
|
hace 8 años |
|
Yentl Van Tendeloo
|
5c3d32a433
Fixed the combine_EPN transformation
|
hace 8 años |
|
Yentl Van Tendeloo
|
e49072b57b
Fixes to the combine_EPN
|
hace 8 años |
|
Yentl Van Tendeloo
|
1cc7400847
Updated PN_print to also print the transitions
|
hace 8 años |
|
Yentl Van Tendeloo
|
e5cd448ece
Fixed name of transition in control_to_EPN
|
hace 8 años |
|
Yentl Van Tendeloo
|
a0f5a8f0de
Attempt at optimizing rule create_transitions
|
hace 8 años |
|
Yentl Van Tendeloo
|
04aa6db095
Fixed wrong labels in control_to_EPN
|
hace 8 años |
|
Yentl Van Tendeloo
|
4925efefdd
Make initial state configurable for controller to EPN transformation
|
hace 8 años |
