more implementation of scanalysis...
[model-checker.git] / action.h
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-04-11 Brian Norrisaction: refactor, move VALUE_TRY{SUCCESS,FAILED} out...
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-01 Brian Norrisaction: add get_write_value()
2013-03-01 Brian Norrisaction: add ModelAction::get_reads_from_value()
2013-02-28 Brian Norrisun-'const' some Promises
2013-02-20 Brian Norrismodel/action: move action_list_t to model.h
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-06 Brian Norrismodel: template-ize 'r_modification_order'
2013-02-06 Brian Norrisaction: store Promise in ModelAction
2013-01-24 Brian Norrisaction: record future value
2013-01-02 Brian Norrisaction: add get_thread_operand() method
2012-12-08 Brian Norrisspacing
2012-12-07 Brian Norrisaction: add is_atomic_var()
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-11-19 Brian Norrisaction: add is_relaxed() function
2012-10-12 Brian Demskycommit untested condvar code
2012-10-12 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-11 Brian Demskycompiles with condition variables file added...
2012-10-11 Brian Norrisaction: improve printing
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 Demskybe much more careful about sending values backwards...
2012-10-08 Brian Demskybe even more aggressive about sleep sets...
2012-10-08 Brian Norrisutilize SnapshotAlloc STL allocator
2012-10-08 Brian Demskymerge massive speedup with release sequence support...
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 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 ssh://demsky.eecs.uci.edu...
2012-10-03 Brian Norrisassign sequence numbers after initial processing
2012-10-03 Brian Norrisaction: don't print clock vector when it is invalid
2012-10-01 Brian Norrisaction: synchronize_with - return status for out-of...
2012-09-21 Brian NorrisMerge branch 'norris'
2012-09-21 Brian Demskycomments
2012-09-20 Brian Demskybug fixes for lock support...think it works now...
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-18 Brian Demskymore changes towards locks
2012-09-18 Brian DemskyMerge branch 'master' into mutex
2012-09-18 Brian Demskystart towards adding support for mutexes
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-14 Brian Demskytabbing
2012-09-14 Brian Demsky(1) add actions for the fence
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-08-24 Brian Norrisaction, clockvector: add 'has_synchronized_with()'...
2012-08-24 Brian Norrisaction: make synchronize_with() public
2012-08-16 Brian NorrisMerge branch 'norris'
2012-08-16 Brian Norrisaction: rework/rename 'synchronized()' to 'synchronize_...
2012-08-02 Brian Demskychanges
2012-08-02 Brian Norrisaction: fix ATOMIC_RMW comments
2012-08-02 Brian Demskytowards making rmw work...
2012-08-02 Brian Norrisaction: add stub ATOMIC_RMWR and ATOMIC_RMWC
2012-08-02 Brian Norrisaction: switch from "libatomic" to C++-spec "memory_ord...
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-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 Norrisaction: remove unused ModelAction::set_value()
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
2012-07-07 Brian NorrisMerge branch 'datarace'
2012-07-07 Brian Norrisdocument some enumerated types
2012-07-07 Brian Norrisaction: support ATOMIC_INIT
2012-07-06 Brian Norristrivial changes
2012-07-06 Brian Norrisadd more const qualifiers
2012-07-06 Brian Norrisclock: add modelclock_t typedef, use 'unsigned int'
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-07-03 Brian NorrisMerge branch 'brian'
2012-07-03 Brian Norrisaction: add {get,set}_value(), assign default value
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-21 Brian Norrisaction: add 'get_cv()' accessor function
2012-06-19 Brian Norrisaction: add const qualifiers
2012-06-06 Brian Norrisaction: fix some comments
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...
next