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...
2019-12-16 rootmerge
2019-12-16 rootBug fixes
2019-12-16 Brian DemskyMore code towards freeing old actions
2019-12-16 Brian DemskyMore code towards freeing old actions
2019-12-15 Brian DemskyMore work towards freeing old ModelActions
2019-12-14 weiyuIncorporate failed predicates in weights
2019-12-13 weiyuRemove the code that checks store visibility, not being...
2019-12-13 Brian Demskytowards freeing actions
2019-12-13 weiyuWeight-based random walk
2019-12-12 weiyuDelete set iterator pointers to prevent memory leaks...
2019-12-12 Brian DemskyAdd ref counts to CycleGraph
2019-12-12 Brian DemskyGet rid of uninitialized actions and just use non-atomi...
2019-12-12 Brian DemskyTowards erase method
2019-12-12 Brian DemskyMerge
2019-12-12 Brian DemskyAdd references to lists
2019-12-12 Brian DemskyFix warning
2019-12-12 Brian DemskyAdd functions to SnapList plus tabbing
2019-12-12 weiyuFix segfault at the first lock action
2019-12-12 weiyuSmall edits
2019-12-12 weiyuFix a bug in predicate.cc and declare 3 hashtables...
2019-12-10 weiyuSilence -Wreorder
2019-12-10 weiyuMove data structures from execution.h to history.h
2019-12-10 weiyuMerge branch 'master' into branch-weiyu
2019-12-10 weiyuStore the set of predicate leaves in FuncNode
2019-12-10 Brian Demskysmall edits
2019-12-10 Brian DemskyRevamp obj_map for just what it is used for
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
2019-12-09 weiyuexperiment with exponential decay model
2019-12-07 Brian Demskyremove test cases
2019-12-07 rootRemove snapshot stack
2019-12-07 rootFix bug with code to get rid of main
2019-12-07 rootbug fix
2019-12-07 rootBug fix to model.cc
2019-12-06 Brian DemskyRemove user_main_wrapper
2019-12-06 Brian DemskyMore work towards removing main
2019-12-06 Brian DemskyGet rid of main
2019-12-06 Brian Demskyremove option
2019-12-06 bdemskyRemove mprotect snapshots
2019-12-05 weiyuBug fix
2019-12-05 weiyuUsing a for loop to prune writes that violate modificat...
2019-12-05 weiyuRemove unused code
2019-12-04 weiyuRemove dead code
2019-12-04 weiyuTabbing
2019-12-04 weiyuFix NewFuzzer::selectWrite - check back edges
2019-11-27 bdemskySwitch to environmental variables
2019-11-27 rootFix compile under clang
2019-11-27 rootFix TLS
2019-11-27 bdemskyTSAN style tls destructor
2019-11-26 bdemskyassert_bug function fixes
2019-11-26 bdemskyRun tabbing pass
2019-11-26 bdemskyRemove lots of dead code
2019-11-26 bdemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
2019-11-20 weiyuImplement both pthread_yield and c++ thread yield
2019-11-20 bdemskybug fix
2019-11-20 bdemskyAdd datarace support for atomics and calloc
2019-11-15 rootbug fixe
2019-11-15 bdemskyAdd pipe support
2019-11-14 weiyuVersion that finds the bug of iris
2019-11-12 weiyuNot sure why this change prevents a segfault in iris
2019-11-10 weiyuAvoid seg fault in the case where ensureModel is called...
2019-11-08 weiyuBug fixing
2019-11-01 weiyuDo not allow a thread to stash the next pending action...
2019-10-31 weiyuFix a typo
2019-10-23 weiyuAdd a collision list for FuncInsts with the same source...
2019-10-23 weiyuSome edits
2019-10-22 weiyuChecking whether every write in the rf_set satisfies...
2019-10-21 weiyuAdd a hash function for 64-bit int to improve the perfo...
2019-10-18 weiyuChange the implementation of sleep and remove NOOP
2019-10-18 weiyuModified the implementation of usleep and make ModelExe...
2019-10-18 weiyuRemove a redundant SnapVector
2019-10-18 weiyuCalculate store visibility probability and change the...
2019-10-16 weiyuThe higher the sleep score, the more likely the fuzzer...
2019-10-16 weiyuFinal fix; needs to be careful about the side effect...
2019-10-15 weiyuFix
2019-10-15 weiyuFixes
2019-10-15 weiyuAdd sleep score
2019-10-15 weiyuLittle adjustment
2019-10-12 weiyuFix bug
2019-10-11 weiyuAdd an exit node in predicate trees
2019-10-11 weiyuDesign a method to select predicate branches based...
2019-10-10 weiyuAvoid using a HashTable to associate FuncInsts with...
2019-10-10 weiyuTurns out that calling Predicate::evaluate in FuncNode...
2019-10-10 weiyuPerformance fix; delete unused data structures
2019-10-09 weiyuSelect a new predicate branch when the selected branch...