Remove unused functions
[c11tester.git] /
2020-09-03 weiyuRemove unused functions
2020-09-02 weiyuSmall changes; slightly faster than tsan11rec in jsbenc...
2020-08-29 Brian Demskyadd support for freeing threads
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into...
2020-07-22 bdemskyBug fix
2020-07-21 bdemskyHandle pathological case
2020-07-21 bdemskyApproach 2
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-15 weiyuFix bug when vectors of action lists get reallocated
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-04-06 weiyuFix waiter list
2020-04-03 weiyuDo not report deadlock on relocking a recursive mutex...
2020-03-25 weiyuMake our pthread id starts from 2. Reserve id 1 for...
2020-03-21 weiyuAdd pthread functions
2020-02-11 weiyuEager update predicate trees rather than lazy update...
2020-01-31 weiyuComplete the transfer of deletions of some actions
2020-01-30 weiyuSeparate the marking algorithm and action removal algorithm
2020-01-29 weiyuImprove the algorithm that marks which actions are...
2020-01-16 weiyuToward transferring the removal of some actions from...
2020-01-08 weiyuBug fix
2020-01-07 Brian DemskyBug fix
2020-01-07 rootbug fix
2020-01-07 Brian DemskyMy configuration
2020-01-06 Brian DemskyFix bug by only putting reads or writes in objthrdmap
2020-01-06 weiyuBug fix for removing ATOMIC_WAIT actions
2019-12-31 rootmore bugs
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-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://
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