projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
2022-09-21 weiyuUpdate readme master commit | commitdiff | tree | snapshot
2020-12-12 weiyuseed random number generator with time vagrant commit | commitdiff | tree | snapshot
2020-12-08 weiyuremove unused code commit | commitdiff | tree | snapshot
2020-09-16 weiyuRemove unused headers commit | commitdiff | tree | snapshot
2020-09-16 weiyuRemove unused functions and optimize data race checking... commit | commitdiff | tree | snapshot
2020-09-16 weiyuAdd memmove and bzero commit | commitdiff | tree | snapshot
2020-09-15 weiyuAdd back model_thread; it is still needed commit | commitdiff | tree | snapshot
2020-09-15 weiyuFix a bug in memcpy, implement memset, and remove model... commit | commitdiff | tree | snapshot
2020-09-15 weiyuTry to catch data races for memcpy commit | commitdiff | tree | snapshot
2020-09-11 weiyuImplement timedwait commit | commitdiff | tree | snapshot
2020-09-10 weiyuImplement spurious wakeup for ATOMIC_WAIT commit | commitdiff | tree | snapshot
2020-09-09 weiyuAdd file commit | commitdiff | tree | snapshot
2020-09-05 weiyuAdd support for epoll commit | commitdiff | tree | snapshot
2020-09-05 weiyuChange initialize a bit commit | commitdiff | tree | snapshot
2020-09-05 weiyufix mutex_trylock bug commit | commitdiff | tree | snapshot
2020-09-04 weiyusmall changes commit | commitdiff | tree | snapshot
2020-09-03 weiyuFind a faster way to get currently executing thread... commit | commitdiff | tree | snapshot
2020-09-03 weiyuRemove unused functions commit | commitdiff | tree | snapshot
2020-09-02 weiyuSmall changes; slightly faster than tsan11rec in jsbenc... commit | commitdiff | tree | snapshot
2020-09-02 weiyuSmall edits commit | commitdiff | tree | snapshot
2020-08-30 Brian DemskySimplify code commit | commitdiff | tree | snapshot
2020-08-29 Brian Demskyadd support for freeing threads commit | commitdiff | tree | snapshot
2020-08-29 Brian Demskybug fix commit | commitdiff | tree | snapshot
2020-08-29 Brian DemskyEliminate system context commit | commitdiff | tree | snapshot
2020-08-29 weiyuRewrite recursion in terms of loops; make it a bit... commit | commitdiff | tree | snapshot
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into... commit | commitdiff | tree | snapshot
2020-08-25 weiyuedits commit | commitdiff | tree | snapshot
2020-08-24 weiyuRemove duplicate functions commit | commitdiff | tree | snapshot
2020-08-24 weiyuBug fix for spsc-queue test commit | commitdiff | tree | snapshot
2020-08-24 weiyuBug fix commit | commitdiff | tree | snapshot
2020-08-24 Derek Yehuncomment out code commit | commitdiff | tree | snapshot
2020-08-22 weiyuOnly consume THREAD_FINISH action in the master context commit | commitdiff | tree | snapshot
2020-08-11 weiyuReplace some switch_to_master with switch_thread commit | commitdiff | tree | snapshot
2020-08-10 weiyuedits commit | commitdiff | tree | snapshot
2020-08-07 Derek Yehadd consume to run commit | commitdiff | tree | snapshot
2020-08-07 Derek Yehfix getNextThread func commit | commitdiff | tree | snapshot
2020-08-02 Derek Yehrename params commit | commitdiff | tree | snapshot
2020-08-02 Derek Yehfix sleeping bug commit | commitdiff | tree | snapshot
2020-07-31 Derek Yehfix edge case commit | commitdiff | tree | snapshot
2020-07-31 Derek Yehfix thread switch commit | commitdiff | tree | snapshot
2020-07-29 Derek Yehfix edge case commit | commitdiff | tree | snapshot
2020-07-28 Derek Yehfix bugs commit | commitdiff | tree | snapshot
2020-07-27 Derek Yehremove overhead for execution commit | commitdiff | tree | snapshot
2020-07-24 Derek Yehadd thread choosing in switch func commit | commitdiff | tree | snapshot
2020-07-22 bdemskyBug fix commit | commitdiff | tree | snapshot
2020-07-22 Derek Yehfix warnings commit | commitdiff | tree | snapshot
2020-07-21 bdemskyHandle pathological case commit | commitdiff | tree | snapshot
2020-07-21 bdemskyApproach 2 commit | commitdiff | tree | snapshot
2020-07-17 Derek Yehadd switch thread function commit | commitdiff | tree | snapshot
2020-07-10 weiyuAdd macro for recording atomic statics and report data... commit | commitdiff | tree | snapshot
2020-05-28 weiyuMerge branch 'firefox-test' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2020-05-28 weiyuCount some statistics commit | commitdiff | tree | snapshot
2020-05-28 Brian Demskyfix memory leak commit | commitdiff | tree | snapshot
2020-04-22 weiyuTiny fix commit | commitdiff | tree | snapshot
2020-04-22 Brian Demskychanges commit | commitdiff | tree | snapshot
2020-04-22 weiyuOptimize on aligned memory access commit | commitdiff | tree | snapshot
2020-04-21 weiyuDefine invalid shadow value commit | commitdiff | tree | snapshot
2020-04-21 weiyuOptimize data race detector commit | commitdiff | tree | snapshot
2020-04-20 weiyuOptimize RaceCheckRead commit | commitdiff | tree | snapshot
2020-04-17 weiyuReimplement hash table remove method commit | commitdiff | tree | snapshot
2020-04-16 weiyuedits commit | commitdiff | tree | snapshot
2020-04-15 weiyuFix bug when vectors of action lists get reallocated commit | commitdiff | tree | snapshot
2020-04-10 weiyuMerge branch 'newactionlist' of /home/git/random-fuzzer... commit | commitdiff | tree | snapshot
2020-04-09 Brian DemskyMerge branch 'newactionlist' of ssh://plrg.eecs.uci... commit | commitdiff | tree | snapshot
2020-04-09 Brian DemskyFix mistakes in refactoring commit | commitdiff | tree | snapshot
2020-04-08 rootrevert check commit | commitdiff | tree | snapshot
2020-04-08 Brian Demskycleanup code and fix bug commit | commitdiff | tree | snapshot
2020-04-08 weiyuUse simple_action_list for conditionvariable waiters commit | commitdiff | tree | snapshot
2020-04-07 Brian Demskymore bug fixes commit | commitdiff | tree | snapshot
2020-04-07 Brian Demskytabbing commit | commitdiff | tree | snapshot
2020-04-07 rootbug fixes commit | commitdiff | tree | snapshot
2020-04-07 rootBug fixes commit | commitdiff | tree | snapshot
2020-04-07 Brian DemskyRedesign actionlist and change acquire fence commit | commitdiff | tree | snapshot
2020-04-06 weiyuFix waiter list commit | commitdiff | tree | snapshot
2020-04-03 weiyuDo not report deadlock on relocking a recursive mutex... commit | commitdiff | tree | snapshot
2020-03-25 weiyuMake our pthread id starts from 2. Reserve id 1 for... commit | commitdiff | tree | snapshot
2020-03-21 weiyuAdd pthread functions commit | commitdiff | tree | snapshot
2020-03-20 weiyuFix typo commit | commitdiff | tree | snapshot
2020-02-26 weiyuEdits commit | commitdiff | tree | snapshot
2020-02-25 weiyuRedirect output after taking snapshots commit | commitdiff | tree | snapshot
2020-02-25 weiyuFix memory issue; ModelList should be cleared before... commit | commitdiff | tree | snapshot
2020-02-19 weiyuEdits commit | commitdiff | tree | snapshot
2020-02-19 weiyuAdd failed predicates to predicate trace; remove unused... commit | commitdiff | tree | snapshot
2020-02-19 weiyuEdits commit | commitdiff | tree | snapshot
2020-02-17 weiyuTiny fix commit | commitdiff | tree | snapshot
2020-02-17 weiyuBug fix commit | commitdiff | tree | snapshot
2020-02-15 weiyuRemove the uses of inst_act_maps commit | commitdiff | tree | snapshot
2020-02-14 weiyuNeed to handle recursive calls commit | commitdiff | tree | snapshot
2020-02-13 weiyuAssign each predicate's initial weight ad 100. Remove... commit | commitdiff | tree | snapshot
2020-02-13 weiyuHandle predicate weight updates commit | commitdiff | tree | snapshot
2020-02-12 weiyuFix bug about recursive function calls commit | commitdiff | tree | snapshot
2020-02-12 weiyuRemove redundant data structures and FuncNode's depende... commit | commitdiff | tree | snapshot
2020-02-11 weiyuEager update predicate trees rather than lazy update... commit | commitdiff | tree | snapshot
2020-01-31 weiyuFix typo commit | commitdiff | tree | snapshot
2020-01-31 weiyuComplete the transfer of deletions of some actions commit | commitdiff | tree | snapshot
2020-01-30 weiyuSeparate the marking algorithm and action removal algorithm commit | commitdiff | tree | snapshot
2020-01-29 weiyuImprove the algorithm that marks which actions are... commit | commitdiff | tree | snapshot
2020-01-25 Brian DemskyAdd some debug support code commit | commitdiff | tree | snapshot
2020-01-16 weiyuToward transferring the removal of some actions from... commit | commitdiff | tree | snapshot
2020-01-08 weiyuBug fix commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository