projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01f8364) | patch
This is the PPoPP17 artifact version
authorPeizhao Ou <peizhaoo@uci.edu>
Wed, 7 Dec 2016 21:54:08 +0000 (13:54 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Wed, 7 Dec 2016 21:54:08 +0000 (13:54 -0800)
commit3b645ad030ddb824d3cf6b80e321a466906a256f
tree6301e304be6a0f868d2d2077f38ee0c50213a6e3tree | snapshot
parent01f8364dda87f16e1a8823232c2d90de1d5168a6commit | diff
This is the PPoPP17 artifact version
95 files changed:
Makefile diff | blob | history
action.cc diff | blob | history
action.h diff | blob | history
cdsspec-compiler/build.xml [new file with mode: 0644] blob
cdsspec-compiler/clean.sh [new file with mode: 0755] blob
cdsspec-compiler/generate.sh [new file with mode: 0755] blob
cdsspec-compiler/grammer/util.jj [new file with mode: 0644] blob
cdsspec-compiler/lib/javacc.jar [new file with mode: 0644] blob
cdsspec-compiler/notes/definition.cc [new file with mode: 0644] blob
cdsspec-compiler/notes/generated_code_examples.txt [new file with mode: 0644] blob
cdsspec-compiler/notes/impl.txt [new file with mode: 0644] blob
cdsspec-compiler/notes/interesting_examples.txt [new file with mode: 0644] blob
cdsspec-compiler/notes/nondeterm-spec.txt [new file with mode: 0644] blob
cdsspec-compiler/notes/register-example/Makefile [new file with mode: 0644] blob
cdsspec-compiler/notes/register-example/cdsspec-generated.h [new file with mode: 0644] blob
cdsspec-compiler/notes/register-example/register.cc [new file with mode: 0644] blob
cdsspec-compiler/notes/register-example/register.cc.original [new file with mode: 0644] blob
cdsspec-compiler/notes/register-example/register.h [new file with mode: 0644] blob
cdsspec-compiler/notes/sequential_spec.txt [new file with mode: 0644] blob
cdsspec-compiler/run-javacc.sh [new file with mode: 0755] blob
cdsspec-compiler/src/edu/uci/eecs/codeGenerator/CodeAdditions.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/codeGenerator/CodeGenerator.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/codeGenerator/Environment.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/Code.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/CommutativityRule.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/Construct.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/DefineConstruct.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/EntryConstruct.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/FunctionHeader.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/GlobalConstruct.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/InterfaceConstruct.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/OPConstruct.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/OPType.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/QualifiedName.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/SpecExtractor.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/SpecNaming.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/SpecUtils.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/VariableDeclaration.java [new file with mode: 0644] blob
cdsspec-compiler/src/edu/uci/eecs/specExtraction/WrongAnnotationException.java [new file with mode: 0644] blob
common.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-cdsspec/Makefile [new file with mode: 0644] blob
test-cdsspec/benchmarks.mk [new file with mode: 0644] blob
test-cdsspec/chase-lev-deque-bugfix/Makefile [new file with mode: 0644] blob
test-cdsspec/cleanse.sh [new file with mode: 0755] blob
test-cdsspec/concurrent-hashmap/Makefile [new file with mode: 0644] blob
test-cdsspec/include/unrelacy.h [new file with mode: 0644] blob
test-cdsspec/linuxrwlocks/Makefile [new file with mode: 0644] blob
test-cdsspec/mcs-lock/Makefile [new file with mode: 0644] blob
test-cdsspec/mpmc-queue/Makefile [new file with mode: 0644] blob
test-cdsspec/ms-queue/.gitignore [new file with mode: 0644] blob
test-cdsspec/ms-queue/Makefile [new file with mode: 0644] blob
test-cdsspec/performance.sh [new file with mode: 0755] blob
test-cdsspec/read-copy-update/Makefile [new file with mode: 0644] blob
test-cdsspec/run-all.sh [new file with mode: 0755] blob
test-cdsspec/run.sh [new file with mode: 0755] blob
test-cdsspec/seqlock/Makefile [new file with mode: 0644] blob
test-cdsspec/spsc-bugfix/Makefile [new file with mode: 0644] blob
test-cdsspec/ticket-lock/Makefile [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