 Yentl Van Tendeloo
|
acece5e842
Fixed buggy dict_eq operation (I think...)
|
8 年之前 |
|
Yentl Van Tendeloo
|
d77e3b1581
Removed unnecessary links in control2EPN
|
8 年之前 |
|
Yentl Van Tendeloo
|
44afb6fe31
Fix bug in control_to_EPN
|
8 年之前 |
|
Yentl Van Tendeloo
|
830846067d
Fixed some problems with transformations which break up the reachability
|
8 年之前 |
|
Yentl Van Tendeloo
|
e5cd448ece
Fixed name of transition in control_to_EPN
|
8 年之前 |
|
Yentl Van Tendeloo
|
a0f5a8f0de
Attempt at optimizing rule create_transitions
|
8 年之前 |
|
Yentl Van Tendeloo
|
04aa6db095
Fixed wrong labels in control_to_EPN
|
8 年之前 |
|
Yentl Van Tendeloo
|
4925efefdd
Make initial state configurable for controller to EPN transformation
|
8 年之前 |
|
Yentl Van Tendeloo
|
8ded411292
Various bugfixes to transformations and internals
|
8 年之前 |
|
Yentl Van Tendeloo
|
537f24d017
Added tracability links in control model as well
|
8 年之前 |
|
Yentl Van Tendeloo
|
f516e23eba
Fixed models
|
8 年之前 |
|
Yentl Van Tendeloo
|
cf211a3b73
Updated rules and their integration
|
8 年之前 |
|
Yentl Van Tendeloo
|
1ab9dd9529
Putting things together in the PM
|
8 年之前 |
|
Yentl Van Tendeloo
|
9ea44ba6e6
Fixed many compilation/syntax errors
|
8 年之前 |
|
Yentl Van Tendeloo
|
d6916d48ab
Added fix_interrupt_self rule and fixed some problems
|
8 年之前 |
|
Yentl Van Tendeloo
|
8f174bd03e
New naming scheme used in CTRL2EPN
|
8 年之前 |
|
Yentl Van Tendeloo
|
553e2e068e
Updated outline and labels in control_to_EPN
|
8 年之前 |
|
Yentl Van Tendeloo
|
9a7041ea39
Updated partial control_to_EPN (very buggy)
|
8 年之前 |
|
Yentl Van Tendeloo
|
70b8e60f72
Fixed control_to_EPN to make it uploadable
|
8 年之前 |
|
Yentl Van Tendeloo
|
19ae264952
Add the necessary inter-formalism links in the model to RAMify and add
|
8 年之前 |
|
Yentl Van Tendeloo
|
ace49e1ec0
Updated control_to_EPN and added notion of initial to Control_PW
|
8 年之前 |
|
Yentl Van Tendeloo
|
7c8ab47990
Added basis for control_to_EPN (which is now just a copy of
|
8 年之前 |
