projects / c11tester.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update readme
[c11tester.git] / execution.cc
2020-12-08 weiyuremove unused code commit | commitdiff
2020-09-15 weiyuAdd back model_thread; it is still needed commit | commitdiff
2020-09-15 weiyuFix a bug in memcpy, implement memset, and remove model... commit | commitdiff
2020-09-11 weiyuImplement timedwait commit | commitdiff
2020-09-10 weiyuImplement spurious wakeup for ATOMIC_WAIT commit | commitdiff
2020-09-04 weiyusmall changes commit | commitdiff
2020-09-03 weiyuRemove unused functions commit | commitdiff
2020-09-02 weiyuSmall changes; slightly faster than tsan11rec in jsbenc... commit | commitdiff
2020-08-29 Brian Demskyadd support for freeing threads commit | commitdiff
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into... commit | commitdiff
2020-07-22 bdemskyBug fix commit | commitdiff
2020-07-21 bdemskyHandle pathological case commit | commitdiff
2020-07-21 bdemskyApproach 2 commit | commitdiff
2020-07-10 weiyuAdd macro for recording atomic statics and report data... commit | commitdiff
2020-04-17 weiyuReimplement hash table remove method commit | commitdiff
2020-04-16 weiyuedits commit | commitdiff
2020-04-15 weiyuFix bug when vectors of action lists get reallocated commit | commitdiff
2020-04-10 weiyuMerge branch 'newactionlist' of /home/git/random-fuzzer... commit | commitdiff
2020-04-08 weiyuUse simple_action_list for conditionvariable waiters commit | commitdiff
2020-04-07 Brian DemskyRedesign actionlist and change acquire fence commit | commitdiff
2020-04-06 weiyuFix waiter list commit | commitdiff
2020-04-03 weiyuDo not report deadlock on relocking a recursive mutex... commit | commitdiff
2020-03-25 weiyuMake our pthread id starts from 2. Reserve id 1 for... commit | commitdiff
2020-03-21 weiyuAdd pthread functions commit | commitdiff
2020-02-11 weiyuEager update predicate trees rather than lazy update... commit | commitdiff
2020-01-31 weiyuComplete the transfer of deletions of some actions commit | commitdiff
2020-01-30 weiyuSeparate the marking algorithm and action removal algorithm commit | commitdiff
2020-01-29 weiyuImprove the algorithm that marks which actions are... commit | commitdiff
2020-01-16 weiyuToward transferring the removal of some actions from... commit | commitdiff
2020-01-08 weiyuBug fix commit | commitdiff
2020-01-07 Brian DemskyBug fix commit | commitdiff
2020-01-07 rootbug fix commit | commitdiff
2020-01-07 Brian DemskyMy configuration commit | commitdiff
2020-01-06 Brian DemskyFix bug by only putting reads or writes in objthrdmap commit | commitdiff
2020-01-06 weiyuBug fix for removing ATOMIC_WAIT actions commit | commitdiff
2019-12-31 rootmore bugs commit | commitdiff
2019-12-31 Brian DemskyImprove documentation commit | commitdiff
2019-12-31 Brian DemskyBug fixes commit | commitdiff
2019-12-30 Brian Demskybug fix commit | commitdiff
2019-12-30 rootbug fixes commit | commitdiff
2019-12-30 Brian Demskyhandle last action with nop commit | commitdiff
2019-12-30 rootdifs commit | commitdiff
2019-12-26 rootBug fix commit | commitdiff
2019-12-26 Brian DemskyBug fix commit | commitdiff
2019-12-26 rootMore bug fixes commit | commitdiff
2019-12-26 rootBug fixes and make Fuzzer selectable commit | commitdiff
2019-12-26 rootFix bug commit | commitdiff
2019-12-19 rootbug fixes commit | commitdiff
2019-12-18 Brian Demskybug fix... commit | commitdiff
2019-12-16 rootmerge commit | commitdiff
2019-12-16 rootBug fixes commit | commitdiff
2019-12-16 Brian DemskyMore code towards freeing old actions commit | commitdiff
2019-12-16 Brian DemskyMore code towards freeing old actions commit | commitdiff
2019-12-15 Brian DemskyMore work towards freeing old ModelActions commit | commitdiff
2019-12-13 weiyuRemove the code that checks store visibility, not being... commit | commitdiff
2019-12-13 Brian Demskytowards freeing actions commit | commitdiff
2019-12-12 Brian DemskyGet rid of uninitialized actions and just use non-atomi... commit | commitdiff
2019-12-12 Brian DemskyTowards erase method commit | commitdiff
2019-12-12 Brian DemskyMerge commit | commitdiff
2019-12-12 Brian DemskyAdd references to lists commit | commitdiff
2019-12-12 Brian DemskyAdd functions to SnapList plus tabbing commit | commitdiff
2019-12-12 weiyuFix segfault at the first lock action commit | commitdiff
2019-12-10 weiyuSilence -Wreorder commit | commitdiff
2019-12-10 weiyuMove data structures from execution.h to history.h commit | commitdiff
2019-12-10 weiyuMerge branch 'master' into branch-weiyu commit | commitdiff
2019-12-10 Brian DemskyRevamp obj_map for just what it is used for commit | commitdiff
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci... commit | commitdiff
2019-12-09 weiyuexperiment with exponential decay model commit | commitdiff
2019-12-05 weiyuBug fix commit | commitdiff
2019-12-05 weiyuUsing a for loop to prune writes that violate modificat... commit | commitdiff
2019-12-04 weiyuFix NewFuzzer::selectWrite - check back edges commit | commitdiff
2019-11-27 bdemskyTSAN style tls destructor commit | commitdiff
2019-11-26 bdemskyassert_bug function fixes commit | commitdiff
2019-11-26 bdemskyRemove lots of dead code commit | commitdiff
2019-11-21 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu:/home... commit | commitdiff
2019-11-14 weiyuVersion that finds the bug of iris commit | commitdiff
2019-11-12 weiyuNot sure why this change prevents a segfault in iris commit | commitdiff
2019-11-01 weiyuDo not allow a thread to stash the next pending action... commit | commitdiff
2019-10-23 weiyuAdd a collision list for FuncInsts with the same source... commit | commitdiff
2019-10-22 weiyuChecking whether every write in the rf_set satisfies... commit | commitdiff
2019-10-18 weiyuModified the implementation of usleep and make ModelExe... commit | commitdiff
2019-10-18 weiyuCalculate store visibility probability and change the... commit | commitdiff
2019-09-06 weiyuModify the implementation of wait and timed wait operation commit | commitdiff
2019-09-05 weiyuseems to work commit | commitdiff
2019-09-05 weiyuWhen an atomic read action cannot read from a desired... commit | commitdiff
2019-09-03 weiyusplit add_action_to_lists into to two functions and... commit | commitdiff
2019-08-30 weiyuremove a redundant member function that I added before commit | commitdiff
2019-08-27 weiyusome edits to NewFuzzer commit | commitdiff
2019-08-26 weiyuinitial commit for declaring member functions of Fuzzer... commit | commitdiff
2019-08-20 weiyuMerge branch 'master' into branch-weiyu commit | commitdiff
2019-08-20 weiyuallow ModelHistory to process non-atomic actions when... commit | commitdiff
2019-08-06 weiyumove modelhistory code back commit | commitdiff
2019-08-05 weiyumove the codes that add actions to thrd_func_act_lists... commit | commitdiff
2019-08-01 weiyumerge commit | commitdiff
2019-08-01 rootadd sleep support commit | commitdiff
2019-08-01 weiyuchange the data structure of thrd_func_inst_list becaus... commit | commitdiff
2019-07-31 weiyumerge commit | commitdiff
2019-07-31 roottabbing commit | commitdiff
2019-07-31 rootbug fix commit | commitdiff
2019-07-31 rootbug fixes commit | commitdiff
next
C11 Tester Tool Public Repository