# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1688378947 -32400
# Node ID f7e1704305dfe68a9603aaf77549c58009c3f2d8
# Parent  7e5dfe642064c3a4db72a3c5f10e15fc67624a36
..

diff -r 7e5dfe642064 -r f7e1704305df Todo.txt
--- a/Todo.txt	Mon Jun 26 20:04:38 2023 +0900
+++ b/Todo.txt	Mon Jul 03 19:09:07 2023 +0900
@@ -1,3 +1,18 @@
+Mon Jul  3 19:04:29 JST 2023
+
+    Red Black Tree の Invariant を完成させる
+    GearsOS のコードとの対応を取る (既にバグがあることがわかってる)
+
+    バグはメタ部分にある
+    　　pointer    (CbCはCだから pointer がある)
+        heap       (CbCは GC もってない。なので、メモリリークしてる)
+
+    Meta計算部分を含む Invariant になる
+
+    ここまで複雑で実用になる?
+
+      部分ではそんなに難しくはない?
+
 Wed May  4 22:07:32 JST 2022
 
     Context memory に DataGear を Binary Tree で入れる。List で良いのだが