Programming Languages Research Group: Git - model-checker.git/commit

projects / model-checker.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 3b645ad) | patch

author	Peizhao Ou <peizhaoo@uci.edu>
	Tue, 24 Oct 2017 01:48:09 +0000 (18:48 -0700)
committer	Peizhao Ou <peizhaoo@uci.edu>
	Tue, 24 Oct 2017 01:48:09 +0000 (18:48 -0700)
commit	ef71a6aba0fa3f97317245ebd0b5fceb0c78338a
tree	92cf77f04960d63f2adb8a9932c4f2b8a296dfee	tree \| snapshot
parent	3b645ad030ddb824d3cf6b80e321a466906a256f	commit \| diff

Adds back the necessary bugfix from previous commit "01f8364" that were accidentally overwritten

18 files changed:

.gitignore		diff \| blob \| history
common.h		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
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
spec-analysis/cdsspec.h		diff \| blob \| history
test-cdsspec/run-all.sh		diff \| blob \| history
threads.cc		diff \| blob \| history
traceanalysis.h		diff \| blob \| history

C++11 memory model checker