diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 18:42:28 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 18:42:28 +1000 |
commit | 9f3fff18f29d250745a758d13e4c4d39f59bee9c (patch) | |
tree | 3caae5a4b8edb970ebefbf6d489a4afc6e5a06a4 /impl/TODO.org | |
parent | fcc8fc238754b6cf1bd7ac394de44ee30c50d6f7 (diff) |
Few quick logging changes, just for fun.
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 |