clean
authorPeizhao Ou <peizhaoo@uci.edu>
Wed, 9 Oct 2013 01:29:54 +0000 (18:29 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Wed, 9 Oct 2013 01:29:54 +0000 (18:29 -0700)
commit37edd074f2cb415e6bf971bc5fe31e9942ba47fe
tree98218998fac33d6714bb4aea158ea23d1f1b6923
parent542a00635aafcb2b664e4d15be95f11df7ff0c81
clean
113 files changed:
DEBUGGINGNOTES.txt [deleted file]
Doxyfile [deleted file]
LICENSE [deleted file]
Makefile [deleted file]
README.md [deleted file]
action.cc [deleted file]
action.h [deleted file]
annotationaction.h [deleted file]
bugmessage.h [deleted file]
clockvector.cc [deleted file]
clockvector.h [deleted file]
cmodelint.cc [deleted file]
common.cc [deleted file]
common.h [deleted file]
common.mk [deleted file]
conditionvariable.cc [deleted file]
config.h [deleted file]
context.cc [deleted file]
context.h [deleted file]
cyclegraph.cc [deleted file]
cyclegraph.h [deleted file]
datarace.cc [deleted file]
datarace.h [deleted file]
doc/Markdown/License.text [deleted file]
doc/Markdown/Markdown Readme.text [deleted file]
doc/Markdown/Markdown.pl [deleted file]
doc/notes/fence.txt [deleted file]
doc/notes/release-sequence.txt [deleted file]
execution.cc [deleted file]
execution.h [deleted file]
hashtable.h [deleted file]
impatomic.cc [deleted file]
include/atomic [deleted file]
include/cdsannotate.h [deleted file]
include/cmodelint.h [deleted file]
include/condition_variable [deleted file]
include/cstdatomic [deleted file]
include/impatomic.h [deleted file]
include/librace.h [deleted file]
include/memoryorder.h [deleted file]
include/model-assert.h [deleted file]
include/modeltypes.h [deleted file]
include/mutex [deleted file]
include/stdatomic.h [deleted file]
include/threads.h [deleted file]
interpreter.h [deleted file]
libannotate.cc [deleted file]
librace.cc [deleted file]
libthreads.cc [deleted file]
main.cc [deleted file]
mainpage.dox [deleted file]
malloc.c [deleted file]
model.cc [deleted file]
model.h [deleted file]
mutex.cc [deleted file]
mymemory.cc [deleted file]
mymemory.h [deleted file]
nodestack.cc [deleted file]
nodestack.h [deleted file]
notes/README.txt [deleted file]
output.h [deleted file]
params.h [deleted file]
plugins.cc [deleted file]
plugins.h [deleted file]
promise.cc [deleted file]
promise.h [deleted file]
run.sh [deleted file]
scanalysis.cc [deleted file]
scanalysis.h [deleted file]
schedule.cc [deleted file]
schedule.h [deleted file]
snapshot-interface.cc [deleted file]
snapshot-interface.h [deleted file]
snapshot.cc [deleted file]
snapshot.h [deleted file]
stacktrace.h [deleted file]
stl-model.h [deleted file]
test/Makefile [deleted file]
test/addr-satcycle.cc [deleted file]
test/condvar.cc [deleted file]
test/csetest.c [deleted file]
test/deadlock.cc [deleted file]
test/double-read-fv.c [deleted file]
test/double-relseq.c [deleted file]
test/fences.c [deleted file]
test/fences2.c [deleted file]
test/insanesync.cc [deleted file]
test/linuxrwlocks.c [deleted file]
test/linuxrwlocksyield.c [deleted file]
test/litmus/Makefile [deleted file]
test/litmus/iriw.cc [deleted file]
test/litmus/load-buffer.cc [deleted file]
test/litmus/message-passing.cc [deleted file]
test/litmus/seq-lock.cc [deleted file]
test/litmus/store-buffer.cc [deleted file]
test/litmus/wrc.cc [deleted file]
test/mo-satcycle.cc [deleted file]
test/mutextest.cc [deleted file]
test/nestedpromise.c [deleted file]
test/pending-release.c [deleted file]
test/releaseseq.c [deleted file]
test/rmw2prog.c [deleted file]
test/rmwprog.c [deleted file]
test/sctest.c [deleted file]
test/thinair.c [deleted file]
test/uninit.cc [deleted file]
test/userprog.c [deleted file]
test/wrc.c [deleted file]
test/wrcs.c [deleted file]
threads-model.h [deleted file]
threads.cc [deleted file]
traceanalysis.h [deleted file]
workqueue.h [deleted file]