fix memory leak
[c11tester.git] / newfuzzer.h
2020-04-17 weiyuReimplement hash table remove method
2020-04-10 weiyuMerge branch 'newactionlist' of /home/git/random-fuzzer...
2020-04-08 weiyuUse simple_action_list for conditionvariable waiters
2020-02-19 weiyuEdits
2020-02-17 weiyuBug fix
2020-02-15 weiyuRemove the uses of inst_act_maps
2020-02-13 weiyuHandle predicate weight updates
2020-01-07 rootbug fix
2019-12-26 rootBug fixes and make Fuzzer selectable
2019-12-16 rootmerge
2019-12-14 weiyuIncorporate failed predicates in weights
2019-12-13 weiyuRemove the code that checks store visibility, not being...
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
2019-12-05 weiyuBug fix
2019-12-04 weiyuRemove dead code
2019-12-04 weiyuFix NewFuzzer::selectWrite - check back edges
2019-11-26 bdemskyRun tabbing pass
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
2019-11-14 weiyuVersion that finds the bug of iris
2019-10-18 weiyuCalculate store visibility probability and change the...
2019-10-16 weiyuThe higher the sleep score, the more likely the fuzzer...
2019-10-16 weiyuFinal fix; needs to be careful about the side effect...
2019-10-15 weiyuFix
2019-10-15 weiyuAdd sleep score
2019-10-15 weiyuLittle adjustment
2019-10-11 weiyuDesign a method to select predicate branches based...
2019-10-09 weiyuSelect a new predicate branch when the selected branch...
2019-10-08 weiyuEvery time a thread enters a function, check whether...
2019-10-04 weiyuCompute the threads that a paused thread my wait for
2019-10-01 weiyuNotify threads paused by the Fuzzer when the desired...
2019-09-27 weiyuAble to evaluate predicate expression against a 'contex...
2019-09-06 weiyuModify the implementation of wait and timed wait operation
2019-09-05 weiyuWhen an atomic read action cannot read from a desired...
2019-08-29 weiyufix bug by changing MEMALLOC to SNAPSHOTALLOC
2019-08-29 weiyuimprove efficiency of selectWrite
2019-08-28 weiyumove codes around in history.cc, and NewFuzzer::selectW...
2019-08-28 weiyuonly select a new predicate branch when new read action...
2019-08-27 weiyusome edits to NewFuzzer
2019-08-26 weiyuinitial commit for declaring member functions of Fuzzer...