bug fixes
[c11tester.git] / execution.cc
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-19 rootbug fixes
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-13 weiyuRemove the code that checks store visibility, not being...
2019-12-13 Brian Demskytowards freeing actions
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 DemskyAdd functions to SnapList plus tabbing
2019-12-12 weiyuFix segfault at the first lock action
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 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-05 weiyuBug fix
2019-12-05 weiyuUsing a for loop to prune writes that violate modificat...
2019-12-04 weiyuFix NewFuzzer::selectWrite - check back edges
2019-11-27 bdemskyTSAN style tls destructor
2019-11-26 bdemskyassert_bug function fixes
2019-11-26 bdemskyRemove lots of dead code
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
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-01 weiyuDo not allow a thread to stash the next pending action...
2019-10-23 weiyuAdd a collision list for FuncInsts with the same source...
2019-10-22 weiyuChecking whether every write in the rf_set satisfies...
2019-10-18 weiyuModified the implementation of usleep and make ModelExe...
2019-10-18 weiyuCalculate store visibility probability and change the...
2019-09-06 weiyuModify the implementation of wait and timed wait operation
2019-09-05 weiyuseems to work
2019-09-05 weiyuWhen an atomic read action cannot read from a desired...
2019-09-03 weiyusplit add_action_to_lists into to two functions and...
2019-08-30 weiyuremove a redundant member function that I added before
2019-08-27 weiyusome edits to NewFuzzer
2019-08-26 weiyuinitial commit for declaring member functions of Fuzzer...
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-20 weiyuallow ModelHistory to process non-atomic actions when...
2019-08-06 weiyumove modelhistory code back
2019-08-05 weiyumove the codes that add actions to thrd_func_act_lists...
2019-08-01 weiyumerge
2019-08-01 rootadd sleep support
2019-08-01 weiyuchange the data structure of thrd_func_inst_list becaus...
2019-07-31 weiyumerge
2019-07-31 roottabbing
2019-07-31 rootbug fix
2019-07-31 rootbug fixes
2019-07-31 bdemskyGet code to compile
2019-07-30 rootedits
2019-07-30 rootedits
2019-07-30 rootmore code
2019-07-30 roottowards getting rid of STL
2019-07-30 bdemskymore fixes
2019-07-29 bdemskyedits
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-29 rootbug fix
2019-07-28 rootedit
2019-07-28 bdemskyimprove complexity
2019-07-27 bdemskyNew TLS strategy...
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-25 rootBug fixes to atomic logic
2019-07-25 rootExperimental TLS support.
2019-07-25 weiyulittle fixes
2019-07-22 rootremove some datarace code
2019-07-22 rootfix conflict
2019-07-22 Brian DemskySupport for reading from nonatomic stores...A little...
2019-07-19 rootMore code towards support non-atomic stores
2019-07-19 bdemskyAdd support for converting normal writes into ModelActi...
2019-07-18 weiyuname variables
2019-07-16 bdemskyrun tabbing pass
2019-07-16 weiyuallow the fuzzer to continue if only a few data races...
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-08 weiyumerge and resolve conflict
2019-07-08 weiyuadd a new data structure in execution.h, which is used...
2019-07-06 weiyutemporarily remove assertion for 'lock access before...
2019-07-03 bdemskyMaintain list of writes
2019-07-03 bdemskyOptimize SC lookup
2019-07-03 Brian Demskyclean up code
2019-07-03 rootget rid of nodestack
2019-07-02 rootbug fix
2019-07-02 bdemskymemoize hb in writes
2019-07-01 weiyufix git conflict
2019-06-29 Brian DemskyFix bug
2019-06-29 rootbug fixes
2019-06-28 roottabbing plus lots of memory fixes
2019-06-27 rootbug fixes
next