Update TODO lists

diff --git a/docs/TODO b/docs/TODO
new file mode 100644 (file)
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 8d7156f42d8ca8be0746a1cba64175b29c83156e..e96bbfbccdfc92b8e9db3270773ddd099282286c 100644 (file)
--- 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!