log

age author description
2022-05-22 Shinji KONO init 5 phils done without infinite loop
2022-05-16 Shinji KONO Ok this is a termination bug og agda
2022-05-16 Shinji KONO find infinite loop bug in Agda
2022-05-16 Shinji KONO ...
2022-05-11 Shinji KONO one step further on find
2022-05-10 Shinji KONO fix context
2022-05-07 Shinji KONO insertTree have some bug
2022-05-06 Shinji KONO ...
2022-05-05 Shinji KONO ...
2022-05-05 Shinji KONO ...
2022-05-05 Shinji KONO ...
2022-05-05 Shinji KONO ...
2022-05-03 Shinji KONO ...
2022-04-19 Shinji KONO ...
2021-12-07 Shinji KONO ...
2021-12-05 Shinji KONO ...
2021-12-05 Shinji KONO ...
2021-12-05 Shinji KONO ..
2021-12-05 Shinji KONO embedding invariant extentiion
2021-12-05 Shinji KONO ...
2021-12-05 Shinji KONO hoareBinaryTree done
2021-12-04 Shinji KONO ...
2021-12-04 Shinji KONO ...
2021-12-04 Shinji KONO ...
2021-12-04 Shinji KONO ...
2021-12-03 Shinji KONO ...
2021-12-02 Shinji KONO ...
2021-12-02 Shinji KONO complete insertTreeP
2021-12-01 Shinji KONO insertTreeP
2021-12-01 Shinji KONO ...
2021-12-01 Shinji KONO ...
2021-12-01 Shinji KONO ...
2021-12-01 Shinji KONO ...
2021-11-30 Shinji KONO ...
2021-11-30 Shinji KONO ...
2021-11-30 Shinji KONO ...
2021-11-29 Shinji KONO ...
2021-11-29 Shinji KONO ...
2021-11-29 Shinji KONO ...
2021-11-29 Shinji KONO ...
2021-11-29 Shinji KONO ...
2021-11-29 Shinji KONO ...
2021-11-29 Shinji KONO ...
2021-11-29 Shinji KONO ...
2021-11-29 Shinji KONO child-replaced
2021-11-23 Shinji KONO ...
2021-11-23 Shinji KONO ...
2021-11-23 Shinji KONO close this
2021-11-23 Shinji KONO ...
2021-11-23 Shinji KONO ...
2021-11-22 Shinji KONO use record invariant for replace
2021-11-22 Shinji KONO ...
2021-11-22 Shinji KONO ...
2021-11-22 Shinji KONO ...
2021-11-22 Shinji KONO ...
2021-11-22 Shinji KONO ...
2021-11-21 Shinji KONO ...
2021-11-21 Shinji KONO findP done
2021-11-21 Shinji KONO stack contains original tree at end always
2021-11-21 Shinji KONO ...
2021-11-21 Shinji KONO ...
2021-11-21 Shinji KONO ...
2021-11-21 Shinji KONO stack invariant in findP
2021-11-21 Shinji KONO ...
2021-11-21 Shinji KONO s-left0
2021-11-21 Shinji KONO ...
2021-11-21 Shinji KONO ...
2021-11-21 Shinji KONO ...
2021-11-21 Shinji KONO ...
2021-11-20 Shinji KONO new stack invariant
2021-11-20 Shinji KONO fix stack top and replaced tree
2021-11-19 Shinji KONO ...
2021-11-19 Shinji KONO ...
2021-11-19 Shinji KONO ...
2021-11-19 Shinji KONO ...
2021-11-19 Shinji KONO .......>>>>>>>>..............>>>>>..........ZZ
2021-11-19 Shinji KONO ...ZZ
2021-11-19 Shinji KONO ...
2021-11-18 Shinji KONO ...
2021-11-18 Shinji KONO ...
2021-11-16 Shinji KONO ...
2021-11-16 Shinji KONO ...
2021-11-15 Shinji KONO replacedTree
2021-11-15 Shinji KONO replaceTree
2021-11-15 Shinji KONO stack invariant in findP
2021-11-14 Shinji KONO ...
2021-11-14 Shinji KONO ...
2021-11-12 Shinji KONO ...
2021-11-11 Shinji KONO ...
2021-11-11 Shinji KONO ...
2021-11-10 Shinji KONO ...
2021-11-09 Shinji KONO ...
2021-11-09 Shinji KONO ...
2021-11-08 Shinji KONO ...
2021-11-08 Shinji KONO ...
2021-11-08 Shinji KONO connected
2021-11-08 Shinji KONO ...
2021-11-08 Shinji KONO ...
2021-11-08 Shinji KONO ...
2021-11-08 Shinji KONO ...
2021-11-08 Shinji KONO ...
2021-11-07 Shinji KONO ...
2021-11-07 Shinji KONO ...
2021-11-07 Shinji KONO ...
2021-11-07 Shinji KONO ...
2021-11-07 Shinji KONO ...
2021-11-05 Shinji KONO ...
2021-11-05 Shinji KONO connected
2021-11-05 Shinji KONO data replacedTree
2021-11-05 Shinji KONO ...
2021-11-05 Shinji KONO ...
2021-11-04 Shinji KONO add one more stack
2021-11-04 Shinji KONO add test and speciication
2021-11-03 Shinji KONO fix RedBlackTree
2021-11-03 Shinji KONO ...
2021-11-03 Shinji KONO with Hoare condition
2021-11-03 Shinji KONO define invariant
2021-11-03 Shinji KONO new approach
2021-11-02 Shinji KONO add fig
2020-06-07 Shinji KONO ...