2020-08-29 Brian Demskybug fix
2020-08-29 Brian DemskyEliminate system context
2020-08-29 weiyuRewrite recursion in terms of loops; make it a bit...
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into...
2020-08-25 weiyuedits
2020-08-24 weiyuRemove duplicate functions
2020-08-24 weiyuBug fix for spsc-queue test
2020-08-24 weiyuBug fix
2020-08-24 Derek Yehuncomment out code
2020-08-22 weiyuOnly consume THREAD_FINISH action in the master context
2020-08-11 weiyuReplace some switch_to_master with switch_thread
2020-08-10 weiyuedits
2020-08-07 Derek Yehadd consume to run
2020-08-07 Derek Yehfix getNextThread func
2020-08-02 Derek Yehrename params
2020-08-02 Derek Yehfix sleeping bug
2020-07-31 Derek Yehfix edge case
2020-07-31 Derek Yehfix thread switch
2020-07-29 Derek Yehfix edge case
2020-07-28 Derek Yehfix bugs
2020-07-27 Derek Yehremove overhead for execution
2020-07-24 Derek Yehadd thread choosing in switch func
2020-07-22 bdemskyBug fix
2020-07-22 Derek Yehfix warnings
2020-07-21 bdemskyHandle pathological case
2020-07-21 bdemskyApproach 2
2020-07-17 Derek Yehadd switch thread function
2020-07-10 weiyuAdd macro for recording atomic statics and report data...
2020-05-28 weiyuMerge branch 'firefox-test' of /home/git/random-fuzzer...
2020-05-28 weiyuCount some statistics
2020-05-28 Brian Demskyfix memory leak
2020-04-22 weiyuTiny fix
2020-04-22 Brian Demskychanges
2020-04-22 weiyuOptimize on aligned memory access
2020-04-21 weiyuDefine invalid shadow value
2020-04-21 weiyuOptimize data race detector
2020-04-20 weiyuOptimize RaceCheckRead
2020-04-17 weiyuReimplement hash table remove method
2020-04-16 weiyuedits
2020-04-15 weiyuFix bug when vectors of action lists get reallocated
2020-04-10 weiyuMerge branch 'newactionlist' of /home/git/random-fuzzer...
2020-04-09 Brian DemskyMerge branch 'newactionlist' of ssh://plrg.eecs.uci...
2020-04-09 Brian DemskyFix mistakes in refactoring
2020-04-08 rootrevert check
2020-04-08 Brian Demskycleanup code and fix bug
2020-04-08 weiyuUse simple_action_list for conditionvariable waiters
2020-04-07 Brian Demskymore bug fixes
2020-04-07 Brian Demskytabbing
2020-04-07 rootbug fixes
2020-04-07 rootBug fixes
2020-04-07 Brian DemskyRedesign actionlist and change acquire fence
2020-04-06 weiyuFix waiter list
2020-04-03 weiyuDo not report deadlock on relocking a recursive mutex...
2020-03-25 weiyuMake our pthread id starts from 2. Reserve id 1 for...
2020-03-21 weiyuAdd pthread functions
2020-03-20 weiyuFix typo
2020-02-26 weiyuEdits
2020-02-25 weiyuRedirect output after taking snapshots
2020-02-25 weiyuFix memory issue; ModelList should be cleared before...
2020-02-19 weiyuEdits
2020-02-19 weiyuAdd failed predicates to predicate trace; remove unused...
2020-02-19 weiyuEdits
2020-02-17 weiyuTiny fix
2020-02-17 weiyuBug fix
2020-02-15 weiyuRemove the uses of inst_act_maps
2020-02-14 weiyuNeed to handle recursive calls
2020-02-13 weiyuAssign each predicate's initial weight ad 100. Remove...
2020-02-13 weiyuHandle predicate weight updates
2020-02-12 weiyuFix bug about recursive function calls
2020-02-12 weiyuRemove redundant data structures and FuncNode's depende...
2020-02-11 weiyuEager update predicate trees rather than lazy update...
2020-01-31 weiyuFix typo
2020-01-31 weiyuComplete the transfer of deletions of some actions
2020-01-30 weiyuSeparate the marking algorithm and action removal algorithm
2020-01-29 weiyuImprove the algorithm that marks which actions are...
2020-01-25 Brian DemskyAdd some debug support code
2020-01-16 weiyuToward transferring the removal of some actions from...
2020-01-08 weiyuBug fix
2020-01-07 Brian DemskyBug fix
2020-01-07 rootbug fix
2020-01-07 Brian DemskyMy configuration
2020-01-06 Brian DemskyFix bug by only putting reads or writes in objthrdmap
2020-01-06 weiyuBug fix for removing ATOMIC_WAIT actions
2019-12-31 rootmore bugs
2019-12-31 rootbug fix
2019-12-31 Brian DemskyImprove documentation
2019-12-31 Brian DemskyBug fixes
2019-12-30 Brian Demskybug fix
2019-12-30 rootbug fixes
2019-12-30 Brian Demskyhandle last action with nop
2019-12-30 rootdifs
2019-12-26 rootBug fix
2019-12-26 Brian DemskyBug fix
2019-12-26 rootMore bug fixes
2019-12-26 rootBug fixes and make Fuzzer selectable
2019-12-26 rootFix bug
2019-12-20 rootFix bug Weiyu found
2019-12-19 rootbug fixes
2019-12-19 weiyuBug fix
2019-12-18 Brian Demskybug fix...