 Yentl Van Tendeloo
|
5e8f1a5aa5
Fixed MvC tests
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
5b3f86ba17
Unified AL, Manual, and Transformations in core algorithm
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
fff24d728e
Updated tests as well to include Tracability
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
32ba0ab68a
Stabilize performance improvements
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
fdec14c3ac
Added profiling code for power window
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
69e123e468
Fixed power window test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0b87e04efe
Fixed test output acceptance for the wrong control model
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1ed912e06f
Added a PowerWindow test where the control model is flawed and fixed
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
368f59aa35
Optimized instantiate_* further
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
5c127442b9
Slight improvement to the instantiate_* code
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
fc9670e372
Added debug test for the PM, which prints intermediate values
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e33ebc33cd
More cleanup of code mess (+ included debug output)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1a0e47637a
Cleanup of problems
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
94213022d2
Use Architecture and BFS everywhere + update location of reachability
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
70ec4c4ffe
Add Architecture MM to the list of formalisms
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0f0e93dfe5
Made a non-outputting version of reachability_graph print
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
04cb5d2683
Fixed constructors_models.py tests: increased timeout in test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0842848b7f
Added a "slow" test which first uploads a bad control model
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
653e58a011
Increased performance by not printing out intermediate information
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
ff022dea2e
Print out the reachability graph before doing the matching
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
3ea339e496
Add tracability links for the transitions as well for plant
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d45185a261
Added new ALC to print the intermediate EPN and PN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0a30a4cec4
Complete process is running (though failing)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
dc77ba9cc0
Merge EPN2PN into combine_EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
7a47f6f338
Added combine_EPN to PM
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
cf211a3b73
Updated rules and their integration
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1ab9dd9529
Putting things together in the PM
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e386ed4d40
Fixed some more errors, now semantical
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9ea44ba6e6
Fixed many compilation/syntax errors
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
35561d3bbe
Added control_to_EPN to test
|
%!s(int64=8) %!d(string=hai) anos |
