summaryrefslogtreecommitdiff
path: root/impl
diff options
context:
space:
mode:
Diffstat (limited to 'impl')
-rw-r--r--impl/TODO.org57
1 files changed, 57 insertions, 0 deletions
diff --git a/impl/TODO.org b/impl/TODO.org
new file mode 100644
index 0000000..fe7acee
--- /dev/null
+++ b/impl/TODO.org
@@ -0,0 +1,57 @@
+* TODO Refactoring [1/4]
+- [X] Fix up logging
+- [ ] Separate classes into files
+- [ ] Put outer-loop in a class (out of main)
+- [ ] Give EquationSystem methods for creating assignments/strategies
+
+* TODO Verbosity [2/3]
+- [X] Wrap output streams [5/5]
+ - [X] strategies
+ - [X] fixpoint
+ - [X] debug
+ - [X] trace
+ - [X] info
+- [X] Command-line arguments [5/5]
+ - [X] strategies
+ - [X] fixpoint
+ - [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)
+ - [ ] fixpoint
+ print the system we're working with, then print the resultant assignment
+ - [ ] debug
+ print the initial system we're working with
+ print more general info in the main loop (number of loops, each assignment/strategy)
+ - [ ] trace
+ maybe we don't need this
+ would be something like "entering/exiting" everything mildly important
+ - [ ] info
+ print the initial system we're working with
+
+* TODO make test [0/4]
+- [ ] write test cases [/]
+ - [ ] best cases
+ - [ ] worst cases
+ - [ ] average cases
+- [ ] work out correct outputs for each test case
+- [ ] write a script to run over each test case and return pass/fail
+- [ ] consolidate into makefile as `make test`
+
+* TODO Parametrise EquationSystem for Variable, too [0/1]
+- [ ] Give EquationSystem a template parameter for Variable
+ I don't think this is necessary, but Thomas wants it
+
+* TODO Min-cost flow problem [0/3]
+- [ ] Research min-cost flow libraries
+ Potentially just use LEMON? It looks pretty decent.
+- [ ] Implement the min-cost flow operator MCF
+- [ ] Update test cases to include MCF
+
+* TODO Presentation [0/2]
+- [ ] Simplify "Even Faster" solver for explanation
+- [ ] Make slides