cdsspec-compiler.git
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

8 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

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

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

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

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

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

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

8 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

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

8 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

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

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

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

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

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

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

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

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

8 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

8 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

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

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

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

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

8 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

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

8 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

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

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

8 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

8 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

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

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

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

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

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

8 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'

8 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

8 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

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

8 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

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

8 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

8 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/

8 years agoREADME.md: remove <pre></pre> tags
Brian Norris [Wed, 14 Aug 2013 05:38:39 +0000 (22:38 -0700)]
README.md: remove <pre></pre> tags

It's better to just use pure Markdown.

8 years agothreads: kill clang warnings about struct/class Thread
Brian Norris [Wed, 14 Aug 2013 05:16:20 +0000 (22:16 -0700)]
threads: kill clang warnings about struct/class Thread

We just need an opaque pointer for C, so we can retain the type safety
for C++ by conditionally compiling a '__thread_identifier' type as
'class Thread' for C++.

The warning:

  clang++ -MMD -MF .threads.o.d -fPIC -c threads.cc -Wall -g -O3 -Iinclude -I.
  In file included from schedule.cc:4:
  ./threads-model.h:41:1: warning: 'Thread' defined as a class here but previously declared as a struct [-Wmismatched-tags]
  class Thread {
  ^
  include/threads.h:9:1: note: did you mean class here?
  struct Thread; /* actually, class; but this is safe */
  ^~~~~~
  class

8 years agomalloc: modify compiler warning workarounds
Brian Norris [Wed, 14 Aug 2013 05:05:23 +0000 (22:05 -0700)]
malloc: modify compiler warning workarounds

clang will complain when (in a function like this) we try to silence
"unused" warnings with a self-assignment. It's equivalently useless to
just cast to (void), and I think it will still silence the warning it
was originally trying to silence.

8 years agoimpatomic: silence more clang warnings
Brian Norris [Wed, 14 Aug 2013 04:51:56 +0000 (21:51 -0700)]
impatomic: silence more clang warnings

These 'return' values produce unused value warnings when the value
returned by _ATOMIC_STORE_, _ATOMIC_INIT_, and _ATOMIC_MODIFY_ aren't
used. Silence these warnings (but leave the ones for _ATOMIC_LOAD_)
because we expect that the result of RMW's or stores may rightly be
discarded in many cases.

8 years agotest: silence some unused-value warnings
Brian Norris [Wed, 14 Aug 2013 04:49:55 +0000 (21:49 -0700)]
test: silence some unused-value warnings

clang gives some warnings for unused values, like the following:

  clang -MMD -MF ./.rmw2prog.o.d -o rmw2prog.o rmw2prog.c -Wall -g -O3 -I.. -I../include -L.. -lmodel
  nestedpromise.c:14:2: warning: expression result unused [-Wunused-value]
          atomic_load_explicit(&z, memory_order_relaxed); // this is only for schedule control
          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  ../include/impatomic.h:2901:46: note: expanded from:
  #define atomic_load_explicit( __a__, __x__ ) \
                                               ^
  ../include/impatomic.h:85:17: note: expanded from:
                  __r__; })
                  ^~~~~
  1 warning generated.

8 years agoREADME.md: have to include our headers
Brian Norris [Wed, 14 Aug 2013 04:16:34 +0000 (21:16 -0700)]
README.md: have to include our headers

8 years agoREADME.md: reverse store/load
Brian Norris [Wed, 14 Aug 2013 04:13:14 +0000 (21:13 -0700)]
README.md: reverse store/load

8 years agoREADME.md: add supported API section
Brian Norris [Wed, 14 Aug 2013 04:09:30 +0000 (21:09 -0700)]
README.md: add supported API section

8 years agoREADME.md: add End of Execution Summary section
Brian Norris [Wed, 14 Aug 2013 01:00:56 +0000 (18:00 -0700)]
README.md: add End of Execution Summary section

8 years agoREADME.md: reporting multiple data races for the same access?
Brian Norris [Wed, 14 Aug 2013 00:33:22 +0000 (17:33 -0700)]
README.md: reporting multiple data races for the same access?

8 years agomodel: only print 'Total nodes' for verbose printing
Brian Norris [Wed, 14 Aug 2013 00:32:43 +0000 (17:32 -0700)]
model: only print 'Total nodes' for verbose printing

Average users don't need to see this.

8 years agoREADME.md: reformat
Brian Norris [Wed, 14 Aug 2013 00:13:55 +0000 (17:13 -0700)]
README.md: reformat

8 years agoREADME.md: add linux locks example
Brian Norris [Wed, 14 Aug 2013 00:12:06 +0000 (17:12 -0700)]
README.md: add linux locks example

8 years agoREADME.md: update title
Brian Norris [Wed, 14 Aug 2013 00:08:34 +0000 (17:08 -0700)]
README.md: update title

8 years agoREADME.md: point non-git users to gitweb
Brian Norris [Wed, 14 Aug 2013 00:04:24 +0000 (17:04 -0700)]
README.md: point non-git users to gitweb

8 years agoREADME.md: push URLs down to See Also section
Brian Norris [Tue, 13 Aug 2013 23:50:17 +0000 (16:50 -0700)]
README.md: push URLs down to See Also section

8 years agoREADME.md: add extra blank lines
Brian Norris [Tue, 13 Aug 2013 23:50:03 +0000 (16:50 -0700)]
README.md: add extra blank lines