projects / satcheck.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Commit state of repository at time of OOPSLA 2015 submission.
authorbdemsky <bdemsky@uci.edu>
Fri, 21 Aug 2015 18:40:52 +0000 (11:40 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 4 Sep 2015 05:16:42 +0000 (22:16 -0700)
commit44e8eabc8f7a0ab23c29037a770463d8a2de7b4a
tree9e4f5ac94b618f19bb010df4a237df727e7d7c8etree | snapshot
Commit state of repository at time of OOPSLA 2015 submission.
279 files changed:
.dir-locals.el [new file with mode: 0644] blob
.gitignore [new file with mode: 0644] blob
COPYING [new file with mode: 0644] blob
DEBUGGINGNOTES.txt [new file with mode: 0644] blob
Doxyfile [new file with mode: 0644] blob
Makefile [new file with mode: 0644] blob
benchmarks/.gitignore [new file with mode: 0644] blob
benchmarks/cdschecker/dekker/bench.sh [new file with mode: 0755] blob
benchmarks/cdschecker/dekker/dekker-fences.cc.in [new file with mode: 0644] blob
benchmarks/cdschecker/linuxlock/bench.sh [new file with mode: 0755] blob
benchmarks/cdschecker/linuxlock/linuxlocks.c.in [new file with mode: 0644] blob
benchmarks/cdschecker/linuxrwlock/bench.sh [new file with mode: 0755] blob
benchmarks/cdschecker/linuxrwlock/linuxrwlocks.c.in [new file with mode: 0644] blob
benchmarks/cdschecker/msqueue/bench.sh [new file with mode: 0755] blob
benchmarks/cdschecker/msqueue/ms-queue_simple.c.in [new file with mode: 0644] blob
benchmarks/cdschecker/msqueue/ms-queue_simple.h [new file with mode: 0644] blob
benchmarks/cdschecker/path.sh [new file with mode: 0755] blob
benchmarks/cdschecker/seqlock/bench.sh [new file with mode: 0755] blob
benchmarks/cdschecker/seqlock/seqlock.c.in [new file with mode: 0644] blob
benchmarks/checkfence/dekker/bench.sh [new file with mode: 0755] blob
benchmarks/checkfence/dekker/clean.sh [new file with mode: 0755] blob
benchmarks/checkfence/dekker/dekker-fences.c.in [new file with mode: 0644] blob
benchmarks/checkfence/dekker/dekkertests.lsl [new file with mode: 0644] blob
benchmarks/checkfence/linuxlock/bench.sh [new file with mode: 0755] blob
benchmarks/checkfence/linuxlock/clean.sh [new file with mode: 0755] blob
benchmarks/checkfence/linuxlock/lin_harness.c [new file with mode: 0755] blob
benchmarks/checkfence/linuxlock/linuxrwlocksbig.c.in [new file with mode: 0644] blob
benchmarks/checkfence/linuxlock/locktests.lsl [new file with mode: 0644] blob
benchmarks/checkfence/linuxrwlock/add_harness.c [new file with mode: 0755] blob
benchmarks/checkfence/linuxrwlock/bench.sh [new file with mode: 0755] blob
benchmarks/checkfence/linuxrwlock/clean.sh [new file with mode: 0755] blob
benchmarks/checkfence/linuxrwlock/llock.c.in [new file with mode: 0644] blob
benchmarks/checkfence/linuxrwlock/locktests.lsl [new file with mode: 0644] blob
benchmarks/checkfence/msqueue/bench.sh [new file with mode: 0755] blob
benchmarks/checkfence/msqueue/clean.sh [new file with mode: 0755] blob
benchmarks/checkfence/msqueue/msn.c [new file with mode: 0755] blob
benchmarks/checkfence/msqueue/msn_harness.c.in [new file with mode: 0755] blob
benchmarks/checkfence/msqueue/tests.lsl [new file with mode: 0644] blob
benchmarks/checkfence/paths.sh [new file with mode: 0644] blob
benchmarks/checkfence/seqlock/bench.sh [new file with mode: 0755] blob
benchmarks/checkfence/seqlock/clean.sh [new file with mode: 0755] blob
benchmarks/checkfence/seqlock/seqlock.c.in [new file with mode: 0644] blob
benchmarks/checkfence/seqlock/seqtests.lsl [new file with mode: 0644] blob
benchmarks/compilesat [new file with mode: 0755] blob
benchmarks/nidhugg/dekker/bench.sh [new file with mode: 0755] blob
benchmarks/nidhugg/dekker/benchtso.sh [new file with mode: 0755] blob
benchmarks/nidhugg/dekker/dekker-fences.cc.in [new file with mode: 0644] blob
benchmarks/nidhugg/linuxlock/bench.sh [new file with mode: 0755] blob
benchmarks/nidhugg/linuxlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/nidhugg/linuxlock/linuxlocks.c.in [new file with mode: 0644] blob
benchmarks/nidhugg/linuxrwlock/bench.sh [new file with mode: 0755] blob
benchmarks/nidhugg/linuxrwlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/nidhugg/linuxrwlock/linuxrwlocks.c.in [new file with mode: 0644] blob
benchmarks/nidhugg/msqueue/bench.sh [new file with mode: 0755] blob
benchmarks/nidhugg/msqueue/benchtso.sh [new file with mode: 0755] blob
benchmarks/nidhugg/msqueue/ms-queue_simple.c.in [new file with mode: 0644] blob
benchmarks/nidhugg/msqueue/ms-queue_simple.h [new file with mode: 0644] blob
benchmarks/nidhugg/path.sh [new file with mode: 0755] blob
benchmarks/nidhugg/seqlock/bench.sh [new file with mode: 0755] blob
benchmarks/nidhugg/seqlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/nidhugg/seqlock/seqlock.c.in [new file with mode: 0644] blob
benchmarks/nidhugg/transform.java [new file with mode: 0644] blob
benchmarks/runcds [new file with mode: 0755] blob
benchmarks/runcf [new file with mode: 0755] blob
benchmarks/runnidd [new file with mode: 0755] blob
benchmarks/runsat [new file with mode: 0755] blob
benchmarks/runtsosat [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/dekker/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/dekker/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/dekker/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/dekker/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/dekker/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/dekker/dekker-fences.c [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/dekker/dekker-fences_unannotated.c [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/dekker/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxlock/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/linuxlock/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxlock/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/linuxlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxlock/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxlock/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxlock/linuxlocks.c [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/linuxlock/linuxlocks_unannotated.c [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/linuxrwlock/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/linuxrwlock/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxrwlock/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/linuxrwlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxrwlock/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxrwlock/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/linuxrwlock/linuxrwlocks.c [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/linuxrwlock/linuxrwlocks_unannotated.c [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/msqueueoffset/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/msqueueoffset/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/msqueueoffset/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/msqueueoffset/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/msqueueoffset/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/msqueueoffset/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/msqueueoffset/ms-queue-simple.c [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/msqueueoffset/ms-queue-simple.h [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/msqueueoffset/ms-queue-simple_unannotated.c [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/seqlock/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/seqlock/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/seqlock/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/seqlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/seqlock/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/seqlock/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck-precompiled/seqlock/seqlock.cc [new file with mode: 0644] blob
benchmarks/satcheck-precompiled/seqlock/seqlock_unannotated.cc [new file with mode: 0644] blob
benchmarks/satcheck/dekker/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck/dekker/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck/dekker/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck/dekker/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck/dekker/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck/dekker/compile.sh [new file with mode: 0755] blob
benchmarks/satcheck/dekker/dekker-fences_unannotated.c [new file with mode: 0644] blob
benchmarks/satcheck/dekker/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxlock/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck/linuxlock/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxlock/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck/linuxlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxlock/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxlock/compile.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxlock/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxlock/linuxlocks_unannotated.c [new file with mode: 0644] blob
benchmarks/satcheck/linuxrwlock/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck/linuxrwlock/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxrwlock/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck/linuxrwlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxrwlock/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxrwlock/compile.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxrwlock/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck/linuxrwlock/linuxrwlocks_unannotated.c [new file with mode: 0644] blob
benchmarks/satcheck/msqueueoffset/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck/msqueueoffset/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck/msqueueoffset/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck/msqueueoffset/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck/msqueueoffset/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck/msqueueoffset/compile.sh [new file with mode: 0755] blob
benchmarks/satcheck/msqueueoffset/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck/msqueueoffset/ms-queue-simple.h [new file with mode: 0644] blob
benchmarks/satcheck/msqueueoffset/ms-queue-simple_unannotated.c [new file with mode: 0644] blob
benchmarks/satcheck/seqlock/.gitignore [new file with mode: 0644] blob
benchmarks/satcheck/seqlock/bench.sh [new file with mode: 0755] blob
benchmarks/satcheck/seqlock/benchmark-config.sh [new file with mode: 0644] blob
benchmarks/satcheck/seqlock/benchtso.sh [new file with mode: 0755] blob
benchmarks/satcheck/seqlock/clean.sh [new file with mode: 0755] blob
benchmarks/satcheck/seqlock/compile.sh [new file with mode: 0755] blob
benchmarks/satcheck/seqlock/diff.sh [new file with mode: 0755] blob
benchmarks/satcheck/seqlock/seqlock_unannotated.cc [new file with mode: 0644] blob
benchmarks/verifycompilesat [new file with mode: 0755] blob
bin/annotate [new file with mode: 0755] blob
branchrecord.cc [new file with mode: 0644] blob
branchrecord.h [new file with mode: 0644] blob
cgoal.cc [new file with mode: 0644] blob
cgoal.h [new file with mode: 0644] blob
change.cc [new file with mode: 0644] blob
change.h [new file with mode: 0644] blob
clang/.gitignore [new file with mode: 0644] blob
clang/COPYING [new file with mode: 0644] blob
clang/Makefile [new file with mode: 0644] blob
clang/README.md [new file with mode: 0644] blob
clang/multi-dep.txt [new file with mode: 0644] blob
clang/src/add_mc2_annotations.cpp [new file with mode: 0644] blob
clang/test/apr_1_unannotated.c [new file with mode: 0644] blob
clang/test/apr_2_unannotated.c [new file with mode: 0644] blob
clang/test/bitops.c [new file with mode: 0644] blob
clang/test/bitops_unannotated.c [new file with mode: 0644] blob
clang/test/linuxrwlocks.c [new file with mode: 0644] blob
clang/test/linuxrwlocks_unannotated.c [new file with mode: 0644] blob
clang/test/mcs-lock_unannotated.cc [new file with mode: 0644] blob
clang/test/minimal-no-braces-if.c [new file with mode: 0644] blob
clang/test/minimal-no-braces-if_unannotated.c [new file with mode: 0644] blob
clang/test/ms-queue-simple-offset.c [new file with mode: 0644] blob
clang/test/ms-queue-simple-offset_unannotated.c [new file with mode: 0644] blob
clang/test/ms-queue-simple.c [new file with mode: 0644] blob
clang/test/ms-queue-simple.h [new file with mode: 0644] blob
clang/test/ms-queue-simple_manual.c [new file with mode: 0644] blob
clang/test/ms-queue-simple_unannotated.c [new file with mode: 0644] blob
clang/test/ms-queue_unannotated.c [new file with mode: 0644] blob
clang/test/seqlock.c [new file with mode: 0644] blob
clang/test/seqlock_raw_unannotated.c [new file with mode: 0644] blob
clang/test/seqlock_unannotated.c [new file with mode: 0644] blob
clang/test/spsc-queue_unannotated.cc [new file with mode: 0644] blob
clang/test/userprog2_unannotated.c [new file with mode: 0644] blob
clang/test/userprog_unannotated.c [new file with mode: 0644] blob
clang/test/various-loads.c [new file with mode: 0644] blob
clang/test/various-loads_unannotated.c [new file with mode: 0644] blob
classlist.h [new file with mode: 0644] blob
cmodelint.cc [new file with mode: 0644] blob
common.cc [new file with mode: 0644] blob
common.h [new file with mode: 0644] blob
common.mk [new file with mode: 0644] blob
config.h [new file with mode: 0644] blob
constgen.cc [new file with mode: 0644] blob
constgen.h [new file with mode: 0644] blob
constraint.cc [new file with mode: 0644] blob
constraint.h [new file with mode: 0644] blob
context.cc [new file with mode: 0644] blob
context.h [new file with mode: 0644] blob
eprecord.cc [new file with mode: 0644] blob
eprecord.h [new file with mode: 0644] blob
epvalue.cc [new file with mode: 0644] blob
epvalue.h [new file with mode: 0644] blob
equalsrecord.cc [new file with mode: 0644] blob
equalsrecord.h [new file with mode: 0644] blob
execpoint.cc [new file with mode: 0644] blob
execpoint.h [new file with mode: 0644] blob
functionrecord.cc [new file with mode: 0644] blob
functionrecord.h [new file with mode: 0644] blob
hashset.h [new file with mode: 0644] blob
hashtable.h [new file with mode: 0644] blob
inc_solver.cc [new file with mode: 0644] blob
inc_solver.h [new file with mode: 0644] blob
include/atomic [new file with mode: 0644] blob
include/cmodelint.h [new file with mode: 0644] blob
include/condition_variable [new file with mode: 0644] blob
include/cstdatomic [new file with mode: 0644] blob
include/impatomic.h [new file with mode: 0644] blob
include/libinterface.h [new file with mode: 0644] blob
include/memoryorder.h [new file with mode: 0644] blob
include/model-assert.h [new file with mode: 0644] blob
include/modeltypes.h [new file with mode: 0644] blob
include/mutex [new file with mode: 0644] blob
include/stdatomic.h [new file with mode: 0644] blob
include/threads.h [new file with mode: 0644] blob
libinterface.cc [new file with mode: 0644] blob
libthreads.cc [new file with mode: 0644] blob
loadrf.cc [new file with mode: 0644] blob
loadrf.h [new file with mode: 0644] blob
main.cc [new file with mode: 0644] blob
malloc.c [new file with mode: 0644] blob
mcexecution.cc [new file with mode: 0644] blob
mcexecution.h [new file with mode: 0644] blob
mcschedule.cc [new file with mode: 0644] blob
mcschedule.h [new file with mode: 0644] blob
mcutil.h [new file with mode: 0644] blob
model.cc [new file with mode: 0644] blob
model.h [new file with mode: 0644] blob
mymemory.cc [new file with mode: 0644] blob
mymemory.h [new file with mode: 0644] blob
notes [new file with mode: 0644] blob
output.h [new file with mode: 0644] blob
params.h [new file with mode: 0644] blob
planner.cc [new file with mode: 0644] blob
planner.h [new file with mode: 0644] blob
run.sh [new file with mode: 0755] blob
schedulebuilder.cc [new file with mode: 0644] blob
schedulebuilder.h [new file with mode: 0644] blob
snapshot-interface.cc [new file with mode: 0644] blob
snapshot-interface.h [new file with mode: 0644] blob
snapshot.cc [new file with mode: 0644] blob
snapshot.h [new file with mode: 0644] blob
solver_interface.h [new file with mode: 0644] blob
stacktrace.h [new file with mode: 0644] blob
stl-model.h [new file with mode: 0644] blob
storeloadset.cc [new file with mode: 0644] blob
storeloadset.h [new file with mode: 0644] blob
test/Makefile [new file with mode: 0644] blob
test/dekker-fences.c [new file with mode: 0644] blob
test/function_microbenchmarks.c [new file with mode: 0644] blob
test/linuxlock.c [new file with mode: 0644] blob
test/load_in_if_cond.c [new file with mode: 0644] blob
test/mcs-lock.cc [new file with mode: 0644] blob
test/ms-queue-freelist.c [new file with mode: 0644] blob
test/ms-queue-freelist.h [new file with mode: 0644] blob
test/ms-queue.c [new file with mode: 0644] blob
test/ms-queue.h [new file with mode: 0644] blob
test/reference/README.md [new file with mode: 0644] blob
test/reference/ms-queue-atomics.c [new file with mode: 0644] blob
test/seqlock.c [new file with mode: 0644] blob
test/seqlock2.cc [new file with mode: 0644] blob
test/spsc-queue.cc [new file with mode: 0644] blob
test/userprog.c [new file with mode: 0644] blob
test/userprog2.c [new file with mode: 0644] blob
test/userprog_pointers.c [new file with mode: 0644] blob
threads-model.h [new file with mode: 0644] blob
threads.cc [new file with mode: 0644] blob
valuerecord.cc [new file with mode: 0644] blob
valuerecord.h [new file with mode: 0644] blob
SATCheck ModelChecker