projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 178fa56) | patch
Add the CDSSpec checker back end cdsspec-checker
authorPeizhao Ou <peizhaoo@uci.edu>
Mon, 26 Sep 2016 18:00:59 +0000 (11:00 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Mon, 26 Sep 2016 18:00:59 +0000 (11:00 -0700)
commit17ab7c2fda3a12aab91636c08fba589f7d2040ee
treea66541775790463da58a8278a4501dd1770f25betree | snapshot
parent178fa56c36e45267d59c545dea0b9c7be93a4e1ecommit | diff
Add the CDSSpec checker back end
39 files changed:
Makefile diff | blob | history
action.cc diff | blob | history
action.h diff | blob | history
common.mk diff | blob | history
execution.cc diff | blob | history
execution.h diff | blob | history
impatomic.cc diff | blob | history
include/cdsannotate.h diff | blob | history
include/impatomic.h diff | blob | history
include/model_memory.h [new file with mode: 0644] blob
include/stdatomic.h diff | blob | history
main.cc diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
mymemory.cc diff | blob | history
mymemory.h diff | blob | history
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
params.h diff | blob | history
plugins.cc diff | blob | history
scfence/scfence.cc diff | blob | history
spec-analysis/.gitignore [new file with mode: 0644] blob
spec-analysis/Makefile [new file with mode: 0644] blob
spec-analysis/cdsspec.h [new file with mode: 0644] blob
spec-analysis/executiongraph.cc [new file with mode: 0644] blob
spec-analysis/executiongraph.h [new file with mode: 0644] blob
spec-analysis/include/specannotation-api.h [new file with mode: 0644] blob
spec-analysis/methodcall.cc [new file with mode: 0644] blob
spec-analysis/methodcall.h [new file with mode: 0644] blob
spec-analysis/spec_common.h [new file with mode: 0644] blob
spec-analysis/specanalysis.cc [new file with mode: 0644] blob
spec-analysis/specanalysis.h [new file with mode: 0644] blob
spec-analysis/specannotation.cc [new file with mode: 0644] blob
spec-analysis/specannotation.h [new file with mode: 0644] blob
test/Makefile diff | blob | history
test/iriw.cc [deleted file] blob | history
test/iriw_wildcard.cc [deleted file] blob | history
threads.cc diff | blob | history
traceanalysis.h diff | blob | history
C++11 memory model checker