Mercurial > hg > Gears > GearsAgda

comparison Todo.txt @ 710:c588b77bc197

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 05 May 2022 14:23:49 +0900
parents 6a805c8c1e53
children f7e1704305df 0b791ae19543
comparison
equal deleted inserted replaced
709:6a805c8c1e53 710:c588b77bc197
1 Wed May 4 22:07:32 JST 2022
2
3 Context memory に DataGear を Binary Tree で入れる。List で良いのだが
4 Libaryの Data.Tree.Binary には insert はない ( まぁ、alloc / read / update くらいで map で書けるとか?)
5 共有データは、memory に入れる
6 free はしない(?)
7
1 Sun May 1 15:04:57 JST 2022 8 Sun May 1 15:04:57 JST 2022
2 9
3 Model checking 10 Model checking
4 11
5 goto 先の番号を stub に書くのは変 12 goto 先の番号を stub に書くのは変