name mode size
README 120000
doc 040000
include 040000
test 040000
.dir-locals.el 100644 0 kb
.gitignore 100644 0 kb
DEBUGGINGNOTES.txt 100644 0 kb
Doxyfile 100644 75 kb
LICENSE 100644 18 kb
Makefile 100644 2 kb
README.md 100644 11 kb
action.cc 100644 17 kb
action.h 100644 7 kb
bugmessage.h 100644 0 kb
clockvector.cc 100644 3 kb
clockvector.h 100644 1 kb
cmodelint.cc 100644 1 kb
common.cc 100644 4 kb
common.h 100644 1 kb
common.mk 100644 0 kb
conditionvariable.cc 100644 1 kb
config.h 100644 1 kb
context.cc 100644 1 kb
context.h 100644 0 kb
cyclegraph.cc 100644 18 kb
cyclegraph.h 100644 4 kb
datarace.cc 100644 12 kb
datarace.h 100644 2 kb
execution.cc 100644 86 kb
execution.h 100644 9 kb
hashtable.h 100644 6 kb
impatomic.cc 100644 1 kb
librace.cc 100644 3 kb
libthreads.cc 100644 1 kb
main.cc 100644 8 kb
mainpage.dox 100644 0 kb
malloc.c 100644 215 kb
model.cc 100644 13 kb
model.h 100644 3 kb
mutex.cc 100644 1 kb
mymemory.cc 100644 6 kb
mymemory.h 100644 7 kb
nodestack.cc 100644 23 kb
nodestack.h 100644 6 kb
output.h 100644 0 kb
params.h 100644 1 kb
plugins.cc 100644 1 kb
plugins.h 100644 0 kb
promise.cc 100644 5 kb
promise.h 100644 2 kb
run.sh 100755 1 kb
scanalysis.cc 100644 11 kb
scanalysis.h 100644 1 kb
schedule.cc 100644 7 kb
schedule.h 100644 2 kb
snapshot-interface.cc 100644 4 kb
snapshot-interface.h 100644 0 kb
snapshot.cc 100644 16 kb
snapshot.h 100644 0 kb
stacktrace.h 100644 3 kb
stl-model.h 100644 1 kb
threads-model.h 100644 4 kb
threads.cc 100644 5 kb
traceanalysis.h 100644 1 kb
workqueue.h 100644 3 kb
README
README.md