model: don't print 'uninitialized' ModelActions in trace output
[c11tester.git] / model.cc
2013-03-06 Brian Norrismodel: don't print 'uninitialized' ModelActions in...
2013-03-05 Brian Norrismodel: refactor the get_thread() selection
2013-03-04 Brian Norrisrefactor DBG_ENABLED() vs. verbose
2013-03-04 Brian Norrismodel: add promise printing to execution summaries
2013-03-03 Brian Norrismodel: rename check_deadlock() to is_circular_wait()
2013-03-03 Brian Norrismodel: add improved (?) deadlock detection
2013-03-03 Brian Norrismutex: change 'islocked' to hold Thread pointer
2013-03-03 Brian Norrisaction: add get_mutex()
2013-03-03 Brian Norrisaction: add get_return_value()
2013-03-02 Brian Norrismodel: use get_write_value()
2013-03-02 Brian Norrismodel: bugfix - adding a Promise reader can cause failure
2013-03-02 Brian Norrismodel: hack dumpGraph() bug by "leaking" promises
2013-03-02 Brian Norriscyclegraph: simplify resolvePromise / mergeNodes
2013-03-02 Brian Norrismodel: refactor process_read logic
2013-03-02 Brian Norrischeck_recency: update/add documentation comments
2013-03-02 Brian Norrischeck_recency: improve templates, use when reading...
2013-03-02 Brian Norrischeck_recency: refactor some more, + include Promises
2013-03-02 Brian Norrischeck_recency: return a boolean status
2013-03-02 Brian Norrischeck_recency: only allow newer stores to "overwrite"
2013-03-02 Brian Norrischeck_recency: implement loops as function ModelAction...
2013-03-02 Brian Norrismodel: check_recency: convert a few things to ASSERT()
2013-03-02 Brian Demskycomments
2013-03-02 Brian Norrismodel: check_recency: fix indentation, spelling, comments
2013-03-02 Brian Norrismodel: fixes for future value passing
2013-03-02 Brian Norrismodel: we only resolve one promise at a time
2013-03-01 Brian Norrismodel: fix ASSERT()
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-03-01 Brian Norrisaction: add get_write_value()
2013-03-01 Brian Norrisaction, model: add ASSERT(), not NULL checks
2013-03-01 Brian Norriscyclegraph/model: unify, clean up graph printing
2013-02-28 Brian Norrismodel/schedule: comput "reduadant" measurement, print...
2013-02-28 Brian Norrisaction: print promise number, not just ?
2013-02-28 Brian Norrispromise: record multiple readers in the same Promise
2013-02-28 Brian Norrisun-'const' some Promises
2013-02-28 Brian Norrisnodestack: rewrite promise-resolution "counting"
2013-02-28 Brian Norrismodel: hook up 'read-from-promise' backtracking in...
2013-02-28 Brian Norrisnodestack: bugfix - rewrite 'may-read-from' and 'future...
2013-02-28 Brian Norrismodel: shorten some code
2013-02-28 Brian Norrismodel: rename 'reads_from' to 'rf'
2013-02-28 Brian Norrisnodestack: rename 'read_from' to 'read_from_past'
2013-02-28 Brian Norrismodel: don't call process_read() for 2nd half of RMW...
2013-02-27 Brian Norrismodel: bugfix - correct the "equality" check for RR...
2013-02-27 Brian Norrismodel: bugfix - correct RR coherence for Promises
2013-02-27 Brian Norriscyclegraph: change Promise nodes map
2013-02-26 Brian Norrismodel: promises: eliminate threads when they "join"
2013-02-26 Brian Norrismodel: bugfix - only allow promise satisfaction for...
2013-02-25 Brian Norristhreads: construct Thread only with a given "parent"
2013-02-25 Brian Demskyrepush changes
2013-02-25 Brian Demskyfix conflicts
2013-02-25 Brian Demskyfix norris mentioned bug
2013-02-25 Brian NorrisRevert "fix scheduling stuff to get nice round robin...
2013-02-25 Brian Demskyfix scheduling stuff to get nice round robin scheduler...
2013-02-23 Brian Norrismodel: bugfix - inherit future values from previous...
2013-02-23 Brian Norrismodel: correct the "no valid reads" assertion
2013-02-22 Brian Norrismodel: wake up pending (sleep-set) actions for fences
2013-02-21 Brian Norrismodel: only backtrack fences when acquire is before...
2013-02-21 Brian Norrismodel: document get_last{,_fence}_conflict()
2013-02-21 Brian Norrismodel: schedule appropriate fence backtracking points
2013-02-21 Brian Norrismodel: convert while-loops to for-loops
2013-02-20 Brian Norrismodel: add 'const'
2013-02-16 Brian Norrismodel: end-of-execution print
2013-02-16 Brian Norrismodel: improve get_next_thread() comments
2013-02-15 Brian Norrismodel: pull scheduler's thread selection into get_next_...
2013-02-15 Brian Norrisschedule: split Scheduler::next_thread() into separate...
2013-02-15 Brian Norrismodel: factor out a 'switch_from_master()' function
2013-02-15 Brian Norrismodel: rework the release sequence fixups
2013-02-15 Brian Norrismodel: simple refactoring
2013-02-15 Brian Norrismodel/threads: add documentation comments
2013-02-15 Brian Norrismodel: fix leaking "pending actions"
2013-02-15 Brian Norrismodel: add 'pending' assertion
2013-02-15 Brian Norrismodel: stash all pending actions immediately
2013-02-15 Brian Norrismodel: pull 'has_asserted()' check out of take_step()
2013-02-15 Brian Norristhreads: bugfix - do not call thread_current() from...
2013-02-15 Brian Norrismodel: stash actions in each thread
2013-02-15 Brian Norrismodel: return next thread from take_step()
2013-02-14 Brian Norristhreads/model: allocate Thread from w/in ModelChecker
2013-02-12 Brian Norrismodel: set thread state during 'swap' calls
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-12 Brian Norrismodel: prune may-read-from set early
2013-02-12 Brian Norrismodel: rewrite mo_check_promises
2013-02-09 Brian Norrismodel: remove argument from mo_check_promises
2013-02-09 Brian Norrismodel: rename according to the comments
2013-02-07 Brian Norrismodel: add read-write coherence for promise nodes
2013-02-06 Brian Norrismodel: refactor to use a helper function
2013-02-06 Brian Norriscyclegraph: fixup support for dumping the modification...
2013-02-06 Brian Norrismodel: fully utilize Promise nodes in CycleGraph
2013-02-06 Brian Norrismodel: cosmetic improvements to resolve_promises()
2013-02-06 Brian Norrismodel: add write-to-promise edges
2013-02-06 Brian Norrismodel: utilize CycleGraph 'addEdge()' status
2013-02-06 Brian Norrismodel: add promise-node edges for 'read' actions
2013-02-06 Brian Norrismodel: template-ize 'r_modification_order'
2013-02-06 Brian Norrisaction: store Promise in ModelAction
2013-02-06 Brian Norrismodel: don't print scheduler randomly
2013-01-29 Brian Norrisnodestack/model: spacing
2013-01-25 Brian Norriscyclegraph: RMW atomicity violation must flag a cycle
2013-01-25 Brian Norrismodel: remove ModelChecker::is_infeasible_ignoreRMW()
2013-01-24 Brian Norrismodel: add immediate future value for RMW reordering
2013-01-24 Brian Norrismodel: modify promises on THREAD_{CREATE,FINISH}
2013-01-24 Brian Norrispromise: associate Promises with a set of threads
next