Merge branch 'master' into brian
[c11tester.git] / action.cc
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-11 Brian Norrisaction / threads: add THREAD_START action at start...
2012-07-11 Brian Norrisaction: add 'reads_from' member variable
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
2012-07-07 Brian NorrisMerge branch 'datarace'
2012-07-07 Brian Norrisaction: use constructor initializer list
2012-07-07 Brian Norrisaction: support ATOMIC_INIT
2012-07-06 Brian Norrisadd more const qualifiers
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-07-03 Brian NorrisMerge branch 'brian'
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-21 Brian Norrisaction: add const qualifier
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-21 Brian Norrisaction: add happens_before() function
2012-06-19 Brian Norrisaction: add const qualifiers
2012-06-19 Brian Norrisaction: replace condition check with ASSERT()
2012-06-06 Brian Demsky1) Add more comments.
2012-06-06 Brian Demskyadd support for docs
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-29 Brian Norrisnodestack: push 'create_cv' functionality responsibilit...
2012-05-28 Brian Norrisclockvector: fixup initialization
2012-05-26 Brian Norrisaction: enhance print() message
2012-05-26 Brian Norrisaction: add create_cv() and read_from()
2012-05-26 Brian Norrisaction: add clock vector field, destructor
2012-05-26 Brian Norrisaction: use proper location comparison
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-15 Brian Norrisaction: neuter the "same_var" function for now...
2012-05-08 Brian Norrisaction: split ModelAction off into action.cc