Remove special cases for printing SC executions.
[model-checker.git] / model.h
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 Norrismodel: embed the trace_analyses in the class
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrisschedule: drop the ModelChecker::check_promises_thread_...
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface
2013-04-16 Brian Norrispromise: get reference to ModelExecution
2013-04-16 Brian Norrismodel: cleanup a few more interfaces
2013-04-16 Brian Norrismodel: add get_execution() 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-15 Brian Norrisparams: move model_params to header file
2013-04-15 Brian Norrismodel: add too_many_steps()
2013-04-13 Brian Demskymore implementation of scanalysis...
2013-04-13 Brian Demskytowards supporting scanalysis...
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
2013-04-05 Brian Norrismodel: add variable arguments for bug messages
2013-04-05 Brian Norrismodel: pull thread control logic out of take_step(...
2013-04-04 Brian Norrisswapcontext() fix for Mac OSX
2013-04-03 Brian Norrismodel: kill lock_waiters_map
2013-03-27 Brian Norristhreads: move circular wait check into Threads::is_wait...
2013-03-22 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2013-03-21 Brian Norrismodel: bugfix - send future values more eagerly
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-09 Brian Norrismodel: privatize some thread functions
2013-03-08 Brian Norrisstl - remove stale <vector> and <list> #include's
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 NorrisMerge remote 'yield' work
2013-03-06 Brian Demskyadd yield support
2013-03-05 Brian Norrismodel: refactor the get_thread() selection
2013-03-03 Brian Norrismodel: rename check_deadlock() to is_circular_wait()
2013-03-03 Brian Norrismodel: add improved (?) deadlock detection
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 Norrismodel: fixes for future value passing
2013-03-02 Brian Norrismodel: we only resolve one promise at a time
2013-02-28 Brian Norrisaction: print promise number, not just ?
2013-02-28 Brian Norrismodel: don't call process_read() for 2nd half of RMW...
2013-02-26 Brian Norrismodel: promises: eliminate threads when they "join"
2013-02-23 Brian Norrismodel: bugfix - inherit future values from previous...
2013-02-22 Brian Norrismodel: wake up pending (sleep-set) actions for fences
2013-02-21 Brian Norrismodel: schedule appropriate fence backtracking points
2013-02-20 Brian Norrismodel: add 'const'
2013-02-20 Brian Norrisdon't include action.h from model.h
2013-02-20 Brian Norrismodel/action: move action_list_t to model.h
2013-02-15 Brian Norrismodel: factor out a 'switch_from_master()' function
2013-02-15 Brian Norrismodel: stash actions in each thread
2013-02-15 Brian Norrismodel: return next thread from take_step()
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-09 Brian Norrismodel: remove argument from mo_check_promises
2013-02-06 Brian Norrismodel: fully utilize Promise nodes in CycleGraph
2013-02-06 Brian Norrismodel: template-ize 'r_modification_order'
2013-01-25 Brian Norrismodel: remove ModelChecker::is_infeasible_ignoreRMW()
2013-01-24 Brian Norrismodel: add const to get_thread(ModelAction *act)
2013-01-23 Brian Demskyfix bug in promise handling code...
2013-01-10 Brian Norrismodel: fixup "infeasible" messages
2013-01-08 Brian Norrismodel: add 'add_future_value()' wrapper
2013-01-08 Brian Norrismodel: add PendingFutureValue constructor
2012-12-18 Brian Norrismodel: refactor check_current_action, next thread compu...
2012-12-13 Brian Norrismodel: add 'set_latest_backtrack()'
2012-12-13 Brian Norrismodel: make dumpGraph 'const'
2012-12-13 Brian Norrismodel: pass current action as function argument
2012-12-12 Brian Norrismodel: return value from switch_to_master
2012-12-08 Brian Norrisspacing
2012-12-07 Brian Norrismodel: add helper for allocating new UNINIT actions
2012-12-04 Brian Norrismodel: add process_fence()
2012-12-04 Brian Norrismodel: distinguish between 'read' and 'acquire' in...
2012-12-04 Brian Norrismodel: privatize a few interfaces
2012-12-04 Brian Norrismodel/action: move complicated read_from logic into...
2012-12-04 Brian Norrismodel: record last fence-release from each thread
2012-12-03 Brian Norrismodel: add get_last_seq_cst_fence
2012-12-01 Brian Norrismodel: rename get_last_seq_cst -> get_last_seq_cst_write
2012-11-20 Brian Norrismodel: remove <list> include
2012-11-20 Brian Norrismodel: add const
2012-11-20 Brian Norrismodel: rename isfinalfeasible -> is_feasible_prefix_ign...
2012-11-20 Brian Norrismodel: privatize, move isfinalfeasible()
2012-11-20 Brian Norrismodel: rename some 'isfeasible...' functions to 'is_inf...
2012-11-20 Brian Norrismodel: privatize some functions
2012-11-20 Brian Norrismain/model: move full user-program execution to ModelCh...
2012-11-20 Brian Norrismodel/main: add argc/argv parameter
2012-11-20 Brian Norrismodel: move flags to private 'model_snapshot_members'
2012-11-20 Brian Norrismodel: privatize set_assert()
2012-11-17 Brian Norrismodel: add "# redundant" stat
2012-11-17 Brian Norrismodel: refactor end-of-execution output
2012-11-17 Brian Norrismodel: print_summary() should be const
2012-11-17 Brian Norrismodel/main: disable most printing by default, add verbosity
2012-11-17 Brian Norrisprint stats only at end of execution
next