model: add process_fence()
[c11tester.git] / model.h
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://demsky.eecs.uci.edu...
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'
2012-10-03 Brian Norris(bug) revert JOIN/LOCK simplification
2012-10-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-03 Brian Norrisassign sequence numbers after initial processing
2012-10-03 Brian Norrismodel: remove obsolete ModelChecker::do_complete_join()
2012-10-02 Brian Demskystart support for drawing execution diagrams
2012-10-02 Brian DemskyFixed bug breaking our consolidation of future values...
2012-10-01 Brian Norrismodel: add "bad synchronization" flag
2012-09-28 Brian Demskyfix bug from moving read_from check_recency...check_rec...
2012-09-25 Brian Norrismodel: mutex synchronization -> re-check release sequences
2012-09-25 Brian Norrismodel: split THREAD_* processing into process_thread_ac...
2012-09-25 Brian NorrisMerge branch 'norris'
2012-09-24 Brian Demskyfairness changes...
2012-09-21 Brian Norrismodel: flatten "pending acquire/release sequence" structure
2012-09-20 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-09-20 Brian Norrismodel: add const qualifiers, fixup comments
2012-09-19 Brian Demskymerge stuff
2012-09-19 Brian Demskysupport for locks... untested, but doesn't break quick...
2012-09-19 Brian Demskyfix
2012-09-19 Brian Demskymerge in master
2012-09-19 Brian Norrismodel: replace list type with action_list_t
2012-09-19 Brian Norrismodel: add typedef for list of release sequence heads
2012-09-19 Brian Norrismodel: THREAD_JOIN synchronizes with THREAD_FINISH
2012-09-18 Brian Norrismodel: move init code to ModelChecker::initialize_curr_...
2012-09-18 Brian Demskychanges
next