model: add 'const'
[c11tester.git] / model.h
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
2012-09-18 Brian NorrisMerge branch 'norris'
2012-09-18 Brian Norrismodel: check_recency - "already_added" always true
2012-09-18 Brian Norrismodel: bugfix get_last_seq_action()
2012-09-18 Brian Demskymore changes towards locks
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-14 Brian Norrismodel: release_seq synchronization generates mo_graph...
2012-09-14 Brian Norrismodel: record the number of feasible executions
2012-09-14 Brian Norrismodel: add work queue loop
2012-09-13 Brian Norrismodel: more restructuring of read/write processing
2012-09-13 Brian Norrismodel: remove unnecessary parameter to ModelChecker...
2012-09-13 Brian Norrisbugfix: straighten out STL vector allocation (snapshott...
2012-09-13 Brian NorrisMerge remote-tracking branch 'origin/makefile'
2012-09-13 Brian Norriscleanup style
2012-09-13 Brian Demskyfix for horrible bug... turns out that we could genera...
2012-09-13 Brian Demskymissing changes
2012-09-13 Brian Demskyright fix for avoid rmw cycles... bad assumption in...
2012-09-13 Brian Demskyanother bug fix...
2012-09-13 Brian Demskyseparate out rmw actions
2012-09-12 Brian Demsky(1) structure code a little better
2012-09-12 Brian Demskydeal with looping due to bogus future value via promise...
2012-09-12 Brian Norrismodel: add ModelChecker::get_thread(ModelAction *act)
2012-09-12 Brian NorrisMerge branch 'demsky'
2012-09-12 Brian Demskymodel: cleaning up some code
2012-09-11 Brian Norrismodel: add check_recency()
2012-09-11 Brian Norrismodel: refactor "get next thread" code
next