Add a hash function for 64-bit int to improve the performance of val_loc_map in FuncN...
[c11tester.git] / history.cc
2019-10-15 weiyuLittle adjustment
2019-10-11 weiyuDesign a method to select predicate branches based...
2019-10-10 weiyuPerformance fix; delete unused data structures
2019-10-09 weiyuSome edits
2019-10-09 weiyuToward implementing the counter approach to monitor...
2019-10-08 weiyuMonitor threads when they enter functions and decide...
2019-10-08 weiyuEvery time a thread enters a function, check whether...
2019-10-07 weiyuFix methods
2019-10-05 weiyuAdd some methods for WaitObj
2019-10-05 weiyuCreate WaitObj to store information about which thread...
2019-10-04 weiyuCompute the threads that a paused thread my wait for
2019-10-03 weiyuToward computing which threads a paused thread may...
2019-10-02 weiyuReorganize codes
2019-10-02 weiyuMove one snapshotted data structure from ModelHistory...
2019-10-02 weiyuFix a memory bug
2019-10-01 weiyuNotify threads paused by the Fuzzer when the desired...
2019-09-30 weiyuClear headers
2019-09-19 weiyuKeep track of which FuncNodes may write to a memory...
2019-09-16 weiyuConstruct the graph of methods based on the order that...
2019-09-13 weiyuAdd edges between FuncNodes
2019-09-12 weiyuChange action_list_buffer to snapshot memory instead...
2019-09-05 weiyuDo not process read actions paused by the fuzzer
2019-08-29 weiyuremove unused member functions
2019-08-28 weiyumove codes around in history.cc, and NewFuzzer::selectW...
2019-08-26 weiyuadd a data structrue to keep track of the run-time...
2019-08-23 weiyuget rid of an unused function
2019-08-22 weiyuupdate FuncNodes when there is a write
2019-08-21 weiyuadd helper functions; prepare for computing which memor...
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-20 weiyureset memory locations of FuncInsts when new executions...
2019-08-16 weiyudefer the initial update of predicate tree for a better...
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-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 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 fixes
2019-07-31 bdemskyGet code to compile
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 weiyuperformance fix
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-29 rootbug fix
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 rootExperimental TLS support.
2019-07-25 weiyulittle fixes
2019-07-25 weiyuavoid the use of 'func_id_list_t *' to prevent potentia...
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 weiyuinitialize the newly added element in the vector when...
2019-07-22 rootremove some datarace code
2019-07-22 rootfix conflict
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 weiyuadd a data structure to store the values read by last...
2019-07-18 weiyuname variables
2019-07-18 weiyufunction id should start with 1 rather than 0
2019-07-16 bdemskyrun tabbing pass
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-09 weiyuadd entry atomic instructions to FuncNode
2019-07-08 weiyumerge and resolve conflict
2019-07-08 weiyuadd a new data structure in execution.h, which is used...
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.*
2019-06-27 weiyuchange func_atomics and work_list to vectors
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-25 weiyuadd a new class 'ModelHistory'