projects / model-checker-benchmarks.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker-benchmarks.git
2015-03-22 Peizhao Ouresults for mpmc commit | commitdiff | tree | snapshot
2015-03-22 Peizhao Oums-queue result commit | commitdiff | tree | snapshot
2015-03-22 Peizhao Ouresults for mcs-lock commit | commitdiff | tree | snapshot
2015-03-22 Peizhao Ouresult for spsc-queue commit | commitdiff | tree | snapshot
2015-03-22 Peizhao Ouresult for hashmap commit | commitdiff | tree | snapshot
2015-03-22 Peizhao Ouresults for dekker-fences commit | commitdiff | tree | snapshot
2015-03-21 Peizhao Oudeque results commit | commitdiff | tree | snapshot
2015-03-20 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-20 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-20 Peizhao Ouadd spsc for inference commit | commitdiff | tree | snapshot
2015-03-20 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-20 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-18 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-18 Peizhao Ouedits commit | commitdiff | tree | snapshot
2015-03-18 Peizhao Ouadd testcases commit | commitdiff | tree | snapshot
2015-03-18 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-17 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-17 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-17 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-17 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-03-04 Peizhao Ouchanges to the example commit | commitdiff | tree | snapshot
2015-03-04 Peizhao Ouspsc example commit | commitdiff | tree | snapshot
2015-02-28 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-27 Peizhao Ouadd notes commit | commitdiff | tree | snapshot
2015-02-27 Peizhao Ouadd another testcase for dekker-fences commit | commitdiff | tree | snapshot
2015-02-17 Peizhao Ouchanges to hashmap commit | commitdiff | tree | snapshot
2015-02-14 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Oums-queue note commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Ouchanges to mcs-lock note commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Ouadd notes to mcs-lock commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Ouchanges to linuxrwlock; commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Ouchanges to treiber commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Ouadd seqlock commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Ouchanges to seqlock commit | commitdiff | tree | snapshot
2015-02-13 Peizhao Oubarrier with weaker inferences & notes in comment commit | commitdiff | tree | snapshot
2015-02-12 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-12 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-12 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-12 Peizhao Ouchanges to mpmp commit | commitdiff | tree | snapshot
2015-02-12 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-12 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-12 Peizhao Ouchanges to treiber-stack makefile commit | commitdiff | tree | snapshot
2015-02-12 Peizhao Oufixed hashmap, add better makefile commit | commitdiff | tree | snapshot
2015-02-11 Peizhao Ouedits commit | commitdiff | tree | snapshot
2015-02-09 Peizhao Ouchanges commit | commitdiff | tree | snapshot
2015-02-07 Peizhao Ouchanged commit | commitdiff | tree | snapshot
2015-02-06 Peizhao Oufixed hashmap commit | commitdiff | tree | snapshot
2015-02-06 Peizhao Ouadd notes commit | commitdiff | tree | snapshot
2015-02-06 Peizhao Oufixed wrong pointer usage commit | commitdiff | tree | snapshot
2015-02-06 Peizhao Ouadd hashmap commit | commitdiff | tree | snapshot
2015-02-04 Peizhao Ouadd the java ConcurrentHashMap commit | commitdiff | tree | snapshot
2014-10-31 Patrick LamDescription of benchmarks commit | commitdiff | tree | snapshot
2014-09-10 bdemskymake warnings go away commit | commitdiff | tree | snapshot
2014-09-10 Peizhao Ouclean up commit | commitdiff | tree | snapshot
2014-09-03 Peizhao Ouadd treiber stack commit | commitdiff | tree | snapshot
2014-09-03 Peizhao Ousave fixed ms-queue commit | commitdiff | tree | snapshot
2014-08-08 Peizhao Ouadd cliff click hashtable commit | commitdiff | tree | snapshot
2014-08-07 Peizhao Ouadd result file commit | commitdiff | tree | snapshot
2014-08-07 Peizhao Ouadd seqlock commit | commitdiff | tree | snapshot
2013-09-04 Brian Norrisrun.sh: sync up with model-checker improvements commit | commitdiff | tree | snapshot
2013-08-14 Brian Norrisremove unused benchmarks commit | commitdiff | tree | snapshot
2013-08-13 Brian Norrisrun.sh: set Mac OSX DYLD_LIBRARY_PATH commit | commitdiff | tree | snapshot
2013-06-01 Brian Norrisbench.sh: only print git information when we're in git oopsla2013 oopsla2013-final commit | commitdiff | tree | snapshot
2013-05-28 Brian NorrisMakefiles: use appropriate preprocessor vs. compiler... commit | commitdiff | tree | snapshot
2013-05-28 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2013-05-28 Brian Norrischase-lev-dequeue: fix compiler warning commit | commitdiff | tree | snapshot
2013-05-08 Brian NorrisMakefile: compile the chase-leve deque bugfix commit | commitdiff | tree | snapshot
2013-05-08 Brian Demskybugfix for chase lev commit | commitdiff | tree | snapshot
2013-03-20 Brian Norrisbench.sh: don't automatically log to file commit | commitdiff | tree | snapshot
2013-03-18 Brian Norrisbench.sh: rearrange order again commit | commitdiff | tree | snapshot
2013-03-18 Brian Norrisbench.sh: run dekker-fences commit | commitdiff | tree | snapshot
2013-03-15 Brian Norrisbench.sh: fixup Brian D.'s script change commit | commitdiff | tree | snapshot
2013-03-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2013-03-15 Brian Demskymy changes to benchmark shell commit | commitdiff | tree | snapshot
2013-03-15 Brian Norrisbench.sh: rewrite benchmark list to match paper commit | commitdiff | tree | snapshot
2013-03-15 Brian Norrismpmc-queue: add to .gitignore commit | commitdiff | tree | snapshot
2013-03-14 Brian Demskyoptimizations to mpmc-queue yield placement commit | commitdiff | tree | snapshot
2013-03-14 Brian DemskyFix all benchmarks to use yield commit | commitdiff | tree | snapshot
2013-03-09 Brian Norrisdeque: add .gitignore commit | commitdiff | tree | snapshot
2013-03-09 Brian Norrisms-queue: add extra POISON_IDX assertion commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisms-queue: finally, the correct (?) memory orderings commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisms-queue: fixup initialization and free lists commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisms-queue: don't initialize node 0 commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisms-queue: we should never dequeue 0 commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisms-queue: revert Brian D. changes commit | commitdiff | tree | snapshot
2013-03-08 Brian Demskywow... i think this version is correct... commit | commitdiff | tree | snapshot
2013-03-08 Brian Demskymy changes commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisms-queue: relax the second load of head/tail commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisms-queue: strip down test driver commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisms-queue: relax the queue loads/stores/CAS commit | commitdiff | tree | snapshot
2013-03-08 Brian NorrisMakefile: build ms-queue commit | commitdiff | tree | snapshot
2013-03-07 Brian Norrisdeque: re-insert deleted MODEL_ASSERT() commit | commitdiff | tree | snapshot
2013-03-07 Brian Norrisdeque: #include's commit | commitdiff | tree | snapshot
2013-03-07 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2013-03-07 Brian Norrisms-queue: begin relaxing commit | commitdiff | tree | snapshot
2013-03-07 Brian Demskydo merge...push right code commit | commitdiff | tree | snapshot
2013-03-07 Brian Norrisms-queue: add initialization commit | commitdiff | tree | snapshot
2013-03-07 Brian Demskydeque: fix bugs in assertion code and move up 3 variabl... commit | commitdiff | tree | snapshot
2013-03-07 Brian Norrisdeque: add MODEL_ASSERT(), fixup #include's commit | commitdiff | tree | snapshot
next
C++11 memory model checker benchmarks