2019-07-30 weiyubug fix
2019-07-30 weiyumove write_history to funcnode.cc was a mistake
2019-07-30 weiyumove write_history to funcnode.cc and do experiment
2019-07-29 weiyufix bug
2019-07-29 weiyuadd pthread_cond_destory
2019-07-29 weiyuperformance fix
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-27 weiyuplanning to build a predicate generator based on values...
2019-07-25 weiyulittle fixes
2019-07-25 weiyuavoid the use of 'func_id_list_t *' to prevent potentia...
2019-07-24 rootMake everything do stores + add more buffer for printing
2019-07-23 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-23 weiyufix bug
2019-07-23 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-07-23 rootAdd model checker check before trylock
2019-07-23 weiyuinitialize the newly added element in the vector when...
2019-07-23 bdemskyName change
2019-07-23 bdemskyRemove mention of CDSChecker
2019-07-22 Brian Demskybug fix
2019-07-22 rootremove some datarace code
2019-07-22 Brian Demskyfix merge issue
2019-07-22 Brian Demskyvolatile support
2019-07-22 rootfix conflict
2019-07-22 weiyuadd function calls for volatile loads and stores
2019-07-22 Brian DemskySupport for reading from nonatomic stores...A little...
2019-07-22 weiyuadd a special order for volatile loads and stores
2019-07-20 weiyuable to get a FuncNode by function id
2019-07-19 weiyumove the 'link_insts' method to FuncNode class
2019-07-19 weiyuchange the data structure for storing last read values...
2019-07-19 weiyuadd pthread_cond_broadcast
2019-07-19 rootMore code towards support non-atomic stores
2019-07-19 weiyuadd a data structure to store the values read by last...
2019-07-19 bdemskyAdd support for converting normal writes into ModelActi...
2019-07-18 weiyuname variables
2019-07-18 weiyufunction id should start with 1 rather than 0
2019-07-17 bdemskyTrack whether a write was from an atomic
2019-07-16 bdemskyMake atomics actually write to memory for compatibility...
2019-07-16 bdemskyeliminate redundancy
2019-07-16 bdemskyTowards not reporting the same datarace twice
2019-07-16 bdemskyrun tabbing pass
2019-07-16 weiyuallow the fuzzer to continue if only a few data races...
2019-07-15 weiyufix a bug about RaceRecord capacity
2019-07-15 bdemskyadd asserts
2019-07-15 weiyuignore futex notify if no successful futex wait was...
2019-07-15 weiyuuse the hashset and hashtable implementation from satch...
2019-07-12 weiyufix a bug in cds_func_exit
2019-07-12 weiyufix a bug
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-11 weiyucommit stuff before merge
2019-07-11 rootGet data race detector working... Commented out functi...
2019-07-10 weiyuaugment hashtable with keyset
2019-07-09 weiyuadd entry atomic instructions to FuncNode
2019-07-08 weiyuupdate Makefile and fix compilation error for printf...
2019-07-08 weiyumerge and resolve conflict
2019-07-08 weiyuadd a new data structure in execution.h, which is used...
2019-07-08 weiyufactor out codes for FuncInst class
2019-07-06 weiyutemporarily remove assertion for 'lock access before...
2019-07-06 weiyuadd func_map_rev to map function ids to function names
2019-07-03 bdemskyMaintain list of writes
2019-07-03 bdemskyOptimize SC lookup
2019-07-03 Brian Demskyclean up code
2019-07-03 rootget rid of nodestack
2019-07-03 rootFork handler mitigations
2019-07-03 rootFix printf compile issue
2019-07-02 rootbug fix
2019-07-02 bdemskymemoize hb in writes
2019-07-01 weiyuresolve git conflict
2019-07-01 weiyufix git conflict
2019-06-30 Brian DemskyDon't call printf
2019-06-29 bdemskymove check
2019-06-29 rootadd pthread_detach function
2019-06-29 Brian DemskyFix bug
2019-06-29 rootbug fixes
2019-06-28 weiyumove work_list (thrd_func_list) from history.h to execu...
2019-06-28 roottabbing plus lots of memory fixes
2019-06-28 roottowards not calling system malloc
2019-06-28 weiyuchange data structures
2019-06-27 rootbug fixes
2019-06-27 bdemskyrevamp scheduler so we can start threads early
2019-06-27 weiyuupdate Makefile
2019-06-27 weiyufactor codes in history.* and move it to funcnode.*
2019-06-27 weiyuchange func_atomics and work_list to vectors
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 bdemskyadd more functions
2019-06-26 bdemskyRedo params
2019-06-26 bdemskymore fixes
2019-06-26 bdemskybug fixes
2019-06-26 bdemskymore bug fixes
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-26 rootchanges
2019-06-26 bdemskyMore changes
2019-06-26 bdemskyget rid of some compile errors and warnings
2019-06-26 bdemskyredo model object initialization
2019-06-25 weiyuadd a new class 'ModelHistory'
2019-06-24 weiyufix a bug for ATOMIC_RMWCAS
2019-06-24 weiyuupdate test cases
2019-06-24 weiyuadd run time library for function entries and exits
2019-06-24 weiyuadd a separate rule for futex.o
2019-06-21 rootchange exit we call so we don't call into client code
2019-06-21 bdemskyfix CAS operation