log

age author description
2017-01-05 Tatsuki IHA Add extern initContext to queue_test
2017-01-03 Tatsuki IHA Add goto exit to queue_test
2017-01-03 Tatsuki IHA Fix queue_test error
2017-01-01 mir3636 temporarily change to createWorker1
2016-12-27 Shinji KONO separate code init for each executable
2016-12-21 mir3636 fix compile errors
2016-12-20 mir3636 fix generate_context
2016-12-20 Tatsuki IHA Fix compile error to stack_test
2016-12-20 Tatsuki IHA Add stub to origin_cs
2016-12-20 Tatsuki IHA Fix queue test
2016-12-19 Tatsuki IHA Rename queue_test Code Gear
2016-12-19 ikkun replace Stack for stack
2016-12-19 mir3636 add test
2016-12-19 mir3636 fix
2016-12-19 mir3636 fix generate_stub.pl
2016-12-19 Shinji KONO Cmake macro
2016-12-18 Shinji KONO cmake macro
2016-12-16 ikkun merge
2016-12-16 mir3636 generate_stub
2016-12-16 ikkun replace Array and Stack for array and stack
2016-12-16 mir3636 create generate_stub.pl
2016-12-16 Shinji KONO fixes
2016-12-16 Shinji KONO close bad one parallel_execution
2016-12-16 Shinji KONO fix CMaleLists.txt parallel_execution
2016-12-16 Shinji KONO close old one parallel_execution
2016-12-16 mir3636 fix
2016-12-16 Shinji KONO add command execution in CMakeList.txt
2016-12-15 mir3636 main.o fixed
2016-12-15 mir3636 generate context script
2016-12-15 mir3636 fix compile errors
2016-12-15 mir3636 merge
2016-12-15 mir3636 fix
2016-12-14 Tatsuki IHA Add queue_test
2016-12-13 atton Prove equivalence n-push/n-pop to empty stack
2016-12-13 atton Fix syntax
2016-12-06 atton Prove n-push/n-pop
2016-11-29 mir3636 add TaskManager.c
2016-11-28 ikkun add main
2016-11-28 mir3636 create interface of Task, TaskManager, Worker
2016-11-28 mir3636 add Todo
2016-11-28 mir3636 add enum Code next
2016-11-24 ikkun fix RedBlackTree.c
2016-11-24 ikkun replace Tree to RedBlackTree
2016-11-24 Tatsuki IHA Fix selected Queue
2016-11-22 Tatsuki IHA Fix
2016-11-22 Tatsuki IHA Using Queue Interface
2016-11-21 Tatsuki IHA Add synchornizedQueue
2016-11-21 mir3636 create queue.c
2016-11-18 mir3636 fix
2016-11-17 atton Generalize lemma
2016-11-17 atton Add comment to stack.agda
2016-11-17 atton Update .hgignore
2016-11-17 atton Merge 161
2016-11-17 atton Prove simple lemma in stack.agda
2016-11-18 mir3636 fix main.c
2016-11-16 mir3636 fix rb_stack.cbc
2016-11-16 mir3636 fix stack.cbc
2016-11-15 mir3636 fix
2016-11-15 atton Add stack lemma
2016-11-15 atton stack.agda