log

age author description
2020-01-16 anatofuz tweak
2020-01-16 anatofuz remove context.h
2019-12-11 anatofuz ignore c/ directory
2019-12-02 anatofuz tweak trans_impl
2019-12-02 anatofuz add SingleLinkedStack.h
2019-11-28 anatofuz fix trans_impl.pl
2019-11-27 anatofuz fix bitonicSort example
2019-11-27 anatofuz fix boundedBuffer example
2019-11-27 anatofuz fix twice example
2019-11-27 anatofuz clean Gears::Util
2019-11-27 anatofuz add gen context.h at generate_context.pl
2019-11-25 anatofuz add static genmode
2019-11-25 anatofuz add Template.pm
2019-11-25 anatofuz bug fix...
2019-11-25 anatofuz impl auto_gen_context toolset
2019-11-24 anatofuz set header path each include struct
2019-11-24 anatofuz mv Gears.pm to Gears/Context.pm
2019-11-24 anatofuz add semiron..
2019-11-24 anatofuz autogen DetaGears
2019-11-23 anatofuz tweak
2019-11-23 anatofuz add_parse_create_each_context.pl
2019-11-23 anatofuz tweak
2019-11-23 anatofuz interface to struct...
2019-11-23 anatofuz add Gears.pm
2019-11-23 anatofuz add auto_generate_context.pl
2019-11-21 anatofuz fix
2019-11-19 anatofuz tweak
2019-11-19 anatofuz add write mode
2019-11-19 anatofuz impl trans_impl.pl
2019-11-18 anatofuz tweak
2019-11-18 anatofuz tweak
2019-11-18 anatofuz tweak
2019-11-18 anatofuz add Gears::Util module
2019-11-18 anatofuz add trans_impl.pl
2019-11-18 anatofuz fix update_context.pl when empty line
2019-11-14 anatofuz tweak update_context.pl
2019-11-13 anatofuz impl overrrite mode at update_context.pl
2019-11-13 anatofuz fix error msg
2019-11-13 anatofuz tweak update_context.pl
2019-11-13 anatofuz add update_context.pl
2019-10-11 anatofuz tweak GearsExamples, generate_stubs
2018-06-26 mir3636 get code gear before continuation
2018-05-15 mir3636 fix goto parGotoMeta
2018-05-15 mir3636 Todo update
2018-03-19 one Merge
2018-01-05 Shinji KONO remove implementation from RedBlackTree.aga
2018-01-05 Shinji KONO add stack implement
2018-01-04 Shinji KONO fix agda
2018-01-04 Shinji KONO add some more directives in agda
2018-01-04 Shinji KONO add more reblack tree in agda
2018-02-12 Tatsuki IHA Add comment
2018-02-05 Tatsuki IHA Add calcMaxThread
2018-02-05 Tatsuki IHA Fix
2018-02-05 Tatsuki IHA Fix args
2018-02-01 Tatsuki IHA Fix
2018-02-01 Tatsuki IHA Fix
2018-01-27 Tatsuki IHA Generate multiDimIterator_test stub
2018-01-27 Tatsuki IHA Generate boundedBuffer example stub
2018-01-27 Tatsuki IHA Fix bitonicSort
2018-01-27 Tatsuki IHA Generate twice stub
2018-01-27 Tatsuki IHA Delete stub for bitonicSort
2018-01-27 Tatsuki IHA Generate par goto code gear stub
2018-01-25 Tatsuki IHA Fix
2018-01-22 Tatsuki IHA Add comment
2018-01-21 Tatsuki IHA Fix
2018-01-21 Tatsuki IHA Replace goto meta for MultiDimIterator
2018-01-16 Tatsuki IHA Delete for unused struct Context member
2018-01-10 mir3636 fix about no argument code gear of generate_stub.pl
2018-01-06 Tatsuki IHA Set split size if cuda
2018-01-06 innparusu Add Timer for CUDAExecutor
2018-01-05 Tatsuki IHA Add semaphoreSequence.graffle
2018-01-04 Tatsuki IHA Merge
2018-01-04 ryokka fix findNode in Agda
2018-01-04 ryokka fix RedBlackTree.agda
2018-01-04 ryokka fix RedBlackTree.agda
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-04 Tatsuki IHA Bounded Loop for boundedBuffer examples
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 Shinji KONO fix agda
2017-12-31 Tatsuki IHA Genrate stub for MultiDimIterator
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