cdsspec-compiler.git
10 years agosave
Peizhao Ou [Thu, 20 Mar 2014 06:01:13 +0000 (23:01 -0700)]
save

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10 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

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

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

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

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

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

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

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

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

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

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

10 years agofix bugs
Peizhao Ou [Thu, 14 Nov 2013 02:34:38 +0000 (18:34 -0800)]
fix bugs

10 years agomore notes
Peizhao Ou [Fri, 8 Nov 2013 06:53:55 +0000 (22:53 -0800)]
more notes

10 years agoadd more notes
Peizhao Ou [Fri, 8 Nov 2013 04:25:59 +0000 (20:25 -0800)]
add more notes

10 years agosmall change
Peizhao Ou [Thu, 7 Nov 2013 02:21:24 +0000 (18:21 -0800)]
small change

10 years agosave it
Peizhao Ou [Wed, 6 Nov 2013 03:12:28 +0000 (19:12 -0800)]
save it

10 years agomore bug fix
Peizhao Ou [Sat, 2 Nov 2013 00:36:58 +0000 (17:36 -0700)]
more bug fix

10 years agofixed bugs
Peizhao Ou [Fri, 1 Nov 2013 01:01:28 +0000 (18:01 -0700)]
fixed bugs

10 years agoadd lots of stuff
Peizhao Ou [Thu, 31 Oct 2013 02:05:38 +0000 (19:05 -0700)]
add lots of stuff

10 years agoadd more
Peizhao Ou [Tue, 29 Oct 2013 03:52:05 +0000 (20:52 -0700)]
add more

10 years agosave
Peizhao Ou [Sat, 26 Oct 2013 01:26:52 +0000 (18:26 -0700)]
save

10 years agolots of changes
Peizhao Ou [Fri, 25 Oct 2013 23:17:02 +0000 (16:17 -0700)]
lots of changes

10 years agomore
Peizhao Ou [Fri, 25 Oct 2013 01:08:12 +0000 (18:08 -0700)]
more

10 years agosmall change
Peizhao Ou [Fri, 25 Oct 2013 01:07:26 +0000 (18:07 -0700)]
small change

10 years agonew strategy
Peizhao Ou [Thu, 24 Oct 2013 00:23:07 +0000 (17:23 -0700)]
new strategy

10 years agolots of changes
Peizhao Ou [Wed, 23 Oct 2013 11:09:23 +0000 (04:09 -0700)]
lots of changes

10 years agotempory files
Peizhao Ou [Wed, 23 Oct 2013 05:30:33 +0000 (22:30 -0700)]
tempory files

10 years agotweak
Peizhao Ou [Tue, 22 Oct 2013 16:01:23 +0000 (09:01 -0700)]
tweak

10 years agotweak
Peizhao Ou [Tue, 22 Oct 2013 06:53:30 +0000 (23:53 -0700)]
tweak

10 years agobenchmark/cliffc-hashtable/simplified_cliffc_hashtable.h
Peizhao Ou [Tue, 22 Oct 2013 06:52:36 +0000 (23:52 -0700)]
benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h

10 years agoadd some notes
Peizhao Ou [Tue, 22 Oct 2013 05:57:27 +0000 (22:57 -0700)]
add some notes

10 years agogenerate more structured code
Peizhao Ou [Tue, 22 Oct 2013 01:33:01 +0000 (18:33 -0700)]
generate more structured code

10 years agomore changes
Peizhao Ou [Sun, 20 Oct 2013 16:17:26 +0000 (09:17 -0700)]
more changes

10 years agoalmost complte code example
Peizhao Ou [Sat, 19 Oct 2013 22:12:43 +0000 (15:12 -0700)]
almost complte code example

10 years agoadd detailed generated code examples
Peizhao Ou [Sat, 19 Oct 2013 11:16:14 +0000 (04:16 -0700)]
add detailed generated code examples

10 years agomore changes
Peizhao Ou [Sat, 19 Oct 2013 00:39:36 +0000 (17:39 -0700)]
more changes

10 years agolots of change and add notes
Peizhao Ou [Fri, 18 Oct 2013 01:14:58 +0000 (18:14 -0700)]
lots of change and add notes

10 years agogenerating code
Peizhao Ou [Thu, 17 Oct 2013 02:18:25 +0000 (19:18 -0700)]
generating code

10 years agotry to generate in-place code
Peizhao Ou [Wed, 16 Oct 2013 19:47:41 +0000 (12:47 -0700)]
try to generate in-place code

10 years agotweak
Peizhao Ou [Wed, 16 Oct 2013 06:12:08 +0000 (23:12 -0700)]
tweak

10 years agoadd more on code generation
Peizhao Ou [Tue, 15 Oct 2013 23:44:25 +0000 (16:44 -0700)]
add more on code generation

10 years agoready to generate code
Peizhao Ou [Tue, 15 Oct 2013 03:00:28 +0000 (20:00 -0700)]
ready to generate code

10 years agoparser checked
Peizhao Ou [Tue, 15 Oct 2013 02:01:08 +0000 (19:01 -0700)]
parser checked

10 years agoadd more parsing
Peizhao Ou [Mon, 14 Oct 2013 23:19:07 +0000 (16:19 -0700)]
add more parsing

