 Yentl Van Tendeloo
|
0842848b7f
Added a "slow" test which first uploads a bad control model
|
8 yıl önce |
|
Yentl Van Tendeloo
|
653e58a011
Increased performance by not printing out intermediate information
|
8 yıl önce |
|
Yentl Van Tendeloo
|
ff022dea2e
Print out the reachability graph before doing the matching
|
8 yıl önce |
|
Yentl Van Tendeloo
|
3ea339e496
Add tracability links for the transitions as well for plant
|
8 yıl önce |
|
Yentl Van Tendeloo
|
d45185a261
Added new ALC to print the intermediate EPN and PN
|
8 yıl önce |
|
Yentl Van Tendeloo
|
0a30a4cec4
Complete process is running (though failing)
|
8 yıl önce |
|
Yentl Van Tendeloo
|
dc77ba9cc0
Merge EPN2PN into combine_EPN
|
8 yıl önce |
|
Yentl Van Tendeloo
|
7a47f6f338
Added combine_EPN to PM
|
8 yıl önce |
|
Yentl Van Tendeloo
|
cf211a3b73
Updated rules and their integration
|
8 yıl önce |
|
Yentl Van Tendeloo
|
1ab9dd9529
Putting things together in the PM
|
8 yıl önce |
|
Yentl Van Tendeloo
|
e386ed4d40
Fixed some more errors, now semantical
|
8 yıl önce |
|
Yentl Van Tendeloo
|
9ea44ba6e6
Fixed many compilation/syntax errors
|
8 yıl önce |
|
Yentl Van Tendeloo
|
35561d3bbe
Added control_to_EPN to test
|
8 yıl önce |
|
Yentl Van Tendeloo
|
19ae264952
Add the necessary inter-formalism links in the model to RAMify and add
|
8 yıl önce |
|
Yentl Van Tendeloo
|
a549d34584
Made the PM compliant with the test file
|
8 yıl önce |
|
Yentl Van Tendeloo
|
97487af083
Added some additional manual transformations
|
8 yıl önce |
|
Yentl Van Tendeloo
|
fba3b401f2
Split of the powerwindow case as a separate test
|
8 yıl önce |
