projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8e5e19) | patch
test: litmus: add litmus tests from Nitpicking C++
authorBrian Norris <banorris@uci.edu>
Tue, 15 Jan 2013 20:44:47 +0000 (12:44 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 15 Jan 2013 20:47:11 +0000 (12:47 -0800)
commit1066ff319f565bb63268c1e6b6f48c114aac34b2
treef7dc7c58ab27d662a2f4e12a95d9cddbe3515d9ftree | snapshot
parentd8e5e19d215225df584752d5870e3fc0bbdcfbe3commit | diff
test: litmus: add litmus tests from Nitpicking C++

This adds most of the litmus tests from Nitpicking C++ Concurrency. Note
that it leaves out the 'consume' tests (replacing it with the
also-mentioned release/acquire test). It doesn't test the seq_cst
results, although I could provide command-line switches to do so...
test/litmus/Makefile [new file with mode: 0644] blob
test/litmus/iriw.cc [new file with mode: 0644] blob
test/litmus/load-buffer.cc [new file with mode: 0644] blob
test/litmus/message-passing.cc [new file with mode: 0644] blob
test/litmus/seq-lock.cc [new file with mode: 0644] blob
test/litmus/store-buffer.cc [new file with mode: 0644] blob
test/litmus/wrc.cc [new file with mode: 0644] blob
This is the public repository for the CDSSpec specification compiler.