log

age author description
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