 Yentl Van Tendeloo
|
1ed912e06f
Added a PowerWindow test where the control model is flawed and fixed
|
8 年之前 |
|
Yentl Van Tendeloo
|
368f59aa35
Optimized instantiate_* further
|
8 年之前 |
|
Yentl Van Tendeloo
|
5c127442b9
Slight improvement to the instantiate_* code
|
8 年之前 |
|
Yentl Van Tendeloo
|
fc9670e372
Added debug test for the PM, which prints intermediate values
|
8 年之前 |
|
Yentl Van Tendeloo
|
e33ebc33cd
More cleanup of code mess (+ included debug output)
|
8 年之前 |
|
Yentl Van Tendeloo
|
1a0e47637a
Cleanup of problems
|
8 年之前 |
|
Yentl Van Tendeloo
|
94213022d2
Use Architecture and BFS everywhere + update location of reachability
|
8 年之前 |
|
Yentl Van Tendeloo
|
70ec4c4ffe
Add Architecture MM to the list of formalisms
|
8 年之前 |
|
Yentl Van Tendeloo
|
0f0e93dfe5
Made a non-outputting version of reachability_graph print
|
8 年之前 |
|
Yentl Van Tendeloo
|
04cb5d2683
Fixed constructors_models.py tests: increased timeout in test
|
8 年之前 |
|
Yentl Van Tendeloo
|
0842848b7f
Added a "slow" test which first uploads a bad control model
|
8 年之前 |
|
Yentl Van Tendeloo
|
653e58a011
Increased performance by not printing out intermediate information
|
8 年之前 |
|
Yentl Van Tendeloo
|
ff022dea2e
Print out the reachability graph before doing the matching
|
8 年之前 |
|
Yentl Van Tendeloo
|
3ea339e496
Add tracability links for the transitions as well for plant
|
8 年之前 |
|
Yentl Van Tendeloo
|
d45185a261
Added new ALC to print the intermediate EPN and PN
|
8 年之前 |
|
Yentl Van Tendeloo
|
0a30a4cec4
Complete process is running (though failing)
|
8 年之前 |
|
Yentl Van Tendeloo
|
dc77ba9cc0
Merge EPN2PN into combine_EPN
|
8 年之前 |
|
Yentl Van Tendeloo
|
7a47f6f338
Added combine_EPN to PM
|
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
|
e386ed4d40
Fixed some more errors, now semantical
|
8 年之前 |
|
Yentl Van Tendeloo
|
9ea44ba6e6
Fixed many compilation/syntax errors
|
8 年之前 |
|
Yentl Van Tendeloo
|
35561d3bbe
Added control_to_EPN to test
|
8 年之前 |
|
Yentl Van Tendeloo
|
19ae264952
Add the necessary inter-formalism links in the model to RAMify and add
|
8 年之前 |
|
Yentl Van Tendeloo
|
a549d34584
Made the PM compliant with the test file
|
8 年之前 |
|
Yentl Van Tendeloo
|
97487af083
Added some additional manual transformations
|
8 年之前 |
|
Yentl Van Tendeloo
|
fba3b401f2
Split of the powerwindow case as a separate test
|
8 年之前 |
