 Yentl Van Tendeloo
|
d0427ceecc
Initialize SCD in the root task upon startup
|
8 年之前 |
|
Yentl Van Tendeloo
|
c8f39db2cb
Fixes to the calling mechanism in PM execution of transformation/AL
|
8 年之前 |
|
Yentl Van Tendeloo
|
13e63f5c85
Fixed reachability computation
|
8 年之前 |
|
Yentl Van Tendeloo
|
320ffd3b32
Fix reachability graph construction and printing
|
8 年之前 |
|
Yentl Van Tendeloo
|
e3e6957232
Fixes to reachability algorithm
|
8 年之前 |
|
Yentl Van Tendeloo
|
2bd562bb6a
Fixed PM and related formalisms/algorithms: reachability starts running
|
8 年之前 |
|
Yentl Van Tendeloo
|
348fe8d0d3
Added a test for PM execution (and reachability graph construction)
|
8 年之前 |
|
Yentl Van Tendeloo
|
4d44712bfd
Reordered things a bit to make reachability graph into a test
|
8 年之前 |
