projects / model-checker-benchmarks.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
edits: add comments to demonstrate the found bugs and bug injections
[model-checker-benchmarks.git] / ms-queue /
2016-12-07 Peizhao Ouedits: add comments to demonstrate the found bugs and... tree | commitdiff
2016-09-26 Peizhao OuThe CDSSpec checker's benchmarks tree | commitdiff
2014-09-03 Peizhao Ousave fixed ms-queue tree | commitdiff
2013-05-28 Brian NorrisMakefiles: use appropriate preprocessor vs. compiler... tree | commitdiff
2013-03-09 Brian Norrisms-queue: add extra POISON_IDX assertion tree | commitdiff
2013-03-08 Brian Norrisms-queue: finally, the correct (?) memory orderings tree | commitdiff
2013-03-08 Brian Norrisms-queue: fixup initialization and free lists tree | commitdiff
2013-03-08 Brian Norrisms-queue: don't initialize node 0 tree | commitdiff
2013-03-08 Brian Norrisms-queue: we should never dequeue 0 tree | commitdiff
2013-03-08 Brian Norrisms-queue: revert Brian D. changes tree | commitdiff
2013-03-08 Brian Demskywow... i think this version is correct... tree | commitdiff
2013-03-08 Brian Demskymy changes tree | commitdiff
2013-03-08 Brian Norrisms-queue: relax the second load of head/tail tree | commitdiff
2013-03-08 Brian Norrisms-queue: strip down test driver tree | commitdiff
2013-03-08 Brian Norrisms-queue: relax the queue loads/stores/CAS tree | commitdiff
2013-03-07 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2013-03-07 Brian Norrisms-queue: begin relaxing tree | commitdiff
2013-03-07 Brian Norrisms-queue: add initialization tree | commitdiff
2013-03-06 Brian Norrisms-queue: relax the initializations tree | commitdiff
2013-03-06 Brian Norrisms-queue: fixups, add simple race detection tree | commitdiff
2013-03-06 Brian Norrisms-queue: bugfix - get_ptr() and get_count() were switched tree | commitdiff
2013-03-06 Brian Norrisms-queue: cleanups tree | commitdiff
2013-03-06 Brian Norrisms-queue: remove more externs and unintended shared... tree | commitdiff
2013-03-06 Brian Norrisms-queue: more cleanup tree | commitdiff
2013-03-06 Brian Norrisms-queue: cleanups, convert to C11 atomics tree | commitdiff
2013-03-05 Brian Norrismcs-queue -> ms-queue tree | commitdiff
C++11 memory model checker benchmarks