action: synchronize_with - return status for out-of-order synchronization
[c11tester.git] / action.cc
2012-10-01 Brian Norrisaction: synchronize_with - return status for out-of...
2012-09-20 Brian Demskybug fixes for lock support...think it works now...
2012-09-20 Brian Demskypush changes
2012-09-19 Brian Demskymerge stuff
2012-09-19 Brian Demskysupport for locks... untested, but doesn't break quick...
2012-09-19 Brian Demskyfix
2012-09-19 Brian Demskymerge in master
2012-09-19 Brian Norrismodel: add typedef for list of release sequence heads
2012-09-19 Brian Norrisaction: THREAD_JOIN can synchronize against execution...
2012-09-18 Brian Demskymore changes towards locks
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-14 Brian Demsky(1) add actions for the fence
2012-09-13 Brian Norrisbugfix: straighten out STL vector allocation (snapshott...
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-09-06 Brian NorrisMerge branch 'norris'
2012-09-06 Brian Norrisaction: add THREAD_FINISH action
2012-09-04 Brian Norrisaction: print '?' for unknown read-from-future
2012-08-24 Brian Norrisaction, clockvector: add 'has_synchronized_with()'...
2012-08-24 Brian Norrisaction: utilize release sequence(s) for synchronization
2012-08-24 Brian Norrisaction: (assertion) disallow out-of-order synchronization
2012-08-23 Brian Norrisaction: update 'reads_from' field before synchronization
2012-08-16 Brian NorrisMerge branch 'norris'
2012-08-16 Brian Norrisaction: don't merge twice in read_from()
2012-08-16 Brian Norrisaction: rework/rename 'synchronized()' to 'synchronize_...
2012-08-02 Brian Norrisaction: add memory_order printing
2012-08-02 Brian Demskyokay...known bugs for my trivial test are out of send...
2012-08-02 Brian Demskychanges
2012-08-02 Brian Demskyfix my todo comments so they appear in documentation
2012-08-02 Brian DemskyAdd documentation
2012-08-02 Brian Demskytowards making rmw work...
2012-08-02 Brian Norrisaction: add stub ATOMIC_RMWR and ATOMIC_RMWC
2012-08-02 Brian Norrispull in most of atomic header file
2012-08-02 Brian Demskysmall changes (things still work) towards support RMW
2012-07-17 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-07-17 Brian Norrisaction: fix uint64_t printf warning
2012-07-16 Brian Demskyreally should be using a type that is big enough for...
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