experiment with adding NULLITY predicate
[c11tester.git] / funcnode.h
2019-08-14 weiyuexperiment with adding NULLITY predicate
2019-08-13 weiyudo optimization for FuncNode::update_tree
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 weiyutoward updating predicate trees every time a function...
2019-08-03 weiyutoward building a naive predicate tree
2019-08-01 weiyumerge
2019-08-01 weiyuchange the data structure of thrd_func_inst_list becaus...
2019-07-31 weiyumerge
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 bdemskyedits
2019-07-29 weiyuperformance fix
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
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-22 rootfix conflict
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 a data structure to store the values read by last...
2019-07-16 bdemskyrun tabbing pass
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-11 weiyucommit stuff before merge
2019-07-09 weiyuadd entry atomic instructions to FuncNode
2019-07-08 weiyumerge and resolve conflict
2019-07-08 weiyufactor out codes for FuncInst class
2019-07-06 weiyuadd func_map_rev to map function ids to function names
2019-07-01 weiyufix git conflict
2019-06-28 weiyumove work_list (thrd_func_list) from history.h to execu...
2019-06-28 weiyuchange data structures
2019-06-27 weiyufactor codes in history.* and move it to funcnode.*