 Yentl Van Tendeloo
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1e75d17c89
Fixed power window tests
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
6ea51f1d69
Slight improvement to matching of error pattern in power window case
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
262ee0bfc7
Optimized allInstances with faster reverseKeyLookupMulti
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
8f3a01fe04
Match now annotates error states in the reachability graph
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2d5cad00f3
Simplified the matches operation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a4ea2e7fae
Query only needs set of Places
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0a30a4cec4
Complete process is running (though failing)
|
%!s(int64=8) %!d(string=hai) anos |
