nodestack: print thread status info in Node::print
[model-checker.git] / promise.cc
2013-03-01 Brian Norrispromise: add 'same_value' helper, force value-checking...
2013-03-01 Brian Norrispromise: bugfix - don't check value, check location
2013-02-28 Brian Norrispromise: record multiple readers in the same Promise
2013-02-23 Brian Norrispromise: stash the whole future_value
2013-02-20 Brian Norrisdon't include action.h from model.h
2013-02-20 Brian Norrispromise: move constructor out of header
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-12 Brian Norrispromise: use id_to_int()
2013-02-07 Brian Norrispromise: update comments/names to reflect usage
2013-02-06 Brian Norrispromise: add is_compatible_exclusive()
2013-02-06 Brian Norrispromise: add is_compatible()
2013-01-24 Brian Norrispromise: bugfix - a disabled thread should not be elimi...
2013-01-24 Brian Norrispromise: associate Promises with a set of threads
2013-01-23 Brian Norrispromise: refactor has_failed()
2013-01-23 Brian Norrispromise: move thread_is_eliminated()
2013-01-23 Brian Norrispromise: rename has_sync_thread() -> thread_is_eliminated()
2013-01-23 Brian Norrispromise: rename check_promise() -> has_failed()
2013-01-23 Brian Norrispromise: refactor eliminate_thread()/check_promise()
2013-01-23 Brian Norrispromise: rename increment_threads() -> eliminate_thread()
2013-01-23 Brian Norrispromise: fixup style
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-15 Brian Demskymerge
2012-11-14 Brian Norrismodel/promise: use ModelChecker is_enabled() interface
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian Norrispromise: fix signed/unsigned warning
2012-11-03 Brian Demskyvarious fixes. linux rw locks should work again with...
2012-11-03 Brian Demskyfix bugs with promise check...
2012-10-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-06 Brian Demskycreate enumeration for enabled information...switch...
2012-10-04 Brian Demskylocal commit... bug that prunes too many executions
2012-08-20 Brian Norrispromise: rewrite into a simpler header file
2012-08-02 Brian Demskysome changes towards reading from future writes