2019-08-14 weiyuexperiment with adding NULLITY predicate
2019-08-13 weiyudo optimization for FuncNode::update_tree
2019-08-12 weiyurevert commit
2019-08-12 weiyufix a bug about get_reads_from_value
2019-08-09 weiyuget rid of read_val_map; A bug is discovered.
2019-08-09 weiyufix bug - 'backedge' in predicate.cc uninitialized
2019-08-09 weiyufix bug
2019-08-08 weiyuadd a dummy predicate entry node to make code simpler...
2019-08-08 weiyurestructrue code of funcnode.cc, and planning for addin...
2019-08-07 weiyuSplit FuncNode::get_or_add_inst into two separate funct...
2019-08-06 weiyumove modelhistory code back
2019-08-06 weiyutoward updating predicate trees every time a function...
2019-08-05 weiyumove the codes that add actions to thrd_func_act_lists...
2019-08-05 weiyufix a bug and print predicate tree in xdot syntax
2019-08-03 weiyutoward building a naive predicate tree
2019-08-03 weiyuadd print
2019-08-02 weiyumove code around
2019-08-01 weiyuunlink the extra tmp file generated
2019-08-01 weiyulittle fixes
2019-08-01 weiyumerge
2019-08-01 rootSwitch from pipes to temporary file to store program...
2019-08-01 Brian DemskyGet GDAX working.
2019-08-01 rootadd sleep support
2019-08-01 weiyuchange the data structure of thrd_func_inst_list becaus...
2019-07-31 weiyuinitialize memory location first
2019-07-31 weiyubug fix
2019-07-31 weiyufix bug
2019-07-31 weiyumerge
2019-07-31 roottabbing
2019-07-31 rootbug fix for snapshotting code
2019-07-31 rootbug fix
2019-07-31 weiyuchange some data structures
2019-07-31 rootbug fixes
2019-07-31 bdemskyGet code to compile
2019-07-30 weiyubug fix
2019-07-30 rootedits
2019-07-30 rootedits
2019-07-30 rootmore code
2019-07-30 weiyumove write_history to funcnode.cc was a mistake
2019-07-30 rootmore fixes
2019-07-30 roottowards getting rid of STL
2019-07-30 rootremove STL vector
2019-07-30 bdemskymore fixes
2019-07-30 weiyumove write_history to funcnode.cc and do experiment
2019-07-29 bdemskyedits
2019-07-29 rootedits
2019-07-29 weiyufix bug
2019-07-29 weiyuadd pthread_cond_destory
2019-07-29 weiyuperformance fix
2019-07-29 rootFix performance issue
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-29 rootbug fix
2019-07-28 rootbug fix
2019-07-28 rootedit
2019-07-28 bdemskyimprove complexity
2019-07-27 rootbug fix
2019-07-27 rootremove print statements
2019-07-27 rootLock model check when we terminate proxy thread
2019-07-27 bdemskyNew TLS strategy...
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 rootBug fixes to atomic logic
2019-07-25 rootExperimental TLS support.
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...