 Yentl Van Tendeloo
|
13e63f5c85
Fixed reachability computation
|
%!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
|
e3e6957232
Fixes to reachability algorithm
|
%!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
|
348fe8d0d3
Added a test for PM execution (and reachability graph construction)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
4d44712bfd
Reordered things a bit to make reachability graph into a test
|
%!s(int64=8) %!d(string=hai) anos |
