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

2013-03-09	Brian Norris	model: privatize some thread functions	blob \| commitdiff \| raw
2013-03-08	Brian Norris	stl - remove stale <vector> and <list> #include's	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Norris	bugfix - add stl-model.h wrappers, to provide more...	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Norris	Revert "switch to snapshot/modelalloc versions of stl...	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Demsky	switch to snapshot/modelalloc versions of stl classes	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Demsky	add new option for uninitialized writes...	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Norris	model, nodestack: bugfix - retain UNINIT actions across...	blob \| commitdiff \| raw \| diff to current
2013-03-06	Brian Norris	Merge remote 'yield' work	blob \| commitdiff \| raw \| diff to current
2013-03-06	Brian Demsky	add yield support	blob \| commitdiff \| raw \| diff to current
2013-03-05	Brian Norris	model: refactor the get_thread() selection	blob \| commitdiff \| raw \| diff to current
2013-03-03	Brian Norris	model: rename check_deadlock() to is_circular_wait()	blob \| commitdiff \| raw \| diff to current
2013-03-03	Brian Norris	model: add improved (?) deadlock detection	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	check_recency: improve templates, use when reading...	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	check_recency: refactor some more, + include Promises	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	check_recency: return a boolean status	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	model: fixes for future value passing	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	model: we only resolve one promise at a time	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	action: print promise number, not just ?	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	model: don't call process_read() for 2nd half of RMW...	blob \| commitdiff \| raw \| diff to current
2013-02-26	Brian Norris	model: promises: eliminate threads when they "join"	blob \| commitdiff \| raw \| diff to current
2013-02-23	Brian Norris	model: bugfix - inherit future values from previous...	blob \| commitdiff \| raw \| diff to current
2013-02-22	Brian Norris	model: wake up pending (sleep-set) actions for fences	blob \| commitdiff \| raw \| diff to current
2013-02-21	Brian Norris	model: schedule appropriate fence backtracking points	blob \| commitdiff \| raw \| diff to current
2013-02-20	Brian Norris	model: add 'const'	blob \| commitdiff \| raw \| diff to current
2013-02-20	Brian Norris	don't include action.h from model.h	blob \| commitdiff \| raw \| diff to current
2013-02-20	Brian Norris	model/action: move action_list_t to model.h	blob \| commitdiff \| raw \| diff to current
2013-02-15	Brian Norris	model: factor out a 'switch_from_master()' function	blob \| commitdiff \| raw \| diff to current
2013-02-15	Brian Norris	model: stash actions in each thread	blob \| commitdiff \| raw \| diff to current
2013-02-15	Brian Norris	model: return next thread from take_step()	blob \| commitdiff \| raw \| diff to current
2013-02-12	Brian Norris	Merge branch 'fences'	blob \| commitdiff \| raw \| diff to current
2013-02-09	Brian Norris	model: remove argument from mo_check_promises	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	model: fully utilize Promise nodes in CycleGraph	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	model: template-ize 'r_modification_order'	blob \| commitdiff \| raw \| diff to current
2013-01-25	Brian Norris	model: remove ModelChecker::is_infeasible_ignoreRMW()	blob \| commitdiff \| raw \| diff to current
2013-01-24	Brian Norris	model: add const to get_thread(ModelAction *act)	blob \| commitdiff \| raw \| diff to current
2013-01-23	Brian Demsky	fix bug in promise handling code...	blob \| commitdiff \| raw \| diff to current
2013-01-10	Brian Norris	model: fixup "infeasible" messages	blob \| commitdiff \| raw \| diff to current
2013-01-08	Brian Norris	model: add 'add_future_value()' wrapper	blob \| commitdiff \| raw \| diff to current
2013-01-08	Brian Norris	model: add PendingFutureValue constructor	blob \| commitdiff \| raw \| diff to current
2012-12-18	Brian Norris	model: refactor check_current_action, next thread compu...	blob \| commitdiff \| raw \| diff to current
2012-12-13	Brian Norris	model: add 'set_latest_backtrack()'	blob \| commitdiff \| raw \| diff to current
2012-12-13	Brian Norris	model: make dumpGraph 'const'	blob \| commitdiff \| raw \| diff to current
2012-12-13	Brian Norris	model: pass current action as function argument	blob \| commitdiff \| raw \| diff to current
2012-12-12	Brian Norris	model: return value from switch_to_master	blob \| commitdiff \| raw \| diff to current
2012-12-08	Brian Norris	spacing	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	model: add helper for allocating new UNINIT actions	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	model: add process_fence()	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	model: distinguish between 'read' and 'acquire' in...	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	model: privatize a few interfaces	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	model/action: move complicated read_from logic into...	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	model: record last fence-release from each thread	blob \| commitdiff \| raw \| diff to current
2012-12-03	Brian Norris	model: add get_last_seq_cst_fence	blob \| commitdiff \| raw \| diff to current
2012-12-01	Brian Norris	model: rename get_last_seq_cst -> get_last_seq_cst_write	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: remove <list> include	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: add const	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: rename isfinalfeasible -> is_feasible_prefix_ign...	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: privatize, move isfinalfeasible()	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: rename some 'isfeasible...' functions to 'is_inf...	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: privatize some functions	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	main/model: move full user-program execution to ModelCh...	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model/main: add argc/argv parameter	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: move flags to private 'model_snapshot_members'	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: privatize set_assert()	blob \| commitdiff \| raw \| diff to current
2012-11-17	Brian Norris	model: add "# redundant" stat	blob \| commitdiff \| raw \| diff to current
2012-11-17	Brian Norris	model: refactor end-of-execution output	blob \| commitdiff \| raw \| diff to current
2012-11-17	Brian Norris	model: print_summary() should be const	blob \| commitdiff \| raw \| diff to current
2012-11-17	Brian Norris	model/main: disable most printing by default, add verbosity	blob \| commitdiff \| raw \| diff to current
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
next

C++11 memory model checker

RSS Atom