Version that finds the bug of iris
[c11tester.git] / newfuzzer.h
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...