 Yentl Van Tendeloo
|
4effccfe6f
Rename casting operations
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9e027ab90c
More bugfixes to transformations and execution
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a3922711ad
Modify some leftover files
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
74e9c4e88c
Fixed MvC tests with the popping of sets
|
%!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
|
1c2eb18c90
Test passes!
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
c6aec5c717
Print the name of the generated state as well
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
320ffd3b32
Fix reachability graph construction and printing
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
00b48a6948
Fixes to make everything work
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
3cdd2af504
Added reachability graph printing MT
|
%!s(int64=8) %!d(string=hai) anos |
