bug fix for atomic adds/subtracts on pointers
[model-checker.git] / model.cc
2014-05-06 bdemskyBug fixes from running Coverity
2014-01-25 bdemskySupport for -x option
2013-08-14 Brian Norrismodel: only print 'Total nodes' for verbose printing
2013-06-05 Brian Norrismodel: remove redundant code (is_enabled)
2013-06-01 Brian Norrismodel: cosmetic output improvements
2013-05-31 Brian Norrisparams: add multi-level verbosity
2013-05-06 Brian Demskydocument and extend trace analysis interface
2013-05-06 Brian Demskycleanup plugin interface a little more.
2013-04-17 Brian DemskyBug: ModelExecution had bogus model_params reference.
2013-04-16 Brian Norrismodel: privatize ModelChecker::get_num_threads()
2013-04-16 Brian Norrismodel: remove leftover junk
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker...
2013-04-16 Brian Norrisclean out includes, etc.
2013-04-16 Brian Norrismodel: embed the trace_analyses in the class
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecut...
2013-04-16 Brian Norrismodel: drop public get_current_node() interface
2013-04-16 Brian Norrismodel: remove public check_promises() interface
2013-04-16 Brian Norrismodel: add synchronize() function
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
2013-04-16 Brian Norristraceanalysis: rename to remove '_'
2013-04-16 Brian Norrisbugmessage: move struct to header file
2013-04-15 Brian Norrismodel: add too_many_steps()
2013-04-15 Brian Norrismodel: fixup whitespace
2013-04-13 Brian Demskytowards supporting scanalysis...
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-04-05 Brian Norrismodel: remove DEBUG action print
2013-04-05 Brian Norrismodel: deadlock: print the culprit thread, when known
2013-04-05 Brian Norrismodel: add variable arguments for bug messages
2013-04-05 Brian Norrismodel: proactively build/prune is_enabled() set
2013-04-05 Brian Norrismodel: pull thread control logic out of take_step(...
2013-04-04 Brian Norriscommon: make model_print() use OS file descriptor,...
2013-04-04 Brian Norrismodel: note the DPOR addendum
2013-04-04 Brian Norrismodel: use get_thread() helper
2013-04-03 Brian Norristhreads: remove wait_list
2013-04-03 Brian Norrismodel: use get_mutex() and get_thread_operand() helpers
2013-04-03 Brian Norrismodel: kill lock_waiters_map
2013-04-03 Brian Norrismodel: merge duplicated code for WAIT and UNLOCK
2013-04-03 Brian Norrismodel: get_mutex() for locating the lock map
2013-04-02 Brian Norrisaction: add ModelAction::is_thread_join() helper
2013-03-28 Brian Norrisnodestack: move "behaviors" increment all into Node...
2013-03-27 Brian Norristhreads: move circular wait check into Threads::is_wait...
2013-03-22 Brian Demskyfix mistake in promises may allow code... need to...
2013-03-22 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2013-03-22 Brian Norrismodel: re-check pending future values whenever a promis...
2013-03-21 Brian Norrismodel: bugfix - send future values more eagerly
2013-03-21 Brian Norrismodel: refactor add_future_value, add documentation
2013-03-21 Brian Norrismodel: add 'const'
2013-03-21 Brian Norrismodel: rename PendingFutureValue 'act' to 'reader'
2013-03-21 Brian Norrismodel: rework the resolve-promise interface
2013-03-19 Brian Norrismodel: note how we support seq-cst fences
2013-03-12 Brian Norrismodel: bugfix - missing SC mo_graph edge
2013-03-12 Brian Norrismodel: refactor r_modification_order 'act != curr'...
2013-03-09 Brian Norrismymemory: enforce that user allocations come from user...
2013-03-09 Brian Norrismodel: privatize some thread functions
2013-03-07 Brian Norrisbugfix - add stl-model.h wrappers, to provide more...
2013-03-07 Brian NorrisRevert "switch to snapshot/modelalloc versions of stl...
2013-03-07 Brian Demskyswitch to snapshot/modelalloc versions of stl classes
2013-03-07 Brian Demskyadd new option for uninitialized writes...
2013-03-07 Brian Norrismodel, nodestack: bugfix - retain UNINIT actions across...
2013-03-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2013-03-06 Brian NorrisMerge remote 'yield' work
2013-03-06 Brian Norrismodel: don't print 'uninitialized' ModelActions in...
2013-03-06 Brian Demskyadd yield support
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
next