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
|