projects / c11tester.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update readme
[c11tester.git] / model.cc
2020-12-12 weiyuseed random number generator with time vagrant commit | commitdiff
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-15 weiyuTry to catch data races for memcpy commit | commitdiff
2020-09-11 weiyuImplement timedwait commit | commitdiff
2020-09-05 weiyuChange initialize a bit commit | commitdiff
2020-09-04 weiyusmall changes commit | commitdiff
2020-09-03 weiyuFind a faster way to get currently executing thread... commit | commitdiff
2020-09-02 weiyuSmall changes; slightly faster than tsan11rec in jsbenc... commit | commitdiff
2020-09-02 weiyuSmall edits commit | commitdiff
2020-08-30 Brian DemskySimplify code commit | commitdiff
2020-08-29 Brian Demskyadd support for freeing threads commit | commitdiff
2020-08-29 Brian Demskybug fix commit | commitdiff
2020-08-29 Brian DemskyEliminate system context commit | commitdiff
2020-08-29 weiyuRewrite recursion in terms of loops; make it a bit... commit | commitdiff
2020-08-25 weiyuMerge branch 'master' of /home/git/random-fuzzer into... commit | commitdiff
2020-08-25 weiyuedits commit | commitdiff
2020-08-24 weiyuRemove duplicate functions commit | commitdiff
2020-08-24 weiyuBug fix for spsc-queue test commit | commitdiff
2020-08-24 weiyuBug fix commit | commitdiff
2020-08-24 Derek Yehuncomment out code commit | commitdiff
2020-08-22 weiyuOnly consume THREAD_FINISH action in the master context commit | commitdiff
2020-08-11 weiyuReplace some switch_to_master with switch_thread commit | commitdiff
2020-08-10 weiyuedits commit | commitdiff
2020-08-07 Derek Yehadd consume to run commit | commitdiff
2020-08-07 Derek Yehfix getNextThread func commit | commitdiff
2020-08-02 Derek Yehrename params commit | commitdiff
2020-08-02 Derek Yehfix sleeping bug commit | commitdiff
2020-07-31 Derek Yehfix edge case commit | commitdiff
2020-07-31 Derek Yehfix thread switch commit | commitdiff
2020-07-29 Derek Yehfix edge case commit | commitdiff
2020-07-28 Derek Yehfix bugs commit | commitdiff
2020-07-27 Derek Yehremove overhead for execution commit | commitdiff
2020-07-24 Derek Yehadd thread choosing in switch func commit | commitdiff
2020-07-22 Derek Yehfix warnings commit | commitdiff
2020-07-17 Derek Yehadd switch thread function commit | commitdiff
2020-02-26 weiyuEdits commit | commitdiff
2020-02-25 weiyuRedirect output after taking snapshots commit | commitdiff
2020-01-25 Brian DemskyAdd some debug support code commit | commitdiff
2019-12-26 rootFix bug commit | commitdiff
2019-12-20 rootFix bug Weiyu found commit | commitdiff
2019-12-16 rootmerge commit | commitdiff
2019-12-16 Brian DemskyMore code towards freeing old actions commit | commitdiff
2019-12-10 weiyuMerge branch 'master' into branch-weiyu commit | commitdiff
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci... commit | commitdiff
2019-12-07 rootRemove snapshot stack commit | commitdiff
2019-12-07 rootFix bug with code to get rid of main commit | commitdiff
2019-12-07 rootBug fix to model.cc commit | commitdiff
2019-12-06 Brian DemskyMore work towards removing main commit | commitdiff
2019-12-06 Brian DemskyGet rid of main commit | commitdiff
2019-11-27 bdemskySwitch to environmental variables 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-08 weiyuBug fixing commit | commitdiff
2019-11-01 weiyuDo not allow a thread to stash the next pending action... commit | commitdiff
2019-09-05 weiyuseems to work 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-21 weiyuadd helper functions; prepare for computing which memor... commit | commitdiff
2019-08-20 weiyuMerge branch 'master' into branch-weiyu commit | commitdiff
2019-08-20 weiyureset memory locations of FuncInsts when new executions... commit | commitdiff
2019-08-02 weiyumove code around commit | commitdiff
2019-08-01 weiyumerge commit | commitdiff
2019-08-01 Brian DemskyGet GDAX working. commit | commitdiff
2019-07-31 weiyumerge commit | commitdiff
2019-07-30 roottowards getting rid of STL commit | commitdiff
2019-07-30 rootremove STL vector commit | commitdiff
2019-07-30 bdemskymore fixes commit | commitdiff
2019-07-29 bdemskyedits commit | commitdiff
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer... commit | commitdiff
2019-07-27 rootLock model check when we terminate proxy thread commit | commitdiff
2019-07-27 bdemskyNew TLS strategy... commit | commitdiff
2019-07-25 rootExperimental TLS support. commit | commitdiff
2019-07-22 rootremove some datarace code commit | commitdiff
2019-07-22 Brian Demskyfix merge issue commit | commitdiff
2019-07-22 rootfix conflict commit | commitdiff
2019-07-19 rootMore code towards support non-atomic stores commit | commitdiff
2019-07-16 weiyuallow the fuzzer to continue if only a few data races... commit | commitdiff
2019-07-11 weiyuMerge branch 'new_fuzzer' into branch-weiyu commit | commitdiff
2019-07-11 rootGet data race detector working... Commented out functi... commit | commitdiff
2019-07-08 weiyumerge and resolve conflict commit | commitdiff
2019-07-03 bdemskyOptimize SC lookup commit | commitdiff
2019-07-03 rootget rid of nodestack commit | commitdiff
2019-07-03 rootFork handler mitigations commit | commitdiff
2019-07-02 bdemskymemoize hb in writes commit | commitdiff
2019-07-01 weiyufix git conflict commit | commitdiff
2019-06-29 bdemskymove check commit | commitdiff
2019-06-28 roottowards not calling system malloc commit | commitdiff
2019-06-27 rootbug fixes commit | commitdiff
2019-06-27 bdemskyrevamp scheduler so we can start threads early commit | commitdiff
2019-06-26 Brian DemskyGet gdax to not crash commit | commitdiff
2019-06-26 bdemskyRedo params commit | commitdiff
2019-06-26 bdemskymore bug fixes commit | commitdiff
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer... commit | commitdiff
2019-06-26 rootchanges commit | commitdiff
2019-06-26 bdemskyMore changes commit | commitdiff
2019-06-25 weiyuadd a new class 'ModelHistory' commit | commitdiff
2019-06-21 bdemskyfix tabbing commit | commitdiff
next
C11 Tester Tool Public Repository