 Yentl Van Tendeloo
|
6bbd1167c7
Fixes to model_list in test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
00f598ee6c
Fixed PM execution
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
71a50aa4ac
Fix minor parts for the tests to succeed
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
69f9e63b5c
Fixed power window tests
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
68142835fd
Cleaned up test_powerwindow and fixed debug test
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0da753bfef
Updated other debug test, but seems kind of broken
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
5d2823e675
Updated the first powerwindow test to use wrappers
|
%!s(int64=8) %!d(string=hai) anos |
|
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 |
