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
|
2017-12-31 |
Tatsuki IHA |
Merge
|
2017-12-31 |
Tatsuki IHA |
Genrate stub for MultiDimIterator
|
2017-12-31 |
Shinji KONO |
fix agda
|
2017-12-30 |
Tatsuki IHA |
Work BoundedBuffer if singlethread
|
2017-12-30 |
Tatsuki IHA |
BoundedBuffer implments Buffer interface
|
2017-12-30 |
Tatsuki IHA |
Add codeGear for boundedBuffer example
|
2017-12-30 |
Tatsuki IHA |
Add boundedBuffer example
|
2017-12-29 |
Tatsuki IHA |
Replace goto meta for SynchronizedQueue
|
2017-12-29 |
Tatsuki IHA |
Merge
|
2017-12-29 |
Tatsuki IHA |
Use main generate script for examples
|
2017-12-29 |
Tatsuki IHA |
Merge
|
2017-12-29 |
Tatsuki IHA |
Fix extern cudainit parameter
|
2017-12-29 |
Tatsuki IHA |
Add cudaflag if Linux
|
2017-12-29 |
ryokka |
proof pop2 function in agda
|
2017-12-29 |
ryokka |
pop2 and get2 in agda
|
2017-12-29 |
ryokka |
add getSingleLinkedStack,get2SingleLinkedStack. but get2SingleLinkedStack not working now
|
2017-12-28 |
Tatsuki IHA |
Refactoring spawnTasks method
|
2017-12-28 |
Tatsuki IHA |
Refactoring CUDAWorker.cbc
|
2017-12-28 |
Tatsuki IHA |
Change loopCounter type from struct LoopCounter to Integer for TaskManagerImpl
|
2017-12-28 |
Tatsuki IHA |
Fix segmentation fault if multithread
|
2017-12-28 |
ryokka |
fix stack.agda
|
2017-12-28 |
ryokka |
fix Stack.agda
|
2017-12-28 |
ryokka |
add rbTreeTest remove
|
2017-12-28 |
Tatsuki IHA |
Merge
|
2017-12-28 |
Tatsuki IHA |
Refactoring CPUWorker.cbc
|
2017-12-28 |
Tatsuki IHA |
Merge
|
2017-12-26 |
Tatsuki IHA |
Replace "goto meta" for TaskManagerImpl
|
2017-12-27 |
ryokka |
remove error ' rbtree'.
|
2017-12-27 |
ryokka |
remove error, RedBlackTree.cbc Deletion Code
|
2017-12-27 |
ryokka |
add RedBlackTree.cbc insert Test
|
2017-12-25 |
Tatsuki IHA |
Change used interface syntax from #include to #interface
|
2017-12-21 |
Tatsuki IHA |
Fix segmentation fault for calc.cbc
|
2017-12-21 |
Tatsuki IHA |
Fix warning pointer type
|
2017-12-20 |
Tatsuki IHA |
Running CUDA examples
|
2017-12-20 |
Tatsuki IHA |
Rename from Time interface to Timer interface
|
2017-12-20 |
Tatsuki IHA |
Merge
|
2017-12-20 |
Tatsuki IHA |
Running CPU examples
|
2017-12-20 |
Tatsuki IHA |
Change Interface files from cbc to header
|
2017-12-19 |
ryokka |
Split RedBlackTree.cbc RedBlackTreeReWrite.cbc
|
2017-12-15 |
Tatsuki IHA |
Change taskManager parameter from context to task
|
2017-12-13 |
Tatsuki IHA |
Merge
|
2017-12-13 |
Tatsuki IHA |
Refactor TaskManagerImpl
|
2017-12-11 |
Tatsuki IHA |
Add TaskIterator
|
2017-12-11 |
innparusu |
Fix nodeStack
|
2017-12-11 |
ryokka |
Debug RedBlackTree.cbc.
|
2017-12-08 |
ryokka |
add rbTree_test.cbc
|