X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=794ed43a4a50ea31999ffd824cf68eca7f03c6b3;hb=c87fb686f323f651a1d3f3892c31bf66788916d9;hp=5a77a93081c5cea4cdfa01519bc237811d2f0f4f;hpb=541e52e3d8392bd171d91f7fadffc68c07af8f8b;p=pspp

diff --git a/TODO b/TODO
index 5a77a93081..794ed43a4a 100644
--- a/TODO
+++ b/TODO
@@ -1,8 +1,12 @@
-Time-stamp: <2004-04-24 22:23:04 blp>
+Time-stamp: <2004-05-31 13:14:29 blp>
 
 What Ben's working on now.
 --------------------------
 
+Workspace exhaustion heuristics.
+
+Does SET work correctly?
+
 Update q2c input format description.
 
 Rewrite output subsystem, break into multiple processes.
@@ -16,6 +20,12 @@ other procedures).
 TODO
 ----
 
+Make valgrind --leak-check=yes --show-reachable=yes work.
+
+Add Boolean type.
+
+Add NOT_REACHED() macro.
+
 Add compression to casefiles.
 
 Expressions need to be able to abbreviate function names.  XDATE.QUARTER