projects / c11tester.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Implement both pthread_yield and c++ thread yield
2019-11-15 rootbug fixe
 commit | commitdiff | tree
2019-08-01 rootSwitch from pipes to temporary file to store program...
commit | commitdiff | tree
2019-08-01 rootadd sleep support
 commit | commitdiff | tree
2019-07-31 roottabbing
 commit | commitdiff | tree
2019-07-31 rootbug fix for snapshotting code
 commit | commitdiff | tree
2019-07-31 rootbug fix
 commit | commitdiff | tree
2019-07-31 rootbug fixes
 commit | commitdiff | tree
2019-07-30 rootedits
 commit | commitdiff | tree
2019-07-30 rootedits
 commit | commitdiff | tree
2019-07-30 rootmore code
 commit | commitdiff | tree
2019-07-30 rootmore fixes
 commit | commitdiff | tree
2019-07-30 roottowards getting rid of STL
 commit | commitdiff | tree
2019-07-30 rootremove STL vector
 commit | commitdiff | tree
2019-07-29 rootedits
 commit | commitdiff | tree
2019-07-29 rootFix performance issue
 commit | commitdiff | tree
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
commit | commitdiff | tree
2019-07-29 rootbug fix
 commit | commitdiff | tree
2019-07-28 rootbug fix
 commit | commitdiff | tree
2019-07-28 rootedit
 commit | commitdiff | tree
2019-07-27 rootbug fix
 commit | commitdiff | tree
2019-07-27 rootremove print statements
 commit | commitdiff | tree
2019-07-27 rootLock model check when we terminate proxy thread
 commit | commitdiff | tree
2019-07-25 rootBug fixes to atomic logic
 commit | commitdiff | tree
2019-07-25 rootExperimental TLS support.
 commit | commitdiff | tree
2019-07-24 rootMake everything do stores + add more buffer for printing
 commit | commitdiff | tree
2019-07-23 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
commit | commitdiff | tree
2019-07-23 rootAdd model checker check before trylock
 commit | commitdiff | tree
2019-07-22 rootremove some datarace code
 commit | commitdiff | tree
2019-07-22 rootfix conflict
 commit | commitdiff | tree
2019-07-19 rootMore code towards support non-atomic stores
 commit | commitdiff | tree
2019-07-11 rootGet data race detector working... Commented out function...
commit | commitdiff | tree
2019-07-03 rootget rid of nodestack
 commit | commitdiff | tree
2019-07-03 rootFork handler mitigations
 commit | commitdiff | tree
2019-07-03 rootFix printf compile issue
 commit | commitdiff | tree
2019-07-02 rootbug fix
 commit | commitdiff | tree
2019-06-29 rootadd pthread_detach function
 commit | commitdiff | tree
2019-06-29 rootbug fixes
 commit | commitdiff | tree
2019-06-28 roottabbing plus lots of memory fixes
 commit | commitdiff | tree
2019-06-28 roottowards not calling system malloc
 commit | commitdiff | tree
2019-06-27 rootbug fixes
 commit | commitdiff | tree
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit | commitdiff | tree
2019-06-26 rootchanges
 commit | commitdiff | tree
2019-06-21 rootchange exit we call so we don't call into client code
 commit | commitdiff | tree
2019-06-21 rootprune mod order
 commit | commitdiff | tree
2019-06-19 rootmerge
 commit | commitdiff | tree
C11 Tester Tool Public Repository