projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
2020-05-28 weiyuCount some statistics 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
2020-01-07 Brian DemskyBug fix commit | commitdiff | tree | snapshot
2020-01-07 rootbug fix commit | commitdiff | tree | snapshot
2020-01-07 Brian DemskyMy configuration commit | commitdiff | tree | snapshot
2020-01-06 Brian DemskyFix bug by only putting reads or writes in objthrdmap commit | commitdiff | tree | snapshot
2020-01-06 weiyuBug fix for removing ATOMIC_WAIT actions commit | commitdiff | tree | snapshot
2019-12-31 rootmore bugs commit | commitdiff | tree | snapshot
2019-12-31 rootbug fix commit | commitdiff | tree | snapshot
2019-12-31 Brian DemskyImprove documentation commit | commitdiff | tree | snapshot
2019-12-31 Brian DemskyBug fixes commit | commitdiff | tree | snapshot
2019-12-30 Brian Demskybug fix commit | commitdiff | tree | snapshot
2019-12-30 rootbug fixes commit | commitdiff | tree | snapshot
2019-12-30 Brian Demskyhandle last action with nop commit | commitdiff | tree | snapshot
2019-12-30 rootdifs commit | commitdiff | tree | snapshot
2019-12-26 rootBug fix commit | commitdiff | tree | snapshot
2019-12-26 Brian DemskyBug fix commit | commitdiff | tree | snapshot
2019-12-26 rootMore bug fixes commit | commitdiff | tree | snapshot
2019-12-26 rootBug fixes and make Fuzzer selectable commit | commitdiff | tree | snapshot
2019-12-26 rootFix bug commit | commitdiff | tree | snapshot
2019-12-20 rootFix bug Weiyu found commit | commitdiff | tree | snapshot
2019-12-19 rootbug fixes commit | commitdiff | tree | snapshot
2019-12-19 weiyuBug fix commit | commitdiff | tree | snapshot
2019-12-18 Brian Demskybug fix... commit | commitdiff | tree | snapshot
2019-12-16 rootmerge commit | commitdiff | tree | snapshot
2019-12-16 rootBug fixes commit | commitdiff | tree | snapshot
2019-12-16 Brian DemskyMore code towards freeing old actions commit | commitdiff | tree | snapshot
2019-12-16 Brian DemskyMore code towards freeing old actions commit | commitdiff | tree | snapshot
2019-12-15 Brian DemskyMore work towards freeing old ModelActions commit | commitdiff | tree | snapshot
2019-12-14 weiyuIncorporate failed predicates in weights commit | commitdiff | tree | snapshot
2019-12-13 weiyuRemove the code that checks store visibility, not being... commit | commitdiff | tree | snapshot
2019-12-13 Brian Demskytowards freeing actions commit | commitdiff | tree | snapshot
2019-12-13 weiyuWeight-based random walk commit | commitdiff | tree | snapshot
2019-12-12 weiyuDelete set iterator pointers to prevent memory leaks... commit | commitdiff | tree | snapshot
2019-12-12 Brian DemskyAdd ref counts to CycleGraph commit | commitdiff | tree | snapshot
2019-12-12 Brian DemskyGet rid of uninitialized actions and just use non-atomi... commit | commitdiff | tree | snapshot
2019-12-12 Brian DemskyTowards erase method commit | commitdiff | tree | snapshot
2019-12-12 Brian DemskyMerge commit | commitdiff | tree | snapshot
2019-12-12 Brian DemskyAdd references to lists commit | commitdiff | tree | snapshot
2019-12-12 Brian DemskyFix warning commit | commitdiff | tree | snapshot
2019-12-12 Brian DemskyAdd functions to SnapList plus tabbing commit | commitdiff | tree | snapshot
2019-12-12 weiyuFix segfault at the first lock action commit | commitdiff | tree | snapshot
2019-12-12 weiyuSmall edits commit | commitdiff | tree | snapshot
2019-12-12 weiyuFix a bug in predicate.cc and declare 3 hashtables... commit | commitdiff | tree | snapshot
2019-12-10 weiyuSilence -Wreorder commit | commitdiff | tree | snapshot
2019-12-10 weiyuMove data structures from execution.h to history.h commit | commitdiff | tree | snapshot
2019-12-10 weiyuMerge branch 'master' into branch-weiyu commit | commitdiff | tree | snapshot
2019-12-10 weiyuStore the set of predicate leaves in FuncNode commit | commitdiff | tree | snapshot
2019-12-10 Brian Demskysmall edits commit | commitdiff | tree | snapshot
2019-12-10 Brian DemskyRevamp obj_map for just what it is used for commit | commitdiff | tree | snapshot
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci... commit | commitdiff | tree | snapshot
2019-12-09 weiyuexperiment with exponential decay model commit | commitdiff | tree | snapshot
2019-12-07 Brian Demskyremove test cases commit | commitdiff | tree | snapshot
2019-12-07 rootRemove snapshot stack commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository