projects
/
c11tester.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
snapshot
bug fixes
-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--
2087
Makefile
blob
|
history
|
raw
-rw-r--r--
9696
README.md
blob
|
history
|
raw
-rw-r--r--
20152
action.cc
blob
|
history
|
raw
-rw-r--r--
8345
action.h
blob
|
history
|
raw
-rw-r--r--
6127
actionlist.cc
blob
|
history
|
raw
-rw-r--r--
998
actionlist.h
blob
|
history
|
raw
-rw-r--r--
425
bugmessage.h
blob
|
history
|
raw
-rw-r--r--
1410
classlist.h
blob
|
history
|
raw
-rw-r--r--
3694
clockvector.cc
blob
|
history
|
raw
-rw-r--r--
739
clockvector.h
blob
|
history
|
raw
-rw-r--r--
15592
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--
1451
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--
10281
cyclegraph.cc
blob
|
history
|
raw
-rw-r--r--
2804
cyclegraph.h
blob
|
history
|
raw
-rw-r--r--
22028
datarace.cc
blob
|
history
|
raw
-rw-r--r--
3111
datarace.h
blob
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
56789
execution.cc
blob
|
history
|
raw
-rw-r--r--
6930
execution.h
blob
|
history
|
raw
-rw-r--r--
3282
funcinst.cc
blob
|
history
|
raw
-rw-r--r--
2359
funcinst.h
blob
|
history
|
raw
-rw-r--r--
25194
funcnode.cc
blob
|
history
|
raw
-rw-r--r--
5468
funcnode.h
blob
|
history
|
raw
-rw-r--r--
2005
futex.cc
blob
|
history
|
raw
-rw-r--r--
1231
fuzzer.cc
blob
|
history
|
raw
-rw-r--r--
673
fuzzer.h
blob
|
history
|
raw
-rw-r--r--
439
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--
9517
hashtable.h
blob
|
history
|
raw
-rw-r--r--
16230
history.cc
blob
|
history
|
raw
-rw-r--r--
3470
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--
5409
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--
13715
model.cc
blob
|
history
|
raw
-rw-r--r--
2807
model.h
blob
|
history
|
raw
-rw-r--r--
739
mutex.cc
blob
|
history
|
raw
-rw-r--r--
2887
mymemory.cc
blob
|
history
|
raw
-rw-r--r--
7283
mymemory.h
blob
|
history
|
raw
-rw-r--r--
13121
newfuzzer.cc
blob
|
history
|
raw
-rw-r--r--
2177
newfuzzer.h
blob
|
history
|
raw
-rw-r--r--
436
output.h
blob
|
history
|
raw
-rw-r--r--
444
params.h
blob
|
history
|
raw
-rw-r--r--
551
pipe.cc
blob
|
history
|
raw
-rw-r--r--
453
plugins.cc
blob
|
history
|
raw
-rw-r--r--
241
plugins.h
blob
|
history
|
raw
-rw-r--r--
4336
predicate.cc
blob
|
history
|
raw
-rw-r--r--
3037
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--
7564
pthread.cc
blob
|
history
|
raw
-rwxr-xr-x
682
run.sh
blob
|
history
|
raw
-rw-r--r--
6441
schedule.cc
blob
|
history
|
raw
-rw-r--r--
1470
schedule.h
blob
|
history
|
raw
-rw-r--r--
1769
sleeps.cc
blob
|
history
|
raw
-rw-r--r--
561
snapshot-interface.h
blob
|
history
|
raw
-rw-r--r--
6782
snapshot.cc
blob
|
history
|
raw
-rw-r--r--
227
snapshot.h
blob
|
history
|
raw
-rw-r--r--
2638
stacktrace.h
blob
|
history
|
raw
-rw-r--r--
9512
stl-model.h
blob
|
history
|
raw
-rw-r--r--
6338
threads-model.h
blob
|
history
|
raw
-rw-r--r--
13392
threads.cc
blob
|
history
|
raw
-rw-r--r--
1457
traceanalysis.h
blob
|
history
|
raw
-rw-r--r--
5249
waitobj.cc
blob
|
history
|
raw
-rw-r--r--
1467
waitobj.h
blob
|
history
|
raw