10 years agoparsing passed
Peizhao Ou [Fri, 11 Oct 2013 23:18:03 +0000 (16:18 -0700)]
parsing passed

10 years agoadd more, GlobalConstruct parsed
Peizhao Ou [Fri, 11 Oct 2013 07:44:27 +0000 (00:44 -0700)]
add more, GlobalConstruct parsed

10 years agoparsing basically works
Peizhao Ou [Fri, 11 Oct 2013 01:06:45 +0000 (18:06 -0700)]
parsing basically works

10 years agoadd more to spec-compiler.jj
Peizhao Ou [Thu, 10 Oct 2013 23:23:32 +0000 (16:23 -0700)]
add more to spec-compiler.jj

10 years agoadd more & need C/C++ code recognition
Peizhao Ou [Thu, 10 Oct 2013 18:29:26 +0000 (11:29 -0700)]
add more & need C/C++ code recognition

10 years agoSpecExtractor.java seems to work
Peizhao Ou [Thu, 10 Oct 2013 08:01:20 +0000 (01:01 -0700)]
SpecExtractor.java seems to work

10 years agoneed to fixed SpecExtractor.java
Peizhao Ou [Thu, 10 Oct 2013 07:47:58 +0000 (00:47 -0700)]
need to fixed SpecExtractor.java

10 years agoextracting spec & compiling
Peizhao Ou [Thu, 10 Oct 2013 01:37:46 +0000 (18:37 -0700)]
extracting spec & compiling

10 years agoclean the auto-generated files
Peizhao Ou [Wed, 9 Oct 2013 18:02:41 +0000 (11:02 -0700)]
clean the auto-generated files

10 years agoadd more more spec-compiler.jj
Peizhao Ou [Wed, 9 Oct 2013 07:20:38 +0000 (00:20 -0700)]
add more more spec-compiler.jj

10 years agoadd setup-env.sh
Peizhao Ou [Wed, 9 Oct 2013 04:01:53 +0000 (21:01 -0700)]
add setup-env.sh

10 years agoadd more stuff to spec-compiler.jj
Peizhao Ou [Wed, 9 Oct 2013 03:25:14 +0000 (20:25 -0700)]
add more stuff to spec-compiler.jj

10 years agoclean
Peizhao Ou [Wed, 9 Oct 2013 01:29:54 +0000 (18:29 -0700)]
clean

10 years agousing javacc to compile
Peizhao Ou [Tue, 8 Oct 2013 23:56:59 +0000 (16:56 -0700)]
using javacc to compile

10 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/spec-checker-compiler
Peizhao Ou [Tue, 8 Oct 2013 17:12:55 +0000 (10:12 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/spec-checker-compiler

10 years agoMerge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-priv
Peizhao Ou [Tue, 8 Oct 2013 17:11:19 +0000 (10:11 -0700)]
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-priv

10 years agonew repo structure
Peizhao Ou [Tue, 8 Oct 2013 07:57:40 +0000 (00:57 -0700)]
new repo structure

10 years agosrc structure
Peizhao Ou [Tue, 8 Oct 2013 07:45:09 +0000 (00:45 -0700)]
src structure

10 years agomodification
Peizhao Ou [Tue, 8 Oct 2013 07:39:38 +0000 (00:39 -0700)]
modification

10 years agoinitializing the repo
Peizhao Ou [Tue, 8 Oct 2013 04:51:32 +0000 (21:51 -0700)]
initializing the repo

10 years agoAdd support for annotations
Brian Demsky [Thu, 26 Sep 2013 17:53:49 +0000 (02:53 +0900)]
Add support for annotations

10 years agoMerge remote-tracking branch 'origin/master'
Brian Norris [Wed, 4 Sep 2013 02:19:25 +0000 (19:19 -0700)]
Merge remote-tracking branch 'origin/master'

10 years agorun.sh: support running from a different directory
Brian Norris [Wed, 4 Sep 2013 02:03:44 +0000 (19:03 -0700)]
run.sh: support running from a different directory

10 years agoREADME.md: use HTML URL, not PHP
Brian Norris [Thu, 15 Aug 2013 19:04:59 +0000 (12:04 -0700)]
README.md: use HTML URL, not PHP

10 years agoREADME.md: move copyright down
Brian Norris [Wed, 14 Aug 2013 17:02:36 +0000 (10:02 -0700)]
README.md: move copyright down

10 years agoREADME.md: add detail for benchmarks
Brian Norris [Wed, 14 Aug 2013 17:01:08 +0000 (10:01 -0700)]
README.md: add detail for benchmarks

10 years agoREADME.md: improve wording
Brian Norris [Wed, 14 Aug 2013 16:59:03 +0000 (09:59 -0700)]
README.md: improve wording

10 years agoREADME.md: add more fairness notes
Brian Norris [Wed, 14 Aug 2013 06:29:20 +0000 (23:29 -0700)]
README.md: add more fairness notes

10 years agoMakefile: add README.pdf target
Brian Norris [Wed, 14 Aug 2013 06:24:13 +0000 (23:24 -0700)]
Makefile: add README.pdf target

Using pandoc:

  http://johnmacfarlane.net/pandoc/