diff options
Diffstat (limited to 'impl/TODO.org')
-rw-r--r-- | impl/TODO.org | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/impl/TODO.org b/impl/TODO.org index fe7acee..4d14b64 100644 --- a/impl/TODO.org +++ b/impl/TODO.org @@ -17,11 +17,11 @@ - [X] debug - [X] trace - [X] info -- [ ] Provide output [0/5] - - [ ] strategies - print the system and assignment, then the next strategy - print each strategy like this: - max(0, x, sub(y,2)) -> sub(y,2) +- [-] Provide output [0/5] + - [-] strategies [1/2] + - [ ] print the system and assignment, then the next strategy + - [X] print each strategy like this: + max(0, x, sub(y,2)) --[2]-> sub(y,2) - [ ] fixpoint print the system we're working with, then print the resultant assignment - [ ] debug |