c11tester.git
2020-09-16 weiyuRemove unused headers master
2020-09-16 weiyuRemove unused functions and optimize data race checking...
2020-09-16 weiyuAdd memmove and bzero
2020-09-15 weiyuAdd back model_thread; it is still needed
2020-09-15 weiyuFix a bug in memcpy, implement memset, and remove model...
2020-09-15 weiyuTry to catch data races for memcpy
2020-09-11 weiyuImplement timedwait
2020-09-10 weiyuImplement spurious wakeup for ATOMIC_WAIT
2020-09-09 weiyuAdd file
2020-09-05 weiyuAdd support for epoll
2020-09-05 weiyuChange initialize a bit
2020-09-05 weiyufix mutex_trylock bug
2020-09-04 weiyusmall changes
2020-09-03 weiyuFind a faster way to get currently executing thread...
2020-09-03 weiyuRemove unused functions
2020-09-02 weiyuSmall changes; slightly faster than tsan11rec in jsbenc...
2020-09-02 weiyuSmall edits
2020-08-30 Brian DemskySimplify code
2020-08-29 Brian Demskyadd support for freeing threads
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
next