Implement timedwait
[c11tester.git] / fuzzer.cc
2020-09-11 weiyuImplement timedwait
2020-09-10 weiyuImplement spurious wakeup for ATOMIC_WAIT
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into...
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-04-07 Brian DemskyRedesign actionlist and change acquire fence
2019-12-26 rootBug fixes and make Fuzzer selectable
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
2019-10-18 weiyuModified the implementation of usleep and make ModelExe...
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-01 weiyumerge
2019-08-01 rootadd sleep support
2019-07-31 weiyumerge
2019-07-31 bdemskyGet code to compile
2019-07-30 rootedits
2019-07-08 weiyumerge and resolve conflict
2019-07-03 rootget rid of nodestack
2019-07-02 bdemskymemoize hb in writes
2019-06-20 Brian DemskyOptimizations
2019-06-19 rootmerge
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-12 bdemskyMerge branch 'new_fuzzer' into tmp
2019-06-12 bdemskypartial edits
2019-06-11 bdemskyfix tabbing
2019-06-11 bdemskyremove extra cyclegraph calls
2019-06-06 bdemskyrefactor choices into own class