Programming Languages Research Group: Git - model-checker.git/history

2012-11-17	Brian Norris	print stats only at end of execution	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	model: rework assert_bug() and assert_user_bug() interfaces	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	model: restructure statistics records	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	model: add bug reporting framework	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Norris	model: add 'const'	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Norris	model: routine to check if execution is complete	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Demsky	make hashtables only contain primitive types or pointers	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Demsky	merge	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model: don't export Scheduler	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model: add ModelChecker is_enabled() functions	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model: fix spacing	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model: move snapshot members out of header	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	main/model: add future value expiration sloppiness...	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	main: add maxfuturevalues parameter (-M)	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model: add deadlock detection	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model: get_num_threads() should be const	blob \| commitdiff \| raw \| diff to current
2012-11-07	Brian Norris	model: add deadlock detection	blob \| commitdiff \| raw \| diff to current
2012-11-07	Brian Norris	model: get_num_threads() should be const	blob \| commitdiff \| raw \| diff to current
2012-11-07	Brian Norris	main/model: add future value expiration sloppiness...	blob \| commitdiff \| raw \| diff to current
2012-11-04	Brian Norris	main: add maxfuturevalues parameter (-M)	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Demsky	various fixes. linux rw locks should work again with...	blob \| commitdiff \| raw \| diff to current
2012-11-02	Brian Norris	model: totally destroy 'curr' within initialize_curr_ac...	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	commit untested condvar code	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Demsky	make scheduler choose fair schedules when threads with...	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Demsky	fix some of the bugs related to barrier example...	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	model: JOIN/LOCK unification	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Demsky	be much more careful about sending values backwards...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	be even more aggressive about sleep sets...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	utilize SnapshotAlloc STL allocator	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	merge massive speedup with release sequence support...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	add support for sleep sets...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	model: add special model-checker Thread to ModelChecker	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	model: add process_relseq_fixup()	blob \| commitdiff \| raw \| diff to current
2012-10-07	Brian Norris	model: wire up rest of release seq. resolution backtracking	blob \| commitdiff \| raw \| diff to current
2012-10-05	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Norris	model: assign "pending" return values in release_seq_he...	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Norris	model: update pending release sequence list type	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Norris	model: add release_seq structure definition	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	local commit... bug that prunes too many executions	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	model: rename release_seq_head() -> release_seq_heads()	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	model: add const qualifier to get_thread()	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	modeltypes: move small typedefs to own header	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	model: don't include schedule.h	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	model: move get_thread() implementations out of header	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	model: move get_current_thread() implementation out...	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	rename 'MyAlloc' to 'ModelAlloc'	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	(bug) revert JOIN/LOCK simplification	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	assign sequence numbers after initial processing	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	model: remove obsolete ModelChecker::do_complete_join()	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Demsky	start support for drawing execution diagrams	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Demsky	Fixed bug breaking our consolidation of future values...	blob \| commitdiff \| raw \| diff to current
2012-10-01	Brian Norris	model: add "bad synchronization" flag	blob \| commitdiff \| raw \| diff to current
2012-09-28	Brian Demsky	fix bug from moving read_from check_recency...check_rec...	blob \| commitdiff \| raw \| diff to current
2012-09-25	Brian Norris	model: mutex synchronization -> re-check release sequences	blob \| commitdiff \| raw \| diff to current
2012-09-25	Brian Norris	model: split THREAD_* processing into process_thread_ac...	blob \| commitdiff \| raw \| diff to current
2012-09-25	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-24	Brian Demsky	fairness changes...	blob \| commitdiff \| raw \| diff to current
2012-09-21	Brian Norris	model: flatten "pending acquire/release sequence" structure	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Norris	model: add const qualifiers, fixup comments	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	merge stuff	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	support for locks... untested, but doesn't break quick...	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	fix	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	merge in master	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Norris	model: replace list type with action_list_t	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Norris	model: add typedef for list of release sequence heads	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Norris	model: THREAD_JOIN synchronizes with THREAD_FINISH	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: move init code to ModelChecker::initialize_curr_...	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	changes	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: check_recency - "already_added" always true	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: bugfix get_last_seq_action()	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	more changes towards locks	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	model: release_seq synchronization generates mo_graph...	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	model: record the number of feasible executions	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	model: add work queue loop	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	model: more restructuring of read/write processing	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	model: remove unnecessary parameter to ModelChecker...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	bugfix: straighten out STL vector allocation (snapshott...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	Merge remote-tracking branch 'origin/makefile'	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	cleanup style	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	fix for horrible bug... turns out that we could genera...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	missing changes	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	right fix for avoid rmw cycles... bad assumption in...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	another bug fix...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	separate out rmw actions	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	(1) structure code a little better	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	deal with looping due to bogus future value via promise...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Norris	model: add ModelChecker::get_thread(ModelAction *act)	blob \| commitdiff \| raw \| diff to current
next

C++11 memory model checker

RSS Atom