log

age author description
2018-03-29 Shinji KONO fix
2018-03-29 Shinji KONO some try ..
2018-03-27 Shinji KONO add some lemma
2018-03-26 Shinji KONO a little fix on refl
2018-03-26 Shinji KONO use another nat comparator
2018-03-26 ryokka add compareTri
2018-01-18 Shinji KONO ...
2018-01-17 Shinji KONO fix findNode
2018-01-17 Shinji KONO root = Nothing case passed on putTest1
2018-01-16 Shinji KONO add some
2018-01-14 Shinji KONO compareN x x = EQ
2018-01-13 Shinji KONO compare2
2018-01-12 ryokka add putTest1Lemma1, putTest1
2018-01-12 ryokka add someTest
2018-01-11 ryokka add reference
2018-01-11 ryokka fix use SingleLinkedStack
2018-01-11 ryokka puttree1 act
2018-01-11 Shinji KONO ...
2018-01-11 Shinji KONO testing
2018-01-10 ryokka print contant tree. C-c C-n test.
2018-01-10 ryokka add redBlackTreeTest.agda test5,test51. but not work
2018-01-10 ryokka add stackTest redBlackTreeTest
2018-01-09 Shinji KONO ...
2018-01-09 Shinji KONO ...
2018-01-09 Shinji KONO fix
2018-01-09 Shinji KONO add test
2018-01-09 Shinji KONO fix red black tree
2018-01-09 ryokka add clearStack
2018-01-09 ryokka add insertCase41, insertCase5
2018-01-09 ryokka fix insertCase4
2018-01-08 Shinji KONO fix insertCase4
2018-01-08 ryokka add insertCase4
2018-01-08 ryokka add rotateRight, rotateLeft
2018-01-08 ryokka write rotateRithg. but not working now
2018-01-05 ryokka add Todo.txt
2018-01-05 ryokka separate Agda
2018-01-05 Shinji KONO remove implementation from RedBlackTree.aga
2018-01-05 Shinji KONO add stack implement
2018-01-04 Shinji KONO fix agda
2018-01-04 Shinji KONO add some more directives in agda
2018-01-04 Shinji KONO add more reblack tree in agda
2018-01-04 Tatsuki IHA Merge
2018-01-04 Tatsuki IHA Bounded Loop for boundedBuffer examples
2018-01-04 ryokka fix findNode in Agda
2018-01-04 ryokka fix RedBlackTree.agda
2018-01-04 ryokka fix RedBlackTree.agda
2018-01-04 mir3636 fix RedBlackTree.agda
2018-01-04 mir3636 fix stack.agda
2018-01-03 Shinji KONO merge
2018-01-03 Shinji KONO stack proof on indeterminate stack state
2018-01-03 Tatsuki IHA Add SpinLock
2018-01-03 Tatsuki IHA SemaphoreImpl use spinlock
2018-01-01 Tatsuki IHA Add LockImpl
2018-01-01 Tatsuki IHA Replace goto meta
2018-01-01 Shinji KONO stack.agda comment
2018-01-01 Shinji KONO separate methods in stack.agda
2018-01-01 Shinji KONO stack.agda comment
2018-01-01 Shinji KONO stack.agda comment
2018-01-01 Shinji KONO fix proof
2018-01-01 Shinji KONO stack.agda leveled