Remove a redundant SnapVector
[c11tester.git] / newfuzzer.cc
2019-10-18 weiyuRemove a redundant SnapVector
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-12 weiyuFix bug
2019-10-11 weiyuDesign a method to select predicate branches based...
2019-10-10 weiyuTurns out that calling Predicate::evaluate in FuncNode...
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-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-01 weiyuNotify threads paused by the Fuzzer when the desired...
2019-09-30 weiyuClear headers
2019-09-30 weiyuChange the return type of Predicate::evaluate
2019-09-30 weiyuFactor predicate expression types into a separate file
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...