projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
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
2019-12-07 rootFix bug with code to get rid of main commit | commitdiff | tree | snapshot
2019-12-07 rootbug fix commit | commitdiff | tree | snapshot
2019-12-07 rootBug fix to model.cc commit | commitdiff | tree | snapshot
2019-12-06 Brian DemskyRemove user_main_wrapper commit | commitdiff | tree | snapshot
2019-12-06 Brian DemskyMore work towards removing main commit | commitdiff | tree | snapshot
2019-12-06 Brian DemskyGet rid of main commit | commitdiff | tree | snapshot
2019-12-06 Brian Demskyremove option commit | commitdiff | tree | snapshot
2019-12-06 bdemskyRemove mprotect snapshots commit | commitdiff | tree | snapshot
2019-12-05 weiyuBug fix commit | commitdiff | tree | snapshot
2019-12-05 weiyuUsing a for loop to prune writes that violate modificat... commit | commitdiff | tree | snapshot
2019-12-05 weiyuRemove unused code commit | commitdiff | tree | snapshot
2019-12-04 weiyuRemove dead code commit | commitdiff | tree | snapshot
2019-12-04 weiyuTabbing commit | commitdiff | tree | snapshot
2019-12-04 weiyuFix NewFuzzer::selectWrite - check back edges commit | commitdiff | tree | snapshot
2019-11-27 bdemskySwitch to environmental variables commit | commitdiff | tree | snapshot
2019-11-27 rootFix compile under clang commit | commitdiff | tree | snapshot
2019-11-27 rootFix TLS commit | commitdiff | tree | snapshot
2019-11-27 bdemskyTSAN style tls destructor commit | commitdiff | tree | snapshot
2019-11-26 bdemskyassert_bug function fixes commit | commitdiff | tree | snapshot
2019-11-26 bdemskyRun tabbing pass commit | commitdiff | tree | snapshot
2019-11-26 bdemskyRemove lots of dead code commit | commitdiff | tree | snapshot
2019-11-26 bdemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci... commit | commitdiff | tree | snapshot
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home... commit | commitdiff | tree | snapshot
2019-11-20 weiyuImplement both pthread_yield and c++ thread yield commit | commitdiff | tree | snapshot
2019-11-20 bdemskybug fix commit | commitdiff | tree | snapshot
2019-11-20 bdemskyAdd datarace support for atomics and calloc commit | commitdiff | tree | snapshot
2019-11-15 rootbug fixe commit | commitdiff | tree | snapshot
2019-11-15 bdemskyAdd pipe support commit | commitdiff | tree | snapshot
2019-11-14 weiyuVersion that finds the bug of iris commit | commitdiff | tree | snapshot
2019-11-12 weiyuNot sure why this change prevents a segfault in iris commit | commitdiff | tree | snapshot
2019-11-10 weiyuAvoid seg fault in the case where ensureModel is called... commit | commitdiff | tree | snapshot
2019-11-08 weiyuBug fixing commit | commitdiff | tree | snapshot
2019-11-01 weiyuDo not allow a thread to stash the next pending action... commit | commitdiff | tree | snapshot
2019-10-31 weiyuFix a typo commit | commitdiff | tree | snapshot
2019-10-23 weiyuAdd a collision list for FuncInsts with the same source... commit | commitdiff | tree | snapshot
2019-10-23 weiyuSome edits commit | commitdiff | tree | snapshot
2019-10-22 weiyuChecking whether every write in the rf_set satisfies... commit | commitdiff | tree | snapshot
2019-10-21 weiyuAdd a hash function for 64-bit int to improve the perfo... commit | commitdiff | tree | snapshot
2019-10-18 weiyuChange the implementation of sleep and remove NOOP commit | commitdiff | tree | snapshot
2019-10-18 weiyuModified the implementation of usleep and make ModelExe... commit | commitdiff | tree | snapshot
2019-10-18 weiyuRemove a redundant SnapVector commit | commitdiff | tree | snapshot
2019-10-18 weiyuCalculate store visibility probability and change the... commit | commitdiff | tree | snapshot
2019-10-16 weiyuThe higher the sleep score, the more likely the fuzzer... commit | commitdiff | tree | snapshot
2019-10-16 weiyuFinal fix; needs to be careful about the side effect... commit | commitdiff | tree | snapshot
2019-10-15 weiyuFix commit | commitdiff | tree | snapshot
2019-10-15 weiyuFixes commit | commitdiff | tree | snapshot
2019-10-15 weiyuAdd sleep score commit | commitdiff | tree | snapshot
2019-10-15 weiyuLittle adjustment commit | commitdiff | tree | snapshot
2019-10-12 weiyuFix bug commit | commitdiff | tree | snapshot
2019-10-11 weiyuAdd an exit node in predicate trees commit | commitdiff | tree | snapshot
2019-10-11 weiyuDesign a method to select predicate branches based... commit | commitdiff | tree | snapshot
2019-10-10 weiyuAvoid using a HashTable to associate FuncInsts with... commit | commitdiff | tree | snapshot
2019-10-10 weiyuTurns out that calling Predicate::evaluate in FuncNode... commit | commitdiff | tree | snapshot
2019-10-10 weiyuPerformance fix; delete unused data structures commit | commitdiff | tree | snapshot
2019-10-09 weiyuSelect a new predicate branch when the selected branch... commit | commitdiff | tree | snapshot
2019-10-09 weiyuSome edits commit | commitdiff | tree | snapshot
2019-10-09 weiyuToward implementing the counter approach to monitor... commit | commitdiff | tree | snapshot
2019-10-08 weiyuMonitor threads when they enter functions and decide... commit | commitdiff | tree | snapshot
2019-10-08 weiyuAdd some documentation for WaitObj commit | commitdiff | tree | snapshot
2019-10-08 weiyuBFS with distance was not implemented correctly commit | commitdiff | tree | snapshot
2019-10-08 weiyuFix a bug commit | commitdiff | tree | snapshot
2019-10-08 weiyuEvery time a thread enters a function, check whether... commit | commitdiff | tree | snapshot
2019-10-07 weiyuFix methods commit | commitdiff | tree | snapshot
2019-10-05 weiyuAdd some methods for WaitObj commit | commitdiff | tree | snapshot
2019-10-05 weiyuCreate WaitObj to store information about which thread... commit | commitdiff | tree | snapshot
2019-10-05 weiyuAdd default memory allocation and free functions for... commit | commitdiff | tree | snapshot
2019-10-04 weiyuCompute the threads that a paused thread my wait for commit | commitdiff | tree | snapshot
2019-10-03 weiyuToward computing which threads a paused thread may... commit | commitdiff | tree | snapshot
2019-10-02 weiyuDo not unset FuncInst locations when new executions... commit | commitdiff | tree | snapshot
2019-10-02 weiyuReorganize codes commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository