Gears/GearsAgda: revision graph

graph

less more | rev 157: (0) -120 +120 tip

fix
Tue, 15 Nov 2016 22:34:48 +0900, by mir3636
Add stack lemma
Tue, 15 Nov 2016 20:17:31 +0900, by atton
stack.agda
Tue, 15 Nov 2016 19:33:13 +0900, by atton
Add normal level and agda code
Tue, 15 Nov 2016 19:02:36 +0900, by atton
merged
Tue, 15 Nov 2016 17:53:40 +0900, by mir3636
Fix error
Tue, 15 Nov 2016 00:52:12 +0900, by Tatsuki IHA
Add typedef to define Code Gear
Tue, 15 Nov 2016 00:51:11 +0900, by Tatsuki IHA
create .cbc
Tue, 15 Nov 2016 17:46:29 +0900, by mir3636
Add Gearef macro
Thu, 10 Nov 2016 20:37:52 +0900, by one
fix data gears type enum
Thu, 10 Nov 2016 12:07:53 +0900, by Shinji KONO
add treeRotate data
Thu, 10 Nov 2016 10:35:48 +0900, by Shinji KONO
fix rotate
Thu, 10 Nov 2016 09:27:01 +0900, by Shinji KONO
add stack clear interface
Thu, 10 Nov 2016 07:51:15 +0900, by Shinji KONO
name fixes
Thu, 10 Nov 2016 07:33:10 +0900, by Shinji KONO
recude stack get using traverse field
Wed, 09 Nov 2016 22:33:16 +0900, by Shinji KONO
Added tag stack-interface for changeset 4f6a660c14a1
Wed, 09 Nov 2016 15:43:38 +0900, by Shinji KONO
stack interface worked stack-interface
Wed, 09 Nov 2016 15:43:22 +0900, by Shinji KONO
fixes
Wed, 09 Nov 2016 13:26:53 +0900, by Shinji KONO
fix
Wed, 09 Nov 2016 10:13:31 +0900, by Shinji KONO
insert works but is not balanced
Tue, 08 Nov 2016 19:39:40 +0900, by kono
fix stackClear
Tue, 08 Nov 2016 17:35:03 +0900, by mir3636
stack refactering no compile error
Tue, 08 Nov 2016 15:01:08 +0900, by mir3636
fix
Tue, 08 Nov 2016 14:29:31 +0900, by Shinji KONO
fix stack call in rb_tree
Tue, 08 Nov 2016 10:44:39 +0900, by Shinji KONO
call stack interface in rb_tree
Mon, 07 Nov 2016 21:12:19 +0900, by mir3636
Code Gears stack api
Thu, 27 Oct 2016 18:54:11 +0900, by one
Fix compile error but not work
Tue, 25 Oct 2016 00:49:28 +0900, by Tatsuki IHA
Stackinterface
Mon, 10 Oct 2016 20:19:26 +0900, by ikkun
Added tag meta_code for changeset 53df6602530f
Fri, 30 Sep 2016 17:50:27 +0900, by innparusu
Add GearsProgramming mind map meta_code
Fri, 30 Sep 2016 17:04:20 +0900, by one
stack clear
Thu, 29 Sep 2016 22:22:36 +0900, by kono
Fix rotate cs stack
Thu, 29 Sep 2016 19:02:49 +0900, by one
Fix segmentation falt
Thu, 29 Sep 2016 17:18:15 +0900, by innparusu
Fix compile error but not work
Thu, 29 Sep 2016 16:58:23 +0900, by one
node stack rewrite
Wed, 28 Sep 2016 19:02:25 +0900, by ikkun
node stack rewrite
Wed, 28 Sep 2016 18:47:16 +0900, by ikkun
node stack rewrite
Tue, 27 Sep 2016 17:48:17 +0900, by ikkun
remove code stack, add stackPop2
Mon, 26 Sep 2016 20:43:18 +0900, by ikkun
remove code stack, stack clear is directly called
Mon, 26 Sep 2016 20:20:16 +0900, by ikkun
remove code stack, add continuation of rotateL/totateR
Mon, 26 Sep 2016 19:54:24 +0900, by ikkun
add comment rb_tree
Wed, 14 Sep 2016 20:43:37 +0900, by ikkun
Set fedora version
Thu, 14 Jul 2016 20:29:06 +0900, by Yasutaka Higa
Fix error
Tue, 21 Jun 2016 14:17:58 +0900, by Tatsuki IHA
Change element data from Task to Data
Tue, 07 Jun 2016 18:43:21 +0900, by Tatsuki IHA
add comment rb_tree
Wed, 14 Sep 2016 20:35:21 +0900, by ikkun
Add spawnTask CS
Tue, 03 May 2016 17:29:21 +0900, by Tatsuki IHA
Add dependency.c
Mon, 02 May 2016 20:39:02 +0900, by Tatsuki IHA
merge
Mon, 02 May 2016 20:04:06 +0900, by Tatsuki IHA
Change put_queue process
Mon, 02 May 2016 20:02:09 +0900, by Tatsuki IHA
Set allocation size
Tue, 12 Apr 2016 16:40:29 +0900, by Yasutaka Higa
merge
Mon, 11 Apr 2016 01:45:22 +0900, by Tatsuki IHA
Add dependency data to task DS
Mon, 11 Apr 2016 01:44:23 +0900, by Tatsuki IHA
Reduce warnings
Tue, 15 Mar 2016 11:57:46 +0900, by Yasutaka Higa
Move headers into include directory
Tue, 15 Mar 2016 11:43:58 +0900, by Yasutaka Higa
remove stack from getQueue
Wed, 02 Mar 2016 21:19:01 +0900, by ikkun
remove stack StartTime&EndTime
Wed, 02 Mar 2016 20:51:33 +0900, by ikkun
Add Allocate macro
Wed, 02 Mar 2016 19:23:00 +0900, by innparusu
Split functions which gets tree height
Tue, 02 Feb 2016 16:12:34 +0900, by Yasutaka Higa
Create verifier directory
Tue, 02 Feb 2016 16:02:55 +0900, by Yasutaka Higa
add Cuda infomation to context
Mon, 01 Feb 2016 18:03:43 +0900, by ikkun
cmake: add parallel_exection to subdirectory
Fri, 29 Jan 2016 05:40:04 +0900, by Shohei KOKUBO
merge
Fri, 29 Jan 2016 05:37:11 +0900, by Shohei KOKUBO
modify twice, use OSAtomiceCompareAndSwap
Fri, 29 Jan 2016 05:36:52 +0900, by Shohei KOKUBO
Remove unused subdirectory in CMakeLists
Tue, 26 Jan 2016 17:32:55 +0900, by Yasutaka Higa
Add Dockerfile for gears
Tue, 26 Jan 2016 17:06:56 +0900, by Yasutaka Higa
implement twice
Tue, 26 Jan 2016 08:50:30 +0900, by Shohei KOKUBO
modify tree
Tue, 26 Jan 2016 07:46:26 +0900, by Shohei KOKUBO
put queue
Tue, 26 Jan 2016 06:47:35 +0900, by Shohei KOKUBO
merge
Tue, 19 Jan 2016 18:05:15 +0900, by Shohei KOKUBO
merge
Tue, 19 Jan 2016 16:21:03 +0900, by Shohei KOKUBO
rename directory parallel_execution
Tue, 19 Jan 2016 16:16:26 +0900, by Shohei KOKUBO
create worker parallel_execution
Mon, 18 Jan 2016 17:50:52 +0900, by Shohei KOKUBO
Add LLRB with height assertion on put
Tue, 19 Jan 2016 16:22:04 +0900, by Yasutaka Higa
Add .hgignore
Tue, 12 Jan 2016 15:07:07 +0900, by Yasutaka Higa
use stack
Thu, 07 Jan 2016 08:20:03 +0900, by Shohei KOKUBO
merge
Fri, 11 Dec 2015 15:07:10 +0900, by Shohei KOKUBO
implement delete(tail call). do not work
Fri, 11 Dec 2015 15:06:20 +0900, by Shohei KOKUBO
refactoring
Mon, 30 Nov 2015 21:40:50 +0900, by Shohei KOKUBO
Fix compile error with cbc-clang (99580de8d21d)
Fri, 04 Dec 2015 18:32:34 +0900, by Yasutaka Higa
Add origin_cs to synchronizedQueue
Fri, 04 Dec 2015 17:57:34 +0900, by Tatsuki IHA
implement insert(tail recursion)
Fri, 27 Nov 2015 02:14:25 +0900, by Shohei KOKUBO
refactoring
Tue, 17 Nov 2015 16:59:48 +0900, by Shohei KOKUBO
refactoring
Tue, 17 Nov 2015 15:53:51 +0900, by Shohei KOKUBO
modify deletion
Tue, 10 Nov 2015 17:14:46 +0900, by Shohei KOKUBO
implement llrb deletion
Tue, 10 Nov 2015 10:21:37 +0900, by Shohei KOKUBO
use stack for code segment
Tue, 10 Nov 2015 01:59:04 +0900, by Shohei KOKUBO
merge
Tue, 27 Oct 2015 01:15:29 +0900, by Shohei KOKUBO
merge
Tue, 20 Oct 2015 16:23:23 +0900, by Shohei KOKUBO
llrb deletion(not work).
Tue, 20 Oct 2015 16:22:42 +0900, by Shohei KOKUBO
Edit synchronizedQueueIdeal
Tue, 20 Oct 2015 17:24:59 +0900, by Tatsuki IHA
Add synchronizedQueueIdeal
Wed, 14 Oct 2015 17:00:38 +0900, by Tatsuki IHA
Change synchronizedQueue allocator from __code to Function call
Tue, 15 Sep 2015 15:21:50 +0900, by Tatsuki IHA
to the function call(allocate and compare)
Tue, 14 Jul 2015 15:59:41 +0900, by Shohei KOKUBO
Add allocater to synchronizedQueue
Mon, 13 Jul 2015 23:22:12 +0900, by Tatsuki IHA
Delete while loop for cas
Mon, 13 Jul 2015 23:20:31 +0900, by Tatsuki IHA
Add Cerium on Gears mindmap
Fri, 26 Jun 2015 18:45:02 +0900, by Tatsuki IHA
merge
Tue, 16 Jun 2015 17:13:16 +0900, by Shohei KOKUBO
fix llrb
Tue, 16 Jun 2015 17:13:04 +0900, by Shohei KOKUBO
merge
Tue, 16 Jun 2015 16:00:38 +0900, by Tatsuki IHA
Add stub to synchronizedQueues
Tue, 16 Jun 2015 15:59:48 +0900, by Tatsuki IHA
merge
Tue, 16 Jun 2015 13:40:26 +0900, by Shohei KOKUBO
modify syntax
Tue, 16 Jun 2015 13:40:08 +0900, by Shohei KOKUBO
Add stub to list
Tue, 16 Jun 2015 01:18:39 +0900, by Tatsuki IHA
syntax suggest
Thu, 11 Jun 2015 17:23:50 +0900, by kkb
modify
Thu, 11 Jun 2015 15:08:38 +0900, by Shohei KOKUBO
Add pthread_cond_wait & pthread_cond_signal to synchronizedQueue.c
Tue, 02 Jun 2015 14:17:07 +0900, by Tatsuki IHA
merge
Mon, 25 May 2015 01:53:02 +0900, by Shohei KOKUBO
add graffle
Mon, 25 May 2015 01:52:45 +0900, by Shohei KOKUBO
Merge
Sun, 24 May 2015 23:31:38 +0900, by Tatsuki IHA
Add CAS loop to synchronizedQueueForCas
Fri, 22 May 2015 18:42:25 +0900, by Tatsuki IHA
merge
Tue, 19 May 2015 17:47:22 +0900, by Shohei KOKUBO
implement get
Tue, 19 May 2015 17:46:41 +0900, by Shohei KOKUBO
Add synchronizedQueueForSem Files
Tue, 19 May 2015 16:46:11 +0900, by Tatsuki IHA
refactoring llrb
Tue, 19 May 2015 06:08:38 +0900, by Shohei KOKUBO
merge
Tue, 19 May 2015 05:07:22 +0900, by Shohei KOKUBO
refactoring llrb
Tue, 19 May 2015 05:06:25 +0900, by Shohei KOKUBO
Add synchronizedQueue for cas
Tue, 19 May 2015 05:02:28 +0900, by Tatsuki IHA
Add thread_join to synchronizedQueue
Mon, 18 May 2015 15:24:46 +0900, by Tatsuki IHA
Add synchronizedQueue. it use pthread_mutex_lock, unlock
Sat, 16 May 2015 20:17:58 +0900, by Tatsuki IHA
Add code segment sender & receiver to synchronizedQueue
Sat, 16 May 2015 02:45:31 +0900, by Tatsuki IHA

less more | rev 157: (0) -120 +120 tip

Mercurial > hg > Gears > GearsAgda

graph