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
|