model: schedule appropriate fence backtracking points
[c11tester.git] / model.h
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
2012-11-16 Brian Norrismodel: rework assert_bug() and assert_user_bug() interfaces
2012-11-16 Brian Norrismodel: restructure statistics records
2012-11-16 Brian Norrismodel: add bug reporting framework
2012-11-15 Brian Norrismodel: add 'const'
2012-11-15 Brian Norrismodel: routine to check if execution is complete
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-15 Brian Demskymake hashtables only contain primitive types or pointers
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-15 Brian Demskymerge
2012-11-14 Brian Norrismodel: don't export Scheduler
2012-11-14 Brian Norrismodel: add ModelChecker is_enabled() functions
2012-11-14 Brian Norrismodel: fix spacing
2012-11-14 Brian Norrismodel: move snapshot members out of header
2012-11-14 Brian Norrismain/model: add future value expiration sloppiness...
2012-11-14 Brian Norrismain: add maxfuturevalues parameter (-M)
2012-11-14 Brian Norrismodel: add deadlock detection
2012-11-14 Brian Norrismodel: get_num_threads() should be const
2012-11-07 Brian Norrismodel: add deadlock detection
2012-11-07 Brian Norrismodel: get_num_threads() should be const
2012-11-07 Brian Norrismain/model: add future value expiration sloppiness...
2012-11-04 Brian Norrismain: add maxfuturevalues parameter (-M)
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian Demskyvarious fixes. linux rw locks should work again with...
2012-11-02 Brian Norrismodel: totally destroy 'curr' within initialize_curr_ac...
2012-10-12 Brian Demskycommit untested condvar code
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-10 Brian Demskymake scheduler choose fair schedules when threads with...
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 Norrismodel: JOIN/LOCK unification
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 Demskyadd support for sleep sets...
2012-10-08 Brian NorrisMerge branch 'norris'
2012-10-08 Brian Norrismodel: add special model-checker Thread to ModelChecker
2012-10-08 Brian Norrismodel: add process_relseq_fixup()
2012-10-07 Brian Norrismodel: wire up rest of release seq. resolution backtracking
2012-10-05 Brian DemskyMerge branch 'master' of ssh://
2012-10-04 Brian Norrismodel: assign "pending" return values in release_seq_he...
2012-10-04 Brian Norrismodel: update pending release sequence list type
2012-10-04 Brian Norrismodel: add release_seq structure definition
2012-10-04 Brian Demskylocal commit... bug that prunes too many executions
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrismodel: rename release_seq_head() -> release_seq_heads()
2012-10-03 Brian Norrismodel: add const qualifier to get_thread()
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 Norrismodel: don't include schedule.h
2012-10-03 Brian Norrismodel: move get_thread() implementations out of header
2012-10-03 Brian Norrismodel: move get_current_thread() implementation out...
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrisrename 'MyAlloc' to 'ModelAlloc'