remove unused code
Fix a bug in memcpy, implement memset, and remove model_thread
Try to catch data races for memcpy
Change initialize a bit
small changes
Find a faster way to get currently executing thread's id
Small changes; slightly faster than tsan11rec in jsbench now
Small edits
Simplify code
add support for freeing threads
Eliminate system context
Rewrite recursion in terms of loops; make it a bit faster
Merge branch 'master' of /home/git/random-fuzzer into thread-switch
Remove duplicate functions
Bug fix
add consume to run
rename params
fix sleeping bug
fix edge case
remove overhead for execution