projects
/
model-checker-benchmarks.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
model-checker-benchmarks.git
2016-12-07
Peizhao Ou
edits: add comments to demonstrate the found bugs and...
commit
|
commitdiff
|
tree
|
snapshot
2016-09-26
Peizhao Ou
The CDSSpec checker's benchmarks
commit
|
commitdiff
|
tree
|
snapshot
2015-12-17
bdemsky
fix commit that mistakenly happened
master
commit
|
commitdiff
|
tree
|
snapshot
2015-12-17
bdemsky
fix compile errors on OS X
commit
|
commitdiff
|
tree
|
snapshot
2015-06-30
Patrick Lam
raw elimination-backoff code from paper
commit
|
commitdiff
|
tree
|
snapshot
2015-03-21
Peizhao Ou
changes
commit
|
commitdiff
|
tree
|
snapshot
2015-03-21
Peizhao Ou
add concurrent hashmap
commit
|
commitdiff
|
tree
|
snapshot
2014-10-31
Patrick Lam
Description of benchmarks
commit
|
commitdiff
|
tree
|
snapshot
2014-09-10
bdemsky
make warnings go away
commit
|
commitdiff
|
tree
|
snapshot
2014-09-10
Peizhao Ou
clean up
commit
|
commitdiff
|
tree
|
snapshot
2014-09-03
Peizhao Ou
add treiber stack
commit
|
commitdiff
|
tree
|
snapshot
2014-09-03
Peizhao Ou
save fixed ms-queue
commit
|
commitdiff
|
tree
|
snapshot
2014-08-08
Peizhao Ou
add cliff click hashtable
commit
|
commitdiff
|
tree
|
snapshot
2014-08-07
Peizhao Ou
add result file
commit
|
commitdiff
|
tree
|
snapshot
2014-08-07
Peizhao Ou
add seqlock
commit
|
commitdiff
|
tree
|
snapshot
2013-09-04
Brian Norris
run.sh: sync up with model-checker improvements
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Brian Norris
remove unused benchmarks
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Brian Norris
run.sh: set Mac OSX DYLD_LIBRARY_PATH
commit
|
commitdiff
|
tree
|
snapshot
2013-06-01
Brian Norris
bench.sh: only print git information when we're in git
oopsla2013
oopsla2013-final
commit
|
commitdiff
|
tree
|
snapshot
2013-05-28
Brian Norris
Makefiles: use appropriate preprocessor vs. compiler...
commit
|
commitdiff
|
tree
|
snapshot
2013-05-28
Brian Norris
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
|
snapshot
2013-05-28
Brian Norris
chase-lev-dequeue: fix compiler warning
commit
|
commitdiff
|
tree
|
snapshot
2013-05-08
Brian Norris
Makefile: compile the chase-leve deque bugfix
commit
|
commitdiff
|
tree
|
snapshot
2013-05-08
Brian Demsky
bugfix for chase lev
commit
|
commitdiff
|
tree
|
snapshot
2013-03-20
Brian Norris
bench.sh: don't automatically log to file
commit
|
commitdiff
|
tree
|
snapshot
2013-03-18
Brian Norris
bench.sh: rearrange order again
commit
|
commitdiff
|
tree
|
snapshot
2013-03-18
Brian Norris
bench.sh: run dekker-fences
commit
|
commitdiff
|
tree
|
snapshot
2013-03-15
Brian Norris
bench.sh: fixup Brian D.'s script change
commit
|
commitdiff
|
tree
|
snapshot
2013-03-15
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-15
Brian Demsky
my changes to benchmark shell
commit
|
commitdiff
|
tree
|
snapshot
2013-03-15
Brian Norris
bench.sh: rewrite benchmark list to match paper
commit
|
commitdiff
|
tree
|
snapshot
2013-03-15
Brian Norris
mpmc-queue: add to .gitignore
commit
|
commitdiff
|
tree
|
snapshot
2013-03-14
Brian Demsky
optimizations to mpmc-queue yield placement
commit
|
commitdiff
|
tree
|
snapshot
2013-03-14
Brian Demsky
Fix all benchmarks to use yield
commit
|
commitdiff
|
tree
|
snapshot
2013-03-09
Brian Norris
deque: add .gitignore
commit
|
commitdiff
|
tree
|
snapshot
2013-03-09
Brian Norris
ms-queue: add extra POISON_IDX assertion
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
ms-queue: finally, the correct (?) memory orderings
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
ms-queue: fixup initialization and free lists
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
ms-queue: don't initialize node 0
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
ms-queue: we should never dequeue 0
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
ms-queue: revert Brian D. changes
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Demsky
wow... i think this version is correct...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Demsky
my changes
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
ms-queue: relax the second load of head/tail
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
ms-queue: strip down test driver
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
ms-queue: relax the queue loads/stores/CAS
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Brian Norris
Makefile: build ms-queue
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Norris
deque: re-insert deleted MODEL_ASSERT()
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Norris
deque: #include's
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Norris
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Norris
ms-queue: begin relaxing
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Demsky
do merge...push right code
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Norris
ms-queue: add initialization
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Demsky
deque: fix bugs in assertion code and move up 3 variabl...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Norris
deque: add MODEL_ASSERT(), fixup #include's
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Demsky
deque: wrong bug fix before...now the correct one
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Demsky
deque: bug fix...method could return empty
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Demsky
deque: add test driver, add print messages for now...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-07
Brian Demsky
fix bug
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Brian Norris
ms-queue: relax the initializations
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Brian Demsky
add make file, header, and extra code to deque
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Brian Norris
ms-queue: fixups, add simple race detection
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Brian Norris
ms-queue: bugfix - get_ptr() and get_count() were switched
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Brian Norris
ms-queue: cleanups
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Brian Norris
ms-queue: remove more externs and unintended shared...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Brian Norris
ms-queue: more cleanup
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Brian Norris
ms-queue: cleanups, convert to C11 atomics
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
mcs-queue -> ms-queue
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
mcs-queue: a few changes
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
mcs-queue: add Makefile
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
mcs-queue: modifications for compiling
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
msc-queue: indentation, etc.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
mcs-queue: initial checkin
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
deque: use atomic_uintptr_t
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
deque: improve compile-ability
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
deque: add "proven correct" work-stealing Chase-Lev...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-05
Brian Norris
bench.sh: add dekker-fences to benchmark runs
commit
|
commitdiff
|
tree
|
snapshot
2013-02-28
Brian Norris
bench.sh: log more information
commit
|
commitdiff
|
tree
|
snapshot
2013-02-28
Brian Norris
bench.sh: don't run tests twice
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Brian Norris
bench.sh: don't 'grep' output
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
run.sh: sync up run script with model-checker
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Brian Norris
Makefile: build dekker-fences automatically
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Brian Norris
dekker-fences: add Dekker's critical section algorithm
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Brian Norris
bench.sh: add spsc-bugfix to benchmark runs
pldi2013
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Brian Norris
Makefile: build spsc-bugfix by default
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Brian Norris
spsc-bugfix: fix deadlocked signalling bug
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Brian Norris
spsc-bugfree: make Relacy run exhaustive, fair scheduler
commit
|
commitdiff
|
tree
|
snapshot
2012-11-14
Brian Norris
spsc-bugfix: duplicate the (buggy) spsc-queue
commit
|
commitdiff
|
tree
|
snapshot
2012-11-13
Brian Norris
unrelacy: instrument relacy-marked normal loads/stores
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Brian Norris
bench: reconfigure default tests
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Brian Norris
mpmc-queue: .gitignore
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Brian Norris
mpmc-queue: add "-noinit" builds
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Brian Norris
mpmc-queue: makefile bugfix
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Brian Norris
mpmc-queue: remove duplicate source files
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Brian Norris
mpmc-queue: unify source file again
commit
|
commitdiff
|
tree
|
snapshot
2012-11-08
Brian Norris
mpmc-queue: fix make clean
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Brian Norris
spsc-queue: add spsc-relacy build
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Brian Norris
unrelacy: include <mutex> and <condition_variable>
commit
|
commitdiff
|
tree
|
snapshot
2012-11-07
Brian Norris
spsc-queue: fix some old Relacy syntax (RL_NEW/RL_DELETE)
commit
|
commitdiff
|
tree
|
snapshot
2012-11-03
Brian Norris
unrelacy: use new MODEL_ASSERT() macro
commit
|
commitdiff
|
tree
|
snapshot
next