Bug fix for spsc-queue test
[c11tester.git] / model.cc
2020-08-24 weiyuBug fix for spsc-queue test
2020-08-24 weiyuBug fix
2020-08-24 Derek Yehuncomment out code
2020-08-22 weiyuOnly consume THREAD_FINISH action in the master context
2020-08-11 weiyuReplace some switch_to_master with switch_thread
2020-08-10 weiyuedits
2020-08-07 Derek Yehadd consume to run
2020-08-07 Derek Yehfix getNextThread func
2020-08-02 Derek Yehrename params
2020-08-02 Derek Yehfix sleeping bug
2020-07-31 Derek Yehfix edge case
2020-07-31 Derek Yehfix thread switch
2020-07-29 Derek Yehfix edge case
2020-07-28 Derek Yehfix bugs
2020-07-27 Derek Yehremove overhead for execution
2020-07-24 Derek Yehadd thread choosing in switch func
2020-07-22 Derek Yehfix warnings
2020-07-17 Derek Yehadd switch thread function
2019-12-26 rootFix bug
2019-12-20 rootFix bug Weiyu found
2019-12-16 rootmerge
2019-12-16 Brian DemskyMore code towards freeing old actions
2019-12-10 weiyuMerge branch 'master' into branch-weiyu
2019-12-10 Brian DemskyMerge branch 'branch-weiyu' of ssh://plrg.eecs.uci...
2019-12-07 rootRemove snapshot stack
2019-12-07 rootFix bug with code to get rid of main
2019-12-07 rootBug fix to model.cc
2019-12-06 Brian DemskyMore work towards removing main
2019-12-06 Brian DemskyGet rid of main
2019-11-27 bdemskySwitch to environmental variables
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-08 weiyuBug fixing
2019-11-01 weiyuDo not allow a thread to stash the next pending action...
2019-09-05 weiyuseems to work
2019-08-30 weiyuremove a redundant member function that I added before
2019-08-27 weiyusome edits to NewFuzzer
2019-08-21 weiyuadd helper functions; prepare for computing which memor...
2019-08-20 weiyuMerge branch 'master' into branch-weiyu
2019-08-20 weiyureset memory locations of FuncInsts when new executions...
2019-08-02 weiyumove code around
2019-08-01 weiyumerge
2019-08-01 Brian DemskyGet GDAX working.
2019-07-31 weiyumerge
2019-07-30 roottowards getting rid of STL
2019-07-30 rootremove STL vector
2019-07-30 bdemskymore fixes
2019-07-29 bdemskyedits
2019-07-29 rootMerge branch 'branch-weiyu' of /home/git/random-fuzzer...
2019-07-27 rootLock model check when we terminate proxy thread
2019-07-27 bdemskyNew TLS strategy...
2019-07-25 rootExperimental TLS support.
2019-07-22 rootremove some datarace code
2019-07-22 Brian Demskyfix merge issue
2019-07-22 rootfix conflict
2019-07-19 rootMore code towards support non-atomic stores
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-11 rootGet data race detector working... Commented out functi...
2019-07-08 weiyumerge and resolve conflict
2019-07-03 bdemskyOptimize SC lookup
2019-07-03 rootget rid of nodestack
2019-07-03 rootFork handler mitigations
2019-07-02 bdemskymemoize hb in writes
2019-07-01 weiyufix git conflict
2019-06-29 bdemskymove check
2019-06-28 roottowards not calling system malloc
2019-06-27 rootbug fixes
2019-06-27 bdemskyrevamp scheduler so we can start threads early
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 bdemskyRedo params
2019-06-26 bdemskymore bug fixes
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-26 rootchanges
2019-06-26 bdemskyMore changes
2019-06-25 weiyuadd a new class 'ModelHistory'
2019-06-21 bdemskyfix tabbing
2019-06-19 Brian Demskyrun tabbing pass
2019-06-19 rootmerge
2019-06-14 weiyuMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-12 bdemskyfix tabbing comment issue
2019-06-11 bdemskyfix tabbing
2019-06-05 bdemskyMore fuzzing changes
2019-06-04 bdemskyremove another field
2019-06-04 bdemskyRevert "remove plugins"
2019-06-04 bdemskytowards fuzzing only
2019-06-04 bdemskyremove old release sequences
2019-06-04 bdemskyRemove promises
2019-06-01 Brian Demskypartial conversion to fuzzer
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h
2019-01-24 weiyuadd support for pthread_mutex
2019-01-22 weiyupthread join seems to be working
2019-01-22 weiyupthread_create is working now
2019-01-18 weiyuadd support for pthread_create (in progress)
2019-01-16 weiyutry to add support for pthread_create/pthread_join
2019-01-08 weiyuchange cds checker to accomdate llvm pass
2018-11-09 weiyuimprove randomization
2018-10-26 weiyuremove plugins
2015-09-02 bdemskyAdd SCFence analysis