2019-09-27 | weiyu | Able to evaluate predicate expression against a 'contex... | blob | commitdiff | raw |
2019-09-06 | weiyu | Modify the implementation of wait and timed wait operation | blob | commitdiff | raw | diff to current |
2019-09-05 | weiyu | When an atomic read action cannot read from a desired... | blob | commitdiff | raw | diff to current |
2019-08-29 | weiyu | fix bug by changing MEMALLOC to SNAPSHOTALLOC | blob | commitdiff | raw | diff to current |
2019-08-29 | weiyu | improve efficiency of selectWrite | blob | commitdiff | raw | diff to current |
2019-08-28 | weiyu | move codes around in history.cc, and NewFuzzer::selectW... | blob | commitdiff | raw | diff to current |
2019-08-28 | weiyu | only select a new predicate branch when new read action... | blob | commitdiff | raw | diff to current |
2019-08-27 | weiyu | some edits to NewFuzzer | blob | commitdiff | raw | diff to current |
2019-08-26 | weiyu | initial commit for declaring member functions of Fuzzer... | blob | commitdiff | raw | diff to current |