log

age author description
2017-01-28 Shinji KONO fix Todo
2017-01-28 Shinji KONO add comments
2017-01-28 Shinji KONO merge
2017-01-28 Shinji KONO generated stub no comiple errors
2017-01-28 Shinji KONO fix type gathering pattern match in generate_stub.pl
2017-01-28 mir3636 generate next args
2017-01-27 mir3636 fix make error of twice
2017-01-27 mir3636 fix cmake file
2017-01-27 mir3636 cmake generate c from cbc
2017-01-27 Shinji KONO fix generator CLI
2017-01-26 mir3636 generate stubArgs
2017-01-26 mir3636 fix stub
2017-01-26 mir3636 fix sub generateStub
2017-01-25 mir3636 fix generate_stub
2017-01-25 mir3636 fix generate stub
2017-01-25 Tatsuki IHA Fix segmentation fault but not multi thread running
2017-01-24 Tatsuki IHA Fix createTask for main
2017-01-24 Tatsuki IHA Change initContext type from __code to void
2017-01-24 Tatsuki IHA Merge
2017-01-24 Tatsuki IHA Fix error
2017-01-24 mir3636 generate impl
2017-01-24 Tatsuki IHA Add sendTask
2017-01-24 Tatsuki IHA Merge
2017-01-24 Tatsuki IHA Add spawnTask1
2017-01-24 mir3636 fix
2017-01-24 mir3636 add worker.h
2017-01-24 mir3636 fix
2017-01-23 ikkun fix taskManager
2017-01-23 mir3636 fix worker compile error
2017-01-22 mir3636 TaskManager
2017-01-22 mir3636 create worker start_code
2017-01-22 mir3636 worker interface
2017-01-22 mir3636 fix
2017-01-21 ikkun fix worker
2017-01-21 mir3636 fix generate_stub
2017-01-21 mir3636 generate stub
2017-01-20 ikkun fix worker
2017-01-17 mir3636 get arg
2017-01-14 Tatsuki IHA Add dependency.graffle
2017-01-13 one Add Todo
2017-01-11 one Add input data gear example
2017-01-11 Tatsuki IHA Add taskSend for TaskManager
2017-01-09 Tatsuki IHA Success create Task and inqueue Task
2017-01-09 Tatsuki IHA Fix rb_tree
2017-01-08 Tatsuki IHA Rename TaskManager.c
2017-01-08 Tatsuki IHA Fix spawnTaskManager
2017-01-08 Tatsuki IHA Fix DataGear access name
2017-01-05 Tatsuki IHA Not use cast for queue_test
2017-01-05 Tatsuki IHA Fix stack_test
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
2016-11-15 atton Add normal level and agda code
2016-11-15 mir3636 merged
2016-11-14 Tatsuki IHA Fix error
2016-11-14 Tatsuki IHA Add typedef to define Code Gear
2016-11-15 mir3636 create .cbc
2016-11-10 one Add Gearef macro
2016-11-10 Shinji KONO fix data gears type enum
2016-11-10 Shinji KONO add treeRotate data
2016-11-10 Shinji KONO fix rotate
2016-11-09 Shinji KONO add stack clear interface
2016-11-09 Shinji KONO name fixes