action: add get_thread_operand() method
[model-checker.git] / action.h
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...
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: add all action_lists to snapshot...
2012-05-21 Brian Norrisfix indentation + spacing, esp. for MEMALLOC macro
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Brian Norrismodel: replace TreeNode with NodeStack
2012-05-14 Brian Norrisaction: add get_node() accessor
2012-05-14 Brian Norrisaction: add comparison operator for ModelAction
2012-05-14 Brian Norrisnodestack: add class NodeStack and class Node
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...
2012-05-09 Brian Norrisaction: rename 'node' members to 'treenode'
2012-05-03 Brian Norrisstraighten out header includes, comment on Forward...
2012-05-02 Brian Norrismodel: add sequence numbers to ModelAction
2012-05-01 Brian Norristhreads: move thread_id_t definition and redefine thrd_...
2012-04-30 Brian Norrisclean up header #includes
2012-04-30 Brian Norrissplit header out to action.h