projects
/
c11tester.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge branch 'master' into branch-weiyu
2019-12-07
root
Remove snapshot stack
commit
|
commitdiff
|
tree
2019-12-07
root
Fix bug with code to get rid of main
commit
|
commitdiff
|
tree
2019-12-07
root
bug fix
commit
|
commitdiff
|
tree
2019-12-07
root
Bug fix to model.cc
commit
|
commitdiff
|
tree
2019-11-27
root
Fix compile under clang
commit
|
commitdiff
|
tree
2019-11-27
root
Fix TLS
commit
|
commitdiff
|
tree
2019-11-15
root
bug fixe
commit
|
commitdiff
|
tree
2019-08-01
root
Switch from pipes to temporary file to store program...
commit
|
commitdiff
|
tree
2019-08-01
root
add sleep support
commit
|
commitdiff
|
tree
2019-07-31
root
tabbing
commit
|
commitdiff
|
tree
2019-07-31
root
bug fix for snapshotting code
commit
|
commitdiff
|
tree
2019-07-31
root
bug fix
commit
|
commitdiff
|
tree
2019-07-31
root
bug fixes
commit
|
commitdiff
|
tree
2019-07-30
root
edits
commit
|
commitdiff
|
tree
2019-07-30
root
edits
commit
|
commitdiff
|
tree
2019-07-30
root
more code
commit
|
commitdiff
|
tree
2019-07-30
root
more fixes
commit
|
commitdiff
|
tree
2019-07-30
root
towards getting rid of STL
commit
|
commitdiff
|
tree
2019-07-30
root
remove STL vector
commit
|
commitdiff
|
tree
2019-07-29
root
edits
commit
|
commitdiff
|
tree
2019-07-29
root
Fix performance issue
commit
|
commitdiff
|
tree
2019-07-29
root
Merge branch 'branch-weiyu' of /home/git/random-fuzzer...
commit
|
commitdiff
|
tree
2019-07-29
root
bug fix
commit
|
commitdiff
|
tree
2019-07-28
root
bug fix
commit
|
commitdiff
|
tree
2019-07-28
root
edit
commit
|
commitdiff
|
tree
2019-07-27
root
bug fix
commit
|
commitdiff
|
tree
2019-07-27
root
remove print statements
commit
|
commitdiff
|
tree
2019-07-27
root
Lock model check when we terminate proxy thread
commit
|
commitdiff
|
tree
2019-07-25
root
Bug fixes to atomic logic
commit
|
commitdiff
|
tree
2019-07-25
root
Experimental TLS support.
commit
|
commitdiff
|
tree
2019-07-24
root
Make everything do stores + add more buffer for printing
commit
|
commitdiff
|
tree
2019-07-23
root
Merge branch 'branch-weiyu' of /home/git/random-fuzzer...
commit
|
commitdiff
|
tree
2019-07-23
root
Add model checker check before trylock
commit
|
commitdiff
|
tree
2019-07-22
root
remove some datarace code
commit
|
commitdiff
|
tree
2019-07-22
root
fix conflict
commit
|
commitdiff
|
tree
2019-07-19
root
More code towards support non-atomic stores
commit
|
commitdiff
|
tree
2019-07-11
root
Get data race detector working... Commented out function...
commit
|
commitdiff
|
tree
2019-07-03
root
get rid of nodestack
commit
|
commitdiff
|
tree
2019-07-03
root
Fork handler mitigations
commit
|
commitdiff
|
tree
2019-07-03
root
Fix printf compile issue
commit
|
commitdiff
|
tree
2019-07-02
root
bug fix
commit
|
commitdiff
|
tree
2019-06-29
root
add pthread_detach function
commit
|
commitdiff
|
tree
2019-06-29
root
bug fixes
commit
|
commitdiff
|
tree
2019-06-28
root
tabbing plus lots of memory fixes
commit
|
commitdiff
|
tree
2019-06-28
root
towards not calling system malloc
commit
|
commitdiff
|
tree
2019-06-27
root
bug fixes
commit
|
commitdiff
|
tree
2019-06-26
root
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
|
tree
2019-06-26
root
changes
commit
|
commitdiff
|
tree
2019-06-21
root
change exit we call so we don't call into client code
commit
|
commitdiff
|
tree
2019-06-21
root
prune mod order
commit
|
commitdiff
|
tree
2019-06-19
root
merge
commit
|
commitdiff
|
tree