Peizhao Ou [Wed, 19 Mar 2014 03:51:08 +0000 (20:51 -0700)]
save
Peizhao Ou [Tue, 18 Mar 2014 06:02:30 +0000 (23:02 -0700)]
minor fix
Peizhao Ou [Tue, 18 Mar 2014 00:26:15 +0000 (17:26 -0700)]
more
Peizhao Ou [Tue, 18 Mar 2014 00:25:52 +0000 (17:25 -0700)]
more fix
Peizhao Ou [Mon, 17 Mar 2014 21:19:45 +0000 (14:19 -0700)]
more fix
Peizhao Ou [Mon, 17 Mar 2014 19:55:29 +0000 (12:55 -0700)]
make code look better
Peizhao Ou [Sat, 15 Mar 2014 00:26:25 +0000 (17:26 -0700)]
more fix
Peizhao Ou [Sat, 15 Mar 2014 00:06:42 +0000 (17:06 -0700)]
clean up
Peizhao Ou [Fri, 14 Mar 2014 23:46:21 +0000 (16:46 -0700)]
temporal
Peizhao Ou [Tue, 4 Mar 2014 19:59:32 +0000 (11:59 -0800)]
minor fix
Peizhao Ou [Sat, 8 Feb 2014 01:34:03 +0000 (17:34 -0800)]
minor modifications
Peizhao Ou [Wed, 5 Feb 2014 00:47:23 +0000 (16:47 -0800)]
minor fix to hashtable spec
Peizhao Ou [Fri, 31 Jan 2014 01:40:19 +0000 (17:40 -0800)]
fixed mpmc spec
Peizhao Ou [Fri, 24 Jan 2014 01:07:00 +0000 (17:07 -0800)]
save
Peizhao Ou [Wed, 22 Jan 2014 01:21:01 +0000 (17:21 -0800)]
more fix
Peizhao Ou [Fri, 17 Jan 2014 22:16:40 +0000 (14:16 -0800)]
more
Peizhao Ou [Fri, 17 Jan 2014 19:53:35 +0000 (11:53 -0800)]
minor fix
Peizhao Ou [Fri, 17 Jan 2014 19:04:17 +0000 (11:04 -0800)]
simplified hashtable
Peizhao Ou [Fri, 17 Jan 2014 01:36:36 +0000 (17:36 -0800)]
add mpmc
Peizhao Ou [Thu, 16 Jan 2014 07:49:15 +0000 (23:49 -0800)]
add spsc
Peizhao Ou [Thu, 16 Jan 2014 01:47:54 +0000 (17:47 -0800)]
minor fix
Peizhao Ou [Thu, 16 Jan 2014 00:25:28 +0000 (16:25 -0800)]
add deque
Peizhao Ou [Wed, 15 Jan 2014 19:18:38 +0000 (11:18 -0800)]
fixed rcu
Peizhao Ou [Wed, 15 Jan 2014 07:42:12 +0000 (23:42 -0800)]
minor fix
Peizhao Ou [Wed, 15 Jan 2014 01:19:14 +0000 (17:19 -0800)]
fix header in the middle of code bug
Peizhao Ou [Tue, 14 Jan 2014 05:47:39 +0000 (21:47 -0800)]
minor fix
Peizhao Ou [Sat, 11 Jan 2014 01:29:30 +0000 (17:29 -0800)]
more data structures
Peizhao Ou [Fri, 13 Dec 2013 23:38:29 +0000 (15:38 -0800)]
fixing
Peizhao Ou [Mon, 9 Dec 2013 06:27:26 +0000 (22:27 -0800)]
save
Peizhao Ou [Sat, 7 Dec 2013 05:35:12 +0000 (21:35 -0800)]
bug fixing
Peizhao Ou [Fri, 6 Dec 2013 05:39:35 +0000 (21:39 -0800)]
fixed some bugs
Peizhao Ou [Thu, 5 Dec 2013 05:53:03 +0000 (21:53 -0800)]
more
Peizhao Ou [Wed, 4 Dec 2013 03:28:36 +0000 (19:28 -0800)]
tweak
Peizhao Ou [Fri, 22 Nov 2013 03:49:03 +0000 (19:49 -0800)]
minor fix
Peizhao Ou [Thu, 21 Nov 2013 02:25:42 +0000 (18:25 -0800)]
fixed minor bugs
Peizhao Ou [Thu, 14 Nov 2013 02:34:38 +0000 (18:34 -0800)]
fix bugs
Peizhao Ou [Fri, 8 Nov 2013 06:53:55 +0000 (22:53 -0800)]
more notes
Peizhao Ou [Fri, 8 Nov 2013 04:25:59 +0000 (20:25 -0800)]
add more notes
Peizhao Ou [Thu, 7 Nov 2013 02:21:24 +0000 (18:21 -0800)]
small change
Peizhao Ou [Wed, 6 Nov 2013 03:12:28 +0000 (19:12 -0800)]
save it
Peizhao Ou [Sat, 2 Nov 2013 00:36:58 +0000 (17:36 -0700)]
more bug fix
Peizhao Ou [Fri, 1 Nov 2013 01:01:28 +0000 (18:01 -0700)]
fixed bugs
Peizhao Ou [Thu, 31 Oct 2013 02:05:38 +0000 (19:05 -0700)]
add lots of stuff
Peizhao Ou [Tue, 29 Oct 2013 03:52:05 +0000 (20:52 -0700)]
add more
Peizhao Ou [Sat, 26 Oct 2013 01:26:52 +0000 (18:26 -0700)]
save
Peizhao Ou [Fri, 25 Oct 2013 23:17:02 +0000 (16:17 -0700)]
lots of changes
Peizhao Ou [Fri, 25 Oct 2013 01:08:12 +0000 (18:08 -0700)]
more
Peizhao Ou [Fri, 25 Oct 2013 01:07:26 +0000 (18:07 -0700)]
small change
Peizhao Ou [Thu, 24 Oct 2013 00:23:07 +0000 (17:23 -0700)]
new strategy
Peizhao Ou [Wed, 23 Oct 2013 11:09:23 +0000 (04:09 -0700)]
lots of changes
Peizhao Ou [Wed, 23 Oct 2013 05:30:33 +0000 (22:30 -0700)]
tempory files
Peizhao Ou [Tue, 22 Oct 2013 16:01:23 +0000 (09:01 -0700)]
tweak
Peizhao Ou [Tue, 22 Oct 2013 06:53:30 +0000 (23:53 -0700)]
tweak
Peizhao Ou [Tue, 22 Oct 2013 06:52:36 +0000 (23:52 -0700)]
benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h
Peizhao Ou [Tue, 22 Oct 2013 05:57:27 +0000 (22:57 -0700)]
add some notes
Peizhao Ou [Tue, 22 Oct 2013 01:33:01 +0000 (18:33 -0700)]
generate more structured code
Peizhao Ou [Sun, 20 Oct 2013 16:17:26 +0000 (09:17 -0700)]
more changes
Peizhao Ou [Sat, 19 Oct 2013 22:12:43 +0000 (15:12 -0700)]
almost complte code example
Peizhao Ou [Sat, 19 Oct 2013 11:16:14 +0000 (04:16 -0700)]
add detailed generated code examples
Peizhao Ou [Sat, 19 Oct 2013 00:39:36 +0000 (17:39 -0700)]
more changes
Peizhao Ou [Fri, 18 Oct 2013 01:14:58 +0000 (18:14 -0700)]
lots of change and add notes
Peizhao Ou [Thu, 17 Oct 2013 02:18:25 +0000 (19:18 -0700)]
generating code
Peizhao Ou [Wed, 16 Oct 2013 19:47:41 +0000 (12:47 -0700)]
try to generate in-place code
Peizhao Ou [Wed, 16 Oct 2013 06:12:08 +0000 (23:12 -0700)]
tweak
Peizhao Ou [Tue, 15 Oct 2013 23:44:25 +0000 (16:44 -0700)]
add more on code generation
Peizhao Ou [Tue, 15 Oct 2013 03:00:28 +0000 (20:00 -0700)]
ready to generate code
Peizhao Ou [Tue, 15 Oct 2013 02:01:08 +0000 (19:01 -0700)]
parser checked
Peizhao Ou [Mon, 14 Oct 2013 23:19:07 +0000 (16:19 -0700)]
add more parsing
Peizhao Ou [Fri, 11 Oct 2013 23:18:03 +0000 (16:18 -0700)]
parsing passed
Peizhao Ou [Fri, 11 Oct 2013 07:44:27 +0000 (00:44 -0700)]
add more, GlobalConstruct parsed
Peizhao Ou [Fri, 11 Oct 2013 01:06:45 +0000 (18:06 -0700)]
parsing basically works
Peizhao Ou [Thu, 10 Oct 2013 23:23:32 +0000 (16:23 -0700)]
add more to spec-compiler.jj
Peizhao Ou [Thu, 10 Oct 2013 18:29:26 +0000 (11:29 -0700)]
add more & need C/C++ code recognition
Peizhao Ou [Thu, 10 Oct 2013 08:01:20 +0000 (01:01 -0700)]
SpecExtractor.java seems to work
Peizhao Ou [Thu, 10 Oct 2013 07:47:58 +0000 (00:47 -0700)]
need to fixed SpecExtractor.java
Peizhao Ou [Thu, 10 Oct 2013 01:37:46 +0000 (18:37 -0700)]
extracting spec & compiling
Peizhao Ou [Wed, 9 Oct 2013 18:02:41 +0000 (11:02 -0700)]
clean the auto-generated files
Peizhao Ou [Wed, 9 Oct 2013 07:20:38 +0000 (00:20 -0700)]
add more more spec-compiler.jj
Peizhao Ou [Wed, 9 Oct 2013 04:01:53 +0000 (21:01 -0700)]
add setup-env.sh
Peizhao Ou [Wed, 9 Oct 2013 03:25:14 +0000 (20:25 -0700)]
add more stuff to spec-compiler.jj
Peizhao Ou [Wed, 9 Oct 2013 01:29:54 +0000 (18:29 -0700)]
clean
Peizhao Ou [Tue, 8 Oct 2013 23:56:59 +0000 (16:56 -0700)]
using javacc to compile
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
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
Peizhao Ou [Tue, 8 Oct 2013 07:57:40 +0000 (00:57 -0700)]
new repo structure
Peizhao Ou [Tue, 8 Oct 2013 07:45:09 +0000 (00:45 -0700)]
src structure
Peizhao Ou [Tue, 8 Oct 2013 07:39:38 +0000 (00:39 -0700)]
modification
Peizhao Ou [Tue, 8 Oct 2013 04:51:32 +0000 (21:51 -0700)]
initializing the repo
Brian Demsky [Thu, 26 Sep 2013 17:53:49 +0000 (02:53 +0900)]
Add support for annotations
Brian Norris [Wed, 4 Sep 2013 02:19:25 +0000 (19:19 -0700)]
Merge remote-tracking branch 'origin/master'
Brian Norris [Wed, 4 Sep 2013 02:03:44 +0000 (19:03 -0700)]
run.sh: support running from a different directory
Brian Norris [Thu, 15 Aug 2013 19:04:59 +0000 (12:04 -0700)]
README.md: use HTML URL, not PHP
Brian Norris [Wed, 14 Aug 2013 17:02:36 +0000 (10:02 -0700)]
README.md: move copyright down
Brian Norris [Wed, 14 Aug 2013 17:01:08 +0000 (10:01 -0700)]
README.md: add detail for benchmarks
Brian Norris [Wed, 14 Aug 2013 16:59:03 +0000 (09:59 -0700)]
README.md: improve wording
Brian Norris [Wed, 14 Aug 2013 06:29:20 +0000 (23:29 -0700)]
README.md: add more fairness notes
Brian Norris [Wed, 14 Aug 2013 06:24:13 +0000 (23:24 -0700)]
Makefile: add README.pdf target
Using pandoc:
http://johnmacfarlane.net/pandoc/
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.
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
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.
projects / cdsspec-compiler.git / log