prune mod order
[c11tester.git] / execution.h
2019-06-21 rootprune mod order
2019-06-20 Brian DemskyOptimizations
2019-06-19 rootmerge
2019-06-17 weiyurename pthead.h to mypthread.h
2019-06-14 weiyurename mypthread.h to pthread.h
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 bdemskypartial edits
2019-06-12 bdemskyfix tabbing comment issue
2019-06-11 bdemskyfix tabbing
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 bdemskytowards fuzzing only
2019-06-04 bdemskyremove old release sequences
2019-06-04 bdemskyRemove promises
2019-05-28 weiyuchange the namespace of mutex from std to cdsc
2019-03-01 weiyuadd support for condition variable
2019-02-15 weiyumove pthread_map and mutex_map inside of execution.h
2015-09-02 bdemskyAdd SCFence analysis
2014-07-18 bdemskySC Reads can read from things mo'd before the last...
2014-01-26 bdemskyBug fix for broken treatment of promises + coherence...
2013-06-06 Brian Norrisexecution: document promises list; it is assumed to...
2013-05-08 Brian Norrisexecution: bugfix - resolved promises should propagate...
2013-05-08 Brian Norrisexecution: refactor common CV propagation into its...
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-16 Brian Norrisnodestack: localize the model-checker parameters
2013-04-16 Brian Norrisexecution: embed obj_map directly in class
2013-04-16 Brian Norrisexecution: convert HashTable to SnapVector
2013-04-16 Brian Norrisexecution: embed action_list as full member
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: make structure snapshotting
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 Norrisexecution: add 'const'
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecut...