cdsspec-compiler.git
6 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/spec-checker-compiler
Peizhao Ou [Wed, 15 Apr 2015 00:38:16 +0000 (17:38 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/spec-checker-compiler

6 years agochanges
Peizhao Ou [Wed, 15 Apr 2015 00:38:06 +0000 (17:38 -0700)]
changes

6 years agochanges
Peizhao Ou [Tue, 14 Apr 2015 01:07:29 +0000 (18:07 -0700)]
changes

6 years agochanges
Peizhao Ou [Tue, 14 Apr 2015 01:07:07 +0000 (18:07 -0700)]
changes

6 years agochanges
Peizhao Ou [Sun, 12 Apr 2015 00:39:29 +0000 (17:39 -0700)]
changes

6 years agochanges
Peizhao Ou [Sat, 11 Apr 2015 01:32:26 +0000 (18:32 -0700)]
changes

6 years agochanges
Peizhao Ou [Sat, 11 Apr 2015 01:32:08 +0000 (18:32 -0700)]
changes

6 years agochanges
Peizhao Ou [Fri, 10 Apr 2015 23:05:57 +0000 (16:05 -0700)]
changes

6 years agochanges
Peizhao Ou [Fri, 10 Apr 2015 18:02:05 +0000 (11:02 -0700)]
changes

6 years agoadd write up
Peizhao Ou [Tue, 7 Apr 2015 19:10:02 +0000 (12:10 -0700)]
add write up

7 years agochanges with lines of spec counted
Peizhao Ou [Thu, 22 Jan 2015 23:22:59 +0000 (15:22 -0800)]
changes with lines of spec counted

7 years agochanges
Peizhao Ou [Mon, 19 Jan 2015 08:03:14 +0000 (00:03 -0800)]
changes

7 years agochanges
Peizhao Ou [Sat, 17 Jan 2015 02:04:32 +0000 (18:04 -0800)]
changes

7 years agochanges
Peizhao Ou [Fri, 16 Jan 2015 22:27:41 +0000 (14:27 -0800)]
changes

7 years agoadd notes to mcs-lock
Peizhao Ou [Fri, 16 Jan 2015 18:51:17 +0000 (10:51 -0800)]
add notes to mcs-lock

7 years agochanges
Peizhao Ou [Fri, 16 Jan 2015 18:18:52 +0000 (10:18 -0800)]
changes

7 years agospec changes to deque
Peizhao Ou [Fri, 16 Jan 2015 18:09:15 +0000 (10:09 -0800)]
spec changes to deque

7 years agochanges to the spec of deque
Peizhao Ou [Fri, 16 Jan 2015 17:42:46 +0000 (09:42 -0800)]
changes to the spec of deque

7 years agochanges
Peizhao Ou [Fri, 16 Jan 2015 03:02:21 +0000 (19:02 -0800)]
changes

7 years agochanges to mpmc spec and add notes to ms-queue
Peizhao Ou [Thu, 15 Jan 2015 22:44:42 +0000 (14:44 -0800)]
changes to mpmc spec and add notes to ms-queue

7 years agochanges
Peizhao Ou [Thu, 15 Jan 2015 21:43:10 +0000 (13:43 -0800)]
changes

7 years agoadditional_ordering_point for ms-queue
Peizhao Ou [Thu, 15 Jan 2015 21:29:39 +0000 (13:29 -0800)]
additional_ordering_point for ms-queue

7 years agochanges
Peizhao Ou [Thu, 15 Jan 2015 02:09:15 +0000 (18:09 -0800)]
changes

7 years agoadd one testcase of ms-queue
Peizhao Ou [Thu, 15 Jan 2015 01:59:45 +0000 (17:59 -0800)]
add one testcase of ms-queue

7 years agochanges
Peizhao Ou [Thu, 15 Jan 2015 01:59:08 +0000 (17:59 -0800)]
changes

7 years agochanges
Peizhao Ou [Thu, 15 Jan 2015 01:53:26 +0000 (17:53 -0800)]
changes

7 years agochanges
Peizhao Ou [Wed, 14 Jan 2015 02:12:00 +0000 (18:12 -0800)]
changes

7 years agochanges
Peizhao Ou [Tue, 13 Jan 2015 21:21:06 +0000 (13:21 -0800)]
changes

7 years agochanges to ms-queue spec
Peizhao Ou [Tue, 13 Jan 2015 21:06:33 +0000 (13:06 -0800)]
changes to ms-queue spec

7 years agochanges
Peizhao Ou [Tue, 13 Jan 2015 01:52:06 +0000 (17:52 -0800)]
changes

7 years agoedits
Peizhao Ou [Thu, 8 Jan 2015 05:45:28 +0000 (21:45 -0800)]
edits

7 years agochanges
Peizhao Ou [Thu, 8 Jan 2015 00:08:53 +0000 (16:08 -0800)]
changes

7 years agosome notes
Peizhao Ou [Tue, 6 Jan 2015 21:56:10 +0000 (13:56 -0800)]
some notes

7 years agoadd trylock
Peizhao Ou [Sat, 30 Aug 2014 00:16:16 +0000 (17:16 -0700)]
add trylock

7 years agochanges to ms-queue
Peizhao Ou [Wed, 27 Aug 2014 23:17:47 +0000 (16:17 -0700)]
changes to ms-queue

7 years agochanges
Peizhao Ou [Tue, 26 Aug 2014 23:53:46 +0000 (16:53 -0700)]
changes

7 years agosave the correct hashtable test driver
Peizhao Ou [Tue, 25 Mar 2014 21:22:26 +0000 (14:22 -0700)]
save the correct hashtable test driver

7 years agobenchmark for performance results
Peizhao Ou [Tue, 25 Mar 2014 21:14:48 +0000 (14:14 -0700)]
benchmark for performance results

7 years agofix cp clear
Peizhao Ou [Tue, 25 Mar 2014 19:10:03 +0000 (12:10 -0700)]
fix cp clear

7 years agoadd Commit point clear construct
Peizhao Ou [Tue, 25 Mar 2014 18:52:46 +0000 (11:52 -0700)]
add Commit point clear construct

7 years agompmc-queue.cc init size fixed
Peizhao Ou [Tue, 25 Mar 2014 16:46:41 +0000 (09:46 -0700)]
mpmc-queue.cc init size fixed

7 years agoreset mpmc spec
Peizhao Ou [Tue, 25 Mar 2014 12:01:49 +0000 (05:01 -0700)]
reset mpmc spec

7 years agosave more
Peizhao Ou [Tue, 25 Mar 2014 00:01:30 +0000 (17:01 -0700)]
save more

7 years agohashtable still buggy
Peizhao Ou [Mon, 24 Mar 2014 21:52:28 +0000 (14:52 -0700)]
hashtable still buggy

7 years agosvae
Peizhao Ou [Mon, 24 Mar 2014 14:59:27 +0000 (07:59 -0700)]
svae

7 years agosave
Peizhao Ou [Mon, 24 Mar 2014 02:07:34 +0000 (19:07 -0700)]
save
;
;

7 years agofix rcu
Peizhao Ou [Sun, 23 Mar 2014 22:17:46 +0000 (15:17 -0700)]
fix rcu

7 years agofix rcu spec
Peizhao Ou [Sun, 23 Mar 2014 21:59:17 +0000 (14:59 -0700)]
fix rcu spec

7 years agosave
Peizhao Ou [Sun, 23 Mar 2014 19:55:29 +0000 (12:55 -0700)]
save

7 years agofix ms-queue spec
Peizhao Ou [Sun, 23 Mar 2014 06:48:54 +0000 (23:48 -0700)]
fix ms-queue spec

7 years agosave
Peizhao Ou [Sun, 23 Mar 2014 00:48:36 +0000 (17:48 -0700)]
save

7 years agomcslock
Peizhao Ou [Sat, 22 Mar 2014 22:33:58 +0000 (15:33 -0700)]
mcslock

7 years agosave
Peizhao Ou [Sat, 22 Mar 2014 01:31:15 +0000 (18:31 -0700)]
save

7 years agoadd Java lockfree hashtable
Peizhao Ou [Fri, 21 Mar 2014 23:49:44 +0000 (16:49 -0700)]
add Java lockfree hashtable

7 years agominor fix
Peizhao Ou [Fri, 21 Mar 2014 23:20:25 +0000 (16:20 -0700)]
minor fix

7 years agofor mcs-lock
Peizhao Ou [Fri, 21 Mar 2014 21:19:44 +0000 (14:19 -0700)]
for mcs-lock

7 years agoinjection result for deque
Peizhao Ou [Fri, 21 Mar 2014 21:16:13 +0000 (14:16 -0700)]
injection result for deque

7 years agoinjection result for ms-queue
Peizhao Ou [Fri, 21 Mar 2014 21:06:33 +0000 (14:06 -0700)]
injection result for ms-queue

7 years agosave
Peizhao Ou [Fri, 21 Mar 2014 15:44:24 +0000 (08:44 -0700)]
save

7 years agosave
Peizhao Ou [Fri, 21 Mar 2014 01:41:20 +0000 (18:41 -0700)]
save

7 years agonew rcu
Peizhao Ou [Thu, 20 Mar 2014 22:07:24 +0000 (15:07 -0700)]
new rcu

7 years agosave
Peizhao Ou [Thu, 20 Mar 2014 16:55:33 +0000 (09:55 -0700)]
save

7 years agosave
Peizhao Ou [Thu, 20 Mar 2014 06:01:13 +0000 (23:01 -0700)]
save

7 years agoneed to fix deque
Peizhao Ou [Thu, 20 Mar 2014 00:40:59 +0000 (17:40 -0700)]
need to fix deque

7 years agosave
Peizhao Ou [Wed, 19 Mar 2014 15:40:56 +0000 (08:40 -0700)]
save

7 years agosave
Peizhao Ou [Wed, 19 Mar 2014 03:51:08 +0000 (20:51 -0700)]
save

7 years agominor fix
Peizhao Ou [Tue, 18 Mar 2014 06:02:30 +0000 (23:02 -0700)]
minor fix

7 years agomore
Peizhao Ou [Tue, 18 Mar 2014 00:26:15 +0000 (17:26 -0700)]
more

7 years agomore fix
Peizhao Ou [Tue, 18 Mar 2014 00:25:52 +0000 (17:25 -0700)]
more fix

7 years agomore fix
Peizhao Ou [Mon, 17 Mar 2014 21:19:45 +0000 (14:19 -0700)]
more fix

7 years agomake code look better
Peizhao Ou [Mon, 17 Mar 2014 19:55:29 +0000 (12:55 -0700)]
make code look better

7 years agomore fix
Peizhao Ou [Sat, 15 Mar 2014 00:26:25 +0000 (17:26 -0700)]
more fix

7 years agoclean up
Peizhao Ou [Sat, 15 Mar 2014 00:06:42 +0000 (17:06 -0700)]
clean up

7 years agotemporal
Peizhao Ou [Fri, 14 Mar 2014 23:46:21 +0000 (16:46 -0700)]
temporal

7 years agominor fix
Peizhao Ou [Tue, 4 Mar 2014 19:59:32 +0000 (11:59 -0800)]
minor fix

7 years agominor modifications
Peizhao Ou [Sat, 8 Feb 2014 01:34:03 +0000 (17:34 -0800)]
minor modifications

7 years agominor fix to hashtable spec
Peizhao Ou [Wed, 5 Feb 2014 00:47:23 +0000 (16:47 -0800)]
minor fix to hashtable spec

7 years agofixed mpmc spec
Peizhao Ou [Fri, 31 Jan 2014 01:40:19 +0000 (17:40 -0800)]
fixed mpmc spec

7 years agosave
Peizhao Ou [Fri, 24 Jan 2014 01:07:00 +0000 (17:07 -0800)]
save

8 years agomore fix
Peizhao Ou [Wed, 22 Jan 2014 01:21:01 +0000 (17:21 -0800)]
more fix

8 years agomore
Peizhao Ou [Fri, 17 Jan 2014 22:16:40 +0000 (14:16 -0800)]
more

8 years agominor fix
Peizhao Ou [Fri, 17 Jan 2014 19:53:35 +0000 (11:53 -0800)]
minor fix

8 years agosimplified hashtable
Peizhao Ou [Fri, 17 Jan 2014 19:04:17 +0000 (11:04 -0800)]
simplified hashtable

8 years agoadd mpmc
Peizhao Ou [Fri, 17 Jan 2014 01:36:36 +0000 (17:36 -0800)]
add mpmc

8 years agoadd spsc
Peizhao Ou [Thu, 16 Jan 2014 07:49:15 +0000 (23:49 -0800)]
add spsc

8 years agominor fix
Peizhao Ou [Thu, 16 Jan 2014 01:47:54 +0000 (17:47 -0800)]
minor fix

8 years agoadd deque
Peizhao Ou [Thu, 16 Jan 2014 00:25:28 +0000 (16:25 -0800)]
add deque

8 years agofixed rcu
Peizhao Ou [Wed, 15 Jan 2014 19:18:38 +0000 (11:18 -0800)]
fixed rcu

8 years agominor fix
Peizhao Ou [Wed, 15 Jan 2014 07:42:12 +0000 (23:42 -0800)]
minor fix

8 years agofix header in the middle of code bug
Peizhao Ou [Wed, 15 Jan 2014 01:19:14 +0000 (17:19 -0800)]
fix header in the middle of code bug

8 years agominor fix
Peizhao Ou [Tue, 14 Jan 2014 05:47:39 +0000 (21:47 -0800)]
minor fix

8 years agomore data structures
Peizhao Ou [Sat, 11 Jan 2014 01:29:30 +0000 (17:29 -0800)]
more data structures

8 years agofixing
Peizhao Ou [Fri, 13 Dec 2013 23:38:29 +0000 (15:38 -0800)]
fixing

8 years agosave
Peizhao Ou [Mon, 9 Dec 2013 06:27:26 +0000 (22:27 -0800)]
save

8 years agobug fixing
Peizhao Ou [Sat, 7 Dec 2013 05:35:12 +0000 (21:35 -0800)]
bug fixing

8 years agofixed some bugs
Peizhao Ou [Fri, 6 Dec 2013 05:39:35 +0000 (21:39 -0800)]
fixed some bugs

8 years agomore
Peizhao Ou [Thu, 5 Dec 2013 05:53:03 +0000 (21:53 -0800)]
more

8 years agotweak
Peizhao Ou [Wed, 4 Dec 2013 03:28:36 +0000 (19:28 -0800)]
tweak

8 years agominor fix
Peizhao Ou [Fri, 22 Nov 2013 03:49:03 +0000 (19:49 -0800)]
minor fix

8 years agofixed minor bugs
Peizhao Ou [Thu, 21 Nov 2013 02:25:42 +0000 (18:25 -0800)]
fixed minor bugs