execution: embed snapshotted data structures in class
[model-checker.git] / action.cc
2013-04-16 Brian Norrisaction: add <stdlib>
2013-04-16 Brian Norrismodel: remove public check_promises() interface
2013-04-16 Brian Norrispromise: add Promise::get_index function
2013-04-16 Brian Norrisaction: we don't need special cases for lock/join anymore
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-04-11 Brian Norrisaction: refactor, move VALUE_TRY{SUCCESS,FAILED} out...
2013-04-05 Brian Norrisaction: correct RF capitalization
2013-04-04 Brian Norrisaction: include reads-from-promise in HASH calculations
2013-04-02 Brian Norrisaction: add ModelAction::is_thread_join() helper
2013-03-08 Brian Norrisstl - remove stale <vector> and <list> #include's
2013-03-06 Brian NorrisMerge remote 'yield' work
2013-03-06 Brian Demskyadd yield support
2013-03-03 Brian Norrisaction: add get_mutex()
2013-03-03 Brian Norrisaction: add get_return_value()
2013-03-02 Brian Norrischeck_recency: implement loops as function ModelAction...
2013-03-02 Brian Norrisaction: bugfix - reads-from value should be VALUE_NONE...
2013-03-01 Brian Norrisaction: add get_write_value()
2013-03-01 Brian Norrisaction: add ModelAction::get_reads_from_value()
2013-03-01 Brian Norrisaction, model: add ASSERT(), not NULL checks
2013-02-28 Brian Norrisaction: print promise number, not just ?
2013-02-28 Brian Norrisun-'const' some Promises
2013-02-22 Brian Norrisaction: backtrack/sleep-sets for seq-cst fences
2013-02-14 Brian Norristhreads/model: allocate Thread from w/in ModelChecker
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-12 Brian Norrisaction: bugfix - initialize member
2013-02-06 Brian Norrisaction: fixup printing for RMW/RMWR
2013-02-06 Brian Norrisaction: store Promise in ModelAction
2013-02-02 Brian Norrisaction: fix incorrect comment
2013-01-10 Brian Norrisaction: remove incorrect fence backtracking
2013-01-02 Brian Norrisaction: add get_thread_operand() method
2012-12-19 Brian Norrisaction: fixup style
2012-12-12 Brian Norrisaction: refactor ATOMIC_READ printing
2012-12-08 Brian Norrisspacing
2012-12-07 Brian Norrisaction: add is_atomic_var()
2012-12-07 Brian Norrismodel/action: bugfix - UNINIT actions do not have a...
2012-12-07 Brian Norrisaction: move ModelAction::get_node to action.cc
2012-12-07 Brian Norrisaction: add ATOMIC_UNINIT type
2012-12-04 Brian Norrisaction: add is_thread_start()
2012-12-04 Brian Norrismodel/action: move complicated read_from logic into...
2012-12-04 Brian Norrisaction: record last fence release from the current...
2012-12-04 Brian Norrisaction/model: backtrack for seq-cst and release/acquire...
2012-12-03 Brian Norrisaction: allow fence ModelActions to have location ...
2012-11-19 Brian Norrisaction: add is_relaxed() function
2012-11-16 Brian Norrisprintf -> model_print
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-11-03 Brian Demskyprevious synchronization was weird...
2012-10-12 Brian Norrisfixup 'int' vs. 'thread_id_t' usage
2012-10-12 Brian Demskyforgot to add two files...
2012-10-12 Brian Demskycommit untested condvar code
2012-10-11 Brian Norrisaction: improve printing
2012-10-10 Brian Norrisaction: add NULL dereference assertion
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-10 Brian Demskyfix some of the bugs related to barrier example...
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-09 Brian Demskybe much more careful about sending values backwards...
2012-10-08 Brian Demskybe even more aggressive about sleep sets...
2012-10-08 Brian Demskymerge massive speedup with release sequence support...
2012-10-08 Brian Demskyadd support for sleep sets...
2012-10-08 Brian NorrisMerge branch 'norris'
2012-10-08 Brian Norrisaction: add Thread parameter to constructor
2012-10-07 Brian Norrisaction: add MODEL_FIXUP_RELSEQ action_type
2012-10-05 Brian Demsky1) more comments
2012-10-04 Brian Demskylocal commit... bug that prunes too many executions
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-04 Brian Norrisaction: return synchronization status for ModelAction...
2012-10-03 Brian Norrisaction: remove clockvector flag from print() method
2012-10-03 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-03 Brian Norrismodeltypes: move small typedefs to own header
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrisaction: reword comments
2012-10-03 Brian Demskyrandom memory leak fixes and memory access fixes
2012-10-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-03 Brian Norrisassign sequence numbers after initial processing
2012-10-03 Brian Norrisaction: edit some spacing
2012-10-03 Brian Norrisaction: don't print clock vector when it is invalid
2012-10-02 Brian Norrisclockvector: snapshot our clock vectors
2012-10-01 Brian Norrismodel: utilize bad_synchronization flag
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'
next