descriptionC++11 memory model checker benchmarks
ownerBrian Norris
last changeWed, 4 Sep 2013 02:25:20 +0000 (19:25 -0700)
shortlog
2013-09-04 Brian Norrisrun.sh: sync up with model-checker improvements master
2013-08-14 Brian Norrisremove unused benchmarks
2013-08-13 Brian Norrisrun.sh: set Mac OSX DYLD_LIBRARY_PATH
2013-06-01 Brian Norrisbench.sh: only print git information when we're in git oopsla2013 oopsla2013-final
2013-05-28 Brian NorrisMakefiles: use appropriate preprocessor vs. compiler...
2013-05-28 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2013-05-28 Brian Norrischase-lev-dequeue: fix compiler warning
2013-05-08 Brian NorrisMakefile: compile the chase-leve deque bugfix
2013-05-08 Brian Demskybugfix for chase lev
2013-03-20 Brian Norrisbench.sh: don't automatically log to file
2013-03-18 Brian Norrisbench.sh: rearrange order again
2013-03-18 Brian Norrisbench.sh: run dekker-fences
2013-03-15 Brian Norrisbench.sh: fixup Brian D.'s script change
2013-03-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2013-03-15 Brian Demskymy changes to benchmark shell
2013-03-15 Brian Norrisbench.sh: rewrite benchmark list to match paper
...
tags
10 months ago oopsla2013 Release point for OOPSLA 2013 Artif...
10 months ago oopsla2013-final
17 months ago pldi2013
heads
7 months ago master