temporarily remove assertion for 'lock access before initialization'; to be improve...
[c11tester.git] / execution.cc
2019-07-06 weiyutemporarily remove assertion for 'lock access before...
2019-07-01 weiyufix git conflict
2019-06-29 Brian DemskyFix bug
2019-06-29 rootbug fixes
2019-06-28 roottabbing plus lots of memory fixes
2019-06-27 rootbug fixes
2019-06-27 bdemskyrevamp scheduler so we can start threads early
2019-06-27 weiyuchange func_atomics and work_list to vectors
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-26 rootMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-26 bdemskyget rid of some compile errors and warnings
2019-06-21 bdemskyfix CAS operation
2019-06-21 bdemskyfix tabbing
2019-06-21 bdemskyMerge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu...
2019-06-21 Brian Demskyperformance improvements
2019-06-21 Brian DemskyMerge branch 'new_fuzzer' of /home/git/random-fuzzer...
2019-06-21 rootprune mod order
2019-06-21 bdemskychanges
2019-06-20 Brian DemskyOptimizations
2019-06-19 Brian Demskyrun tabbing pass
2019-06-19 Brian DemskyMerge branch 'branch-weiyu' into new_fuzzer
2019-06-19 rootmerge
2019-06-17 weiyuimplement usleep and sleep system calls as no operation...
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 Brian DemskyDon't do complete checks until we choose store to read...
2019-06-12 bdemskypartial edits
2019-06-12 bdemskyfix tabbing comment issue
2019-06-11 bdemskyfix tabbing
2019-06-11 bdemskyremove extra cyclegraph calls
2019-06-11 bdemskyFix RMW bug
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 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-05-28 weiyufix the case where no waiter is waiting
2019-05-28 weiyuchange the namespace of mutex from std to cdsc
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-08 weiyuchange cds checker to accomdate llvm pass
2018-11-09 weiyuimprove randomization
2018-10-26 weiyuremove plugins
2014-07-18 bdemskySC Reads can read from things mo'd before the last...
2014-04-16 bdemskybug fix with missing coherence condition for promises
2014-01-26 bdemskyBug fix for broken treatment of promises + coherence...
2013-06-06 Brian Norrisexecution: remove redundant condition, reword doc for...
2013-06-06 Brian Norrisexecution: document additional mo_may_allow() optimization
2013-06-01 Brian Norrismodel: cosmetic output improvements
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master'
2013-05-29 Brian Norrisexecution: reformat execution traces
2013-05-08 Brian Norrisexecution: bugfix - resolved promises should propagate...
2013-05-08 Brian Norrisexecution: refactor common CV propagation into its...
2013-04-26 Brian DemskyFix bug that prevents graph generation from compiling.
2013-04-19 Brian Norrisexecution: improve documentation
2013-04-19 Brian Norrisexecution: improve yield-blocking structure
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.
2013-04-17 Brian Norrisdatarace: don't export unrealized race vector
2013-04-17 Brian Norrisexecution: bugfix - no action "conflicts" with itself
2013-04-17 Brian Norrisexecution: bugfix - backtrack seq-cst fences properly
2013-04-17 Brian Norrisexecution: correct comment on check_current_action()
2013-04-16 Brian Norrisnodestack: register ModelExecution class w/in NodeStack
2013-04-16 Brian Norrisexecution: embed obj_map directly in class
2013-04-16 Brian Norrisexecution: convert HashTable to SnapVector
2013-04-16 Brian Norrisaction: bugfix - use non-zero fence "location"
2013-04-16 Brian Norrisexecution: embed action_list as full member
2013-04-16 Brian Norrisexecution: add const
2013-04-16 Brian Norrisexecution: embed more data structures directly in class
2013-04-16 Brian Norrisexecution: embed snapshotted data structures in class
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker...
2013-04-16 Brian Norrisclean out includes, etc.
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrisschedule: drop the ModelChecker::check_promises_thread_...
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface
2013-04-16 Brian Norrispromise: get reference to ModelExecution
2013-04-16 Brian Norrisexecution: add 'const'
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecut...