From 8486ac6d68c61e4fc0365f73fa0b265e5de63b7e Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Tue, 13 Aug 2013 19:50:19 -0400
Subject: [PATCH] Update TODO lists

---
 docs/TODO     | 29 +++++++++++++++++++++++++++++
 docs/TODO.LSA | 14 +++-----------
 2 files changed, 32 insertions(+), 11 deletions(-)
 create mode 100644 docs/TODO

diff --git a/docs/TODO b/docs/TODO
new file mode 100644
index 0000000..5d9692e
--- /dev/null
+++ b/docs/TODO
@@ -0,0 +1,29 @@
+For nwf
+=======
+
+    Finish new automata work
+    Automata w/ equality constraints (aliasing)
+    Resurrect plan-nonground branch changes
+    Multi-root automata (replace Context logic)
+    SSA* ANF
+    Review XSB cyclic memoization paper
+
+Runtime and codegen
+===================
+
+    UNK/NULL/ERR/Value 
+    Runtime representation for nonground terms
+    Cyclic BC support
+
+Lower priority
+==============
+
+    Gensyms
+    Indirect evaluation
+    Error propagation
+    Backend transactionality
+
+More fun
+========
+
+    Dyna-generated callbacks for $priority (and $prioritized and $memo/$memoized).
diff --git a/docs/TODO.LSA b/docs/TODO.LSA
index 8d7156f..e96bbfb 100644
--- a/docs/TODO.LSA
+++ b/docs/TODO.LSA
@@ -28,11 +28,6 @@ impacts speed of compilation)
 
 ----- Backend
 
-",/2" runtime error if first argument is not true or false
-    Probably OK for this one to crash the program!
-
-Check that we have = aggregation working correctly.
-
 Could we maybe get a better chart representation?
 	And better queries into the chart?  We should be able to extract
 	adorned queries from the planner's output without too much effort...
@@ -43,16 +38,10 @@ Maybe something better for initializers or update API? (Low priority)
 
 ----- Documentation
 
-Be sure to mention, repeatedly, that this is experimental software and is
-likely to break both early and often.  Explain the difference between panic
-messages and errors.
-
 ----- REPL
 
 ----- Whole pipeline
 
-Can we extract backpointers from the chart or generate code to do so?
-
 Can we run anything on e.g. WSJ with L0 grammar?
   sentence(N) = ["The",...]
 
@@ -79,3 +68,6 @@ DOpAMine improvements for logging of hyper-edges
 
 Graphical view of the hypergraph
     Tim has something pretty neat working
+
+",/2" runtime error if first argument is not true or false
+    Probably OK for this one to crash the program!
-- 
2.50.1