small changes
[c11tester.git] / execution.h
2020-09-03 weiyuRemove unused functions
2020-09-02 weiyuSmall changes; slightly faster than tsan11rec in jsbenc...
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into...
2020-07-10 weiyuAdd macro for recording atomic statics and report data...
2020-04-17 weiyuReimplement hash table remove method
2020-04-16 weiyuedits
2020-04-10 weiyuMerge branch 'newactionlist' of /home/git/random-fuzzer...
2020-04-08 weiyuUse simple_action_list for conditionvariable waiters
2020-04-07 Brian DemskyRedesign actionlist and change acquire fence
2020-03-21 weiyuAdd pthread functions
2020-01-16 weiyuToward transferring the removal of some actions from...
2019-12-30 Brian Demskyhandle last action with nop
2019-12-26 rootFix bug
2019-12-16 rootmerge
2019-12-16 Brian DemskyMore code towards freeing old actions
2019-12-15 Brian DemskyMore work towards freeing old ModelActions
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 DemskyFix warning
2019-12-12 Brian DemskyAdd functions to SnapList plus tabbing
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 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-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://
2019-10-22 weiyuChecking whether every write in the rf_set satisfies...
2019-10-18 weiyuCalculate store visibility probability and change the...
2019-10-02 weiyuMove one snapshotted data structure from ModelHistory...
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-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-05 weiyumove the codes that add actions to thrd_func_act_lists...
2019-08-01 weiyumerge
2019-08-01 weiyuchange the data structure of thrd_func_inst_list becaus...
2019-07-31 weiyumerge
2019-07-30 rootedits
2019-07-29 bdemskyedits
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-27 bdemskyNew TLS strategy...
2019-07-27 weiyuMerge branch 'new_fuzzer' into branch-weiyu
2019-07-25 rootExperimental TLS support.
2019-07-25 weiyuavoid the use of 'func_id_list_t *' to prevent potentia...
2019-07-22 rootremove some datarace code
2019-07-22 rootfix conflict
2019-07-19 bdemskyAdd support for converting normal writes into ModelActi...
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-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 bdemskymemoize hb in writes
2019-07-01 weiyufix git conflict
2019-06-28 weiyumove work_list (thrd_func_list) from history.h to execu...
2019-06-28 roottabbing plus lots of memory fixes
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-26 bdemskyMore changes
2019-06-21 bdemskyMerge branch 'new_fuzzer' of ssh://
2019-06-21 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-21 rootprune mod order
2019-06-20 Brian DemskyOptimizations
2019-06-19 rootmerge
2019-06-17 weiyurename pthead.h to mypthread.h
2019-06-14 weiyurename mypthread.h to pthread.h
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-13 bdemskynew cyclegraph
2019-06-12 bdemskyMerge branch 'new_fuzzer' into tmp
2019-06-12 bdemskypartial edits
2019-06-12 bdemskyfix tabbing comment issue
2019-06-11 bdemskyfix tabbing
2019-06-06 bdemskyrefactor choices into own class
2019-06-05 bdemskymake some changes with hacks
2019-06-05 bdemskyMore fuzzing changes
2019-06-04 bdemskytowards fuzzing only
2019-06-04 bdemskyremove old release sequences
2019-06-04 bdemskyRemove promises
2019-05-28 weiyuchange the namespace of mutex from std to cdsc
2019-03-01 weiyuadd support for condition variable
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h
2015-09-02 bdemskyAdd SCFence analysis
2014-07-18 bdemskySC Reads can read from things mo'd before the last...
2014-01-26 bdemskyBug fix for broken treatment of promises + coherence...
2013-06-06 Brian Norrisexecution: document promises list; it is assumed to...
2013-05-08 Brian Norrisexecution: bugfix - resolved promises should propagate...
2013-05-08 Brian Norrisexecution: refactor common CV propagation into its...
2013-04-18 Brian DemskyAdd yield block support. The idea is to not generate...
2013-04-17 Brian DemskyBug: ModelExecution had bogus model_params reference.