projects
/
c11tester.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
snapshot
Avoid seg fault in the case where ensureModel is called in cds_func_entry and then...
-rw-r--r--
34
.dir-locals.el
blob
|
history
|
raw
-rw-r--r--
125
.gitignore
blob
|
history
|
raw
-rw-r--r--
523
C.cfg
blob
|
history
|
raw
-rw-r--r--
161
DEBUGGINGNOTES.txt
blob
|
history
|
raw
-rw-r--r--
76644
Doxyfile
blob
|
history
|
raw
-rw-r--r--
18092
LICENSE
blob
|
history
|
raw
-rw-r--r--
2203
Makefile
blob
|
history
|
raw
-rw-r--r--
9577
README.md
blob
|
history
|
raw
-rw-r--r--
20871
action.cc
blob
|
history
|
raw
-rw-r--r--
8349
action.h
blob
|
history
|
raw
-rw-r--r--
425
bugmessage.h
blob
|
history
|
raw
-rw-r--r--
1455
classlist.h
blob
|
history
|
raw
-rw-r--r--
2964
clockvector.cc
blob
|
history
|
raw
-rw-r--r--
700
clockvector.h
blob
|
history
|
raw
-rw-r--r--
15189
cmodelint.cc
blob
|
history
|
raw
-rw-r--r--
3898
common.cc
blob
|
history
|
raw
-rw-r--r--
1691
common.h
blob
|
history
|
raw
-rw-r--r--
233
common.mk
blob
|
history
|
raw
-rw-r--r--
275
concretepredicate.cc
blob
|
history
|
raw
-rw-r--r--
700
concretepredicate.h
blob
|
history
|
raw
-rw-r--r--
678
conditionvariable.cc
blob
|
history
|
raw
-rw-r--r--
1364
config.h
blob
|
history
|
raw
-rw-r--r--
537
context.cc
blob
|
history
|
raw
-rw-r--r--
423
context.h
blob
|
history
|
raw
-rw-r--r--
9459
cyclegraph.cc
blob
|
history
|
raw
-rw-r--r--
2601
cyclegraph.h
blob
|
history
|
raw
-rw-r--r--
15497
datarace.cc
blob
|
history
|
raw
-rw-r--r--
2936
datarace.h
blob
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
52614
execution.cc
blob
|
history
|
raw
-rw-r--r--
7637
execution.h
blob
|
history
|
raw
-rw-r--r--
2453
funcinst.cc
blob
|
history
|
raw
-rw-r--r--
2221
funcinst.h
blob
|
history
|
raw
-rw-r--r--
21441
funcnode.cc
blob
|
history
|
raw
-rw-r--r--
4532
funcnode.h
blob
|
history
|
raw
-rw-r--r--
2005
futex.cc
blob
|
history
|
raw
-rw-r--r--
1138
fuzzer.cc
blob
|
history
|
raw
-rw-r--r--
737
fuzzer.h
blob
|
history
|
raw
-rw-r--r--
440
hashfunction.cc
blob
|
history
|
raw
-rw-r--r--
121
hashfunction.h
blob
|
history
|
raw
-rw-r--r--
5623
hashset.h
blob
|
history
|
raw
-rw-r--r--
9190
hashtable.h
blob
|
history
|
raw
-rw-r--r--
18951
history.cc
blob
|
history
|
raw
-rw-r--r--
3453
history.h
blob
|
history
|
raw
-rw-r--r--
1232
impatomic.cc
blob
|
history
|
raw
drwxr-xr-x
-
include
tree
|
history
-rw-r--r--
546
libannotate.cc
blob
|
history
|
raw
-rw-r--r--
5734
librace.cc
blob
|
history
|
raw
-rw-r--r--
877
libthreads.cc
blob
|
history
|
raw
-rw-r--r--
6231
main.cc
blob
|
history
|
raw
-rw-r--r--
49
mainpage.dox
blob
|
history
|
raw
-rw-r--r--
220074
malloc.c
blob
|
history
|
raw
-rw-r--r--
13253
model.cc
blob
|
history
|
raw
-rw-r--r--
3044
model.h
blob
|
history
|
raw
-rw-r--r--
739
mutex.cc
blob
|
history
|
raw
-rw-r--r--
6918
mymemory.cc
blob
|
history
|
raw
-rw-r--r--
7352
mymemory.h
blob
|
history
|
raw
-rw-r--r--
16658
newfuzzer.cc
blob
|
history
|
raw
-rw-r--r--
2500
newfuzzer.h
blob
|
history
|
raw
-rw-r--r--
436
output.h
blob
|
history
|
raw
-rw-r--r--
572
params.h
blob
|
history
|
raw
-rw-r--r--
453
plugins.cc
blob
|
history
|
raw
-rw-r--r--
241
plugins.h
blob
|
history
|
raw
-rw-r--r--
4021
predicate.cc
blob
|
history
|
raw
-rw-r--r--
2629
predicate.h
blob
|
history
|
raw
-rw-r--r--
28051
printf.c
blob
|
history
|
raw
-rw-r--r--
4846
printf.h
blob
|
history
|
raw
-rw-r--r--
6498
pthread.cc
blob
|
history
|
raw
drwxr-xr-x
-
pthread_test
tree
|
history
-rwxr-xr-x
682
run.sh
blob
|
history
|
raw
-rw-r--r--
6443
schedule.cc
blob
|
history
|
raw
-rw-r--r--
1470
schedule.h
blob
|
history
|
raw
-rw-r--r--
1766
sleeps.cc
blob
|
history
|
raw
-rw-r--r--
4112
snapshot-interface.cc
blob
|
history
|
raw
-rw-r--r--
592
snapshot-interface.h
blob
|
history
|
raw
-rw-r--r--
16580
snapshot.cc
blob
|
history
|
raw
-rw-r--r--
408
snapshot.h
blob
|
history
|
raw
-rw-r--r--
2638
stacktrace.h
blob
|
history
|
raw
-rw-r--r--
8835
stl-model.h
blob
|
history
|
raw
drwxr-xr-x
-
test
tree
|
history
-rw-r--r--
6106
threads-model.h
blob
|
history
|
raw
-rw-r--r--
13002
threads.cc
blob
|
history
|
raw
-rw-r--r--
1457
traceanalysis.h
blob
|
history
|
raw
-rw-r--r--
5196
waitobj.cc
blob
|
history
|
raw
-rw-r--r--
1467
waitobj.h
blob
|
history
|
raw