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

2012-12-13	Brian Norris	model: spacing	blob \| commitdiff \| raw \| diff to current
2012-12-12	Brian Norris	model: rename 'promise_index' to 'i'	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: don't create UNINIT actions for Threads, mutexes...	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	model/action: bugfix - UNINIT actions do not have a...	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	model: remove old "uninitialized" bug check	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	model: generate UNINIT actions as new atomic operations...	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-07	Brian Norris	model: clear a ModelAction's reads-from properly	blob \| commitdiff \| raw \| diff to current
2012-12-06	Brian Norris	model: refactoring + spacing	blob \| commitdiff \| raw \| diff to current
2012-12-05	Brian Norris	model: stop thread-trace search once edge is added	blob \| commitdiff \| raw \| diff to current
2012-12-05	Brian Norris	model: fix bugs in fence-acquire synchronization	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: add read-acquire/fence-release support	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-04	Brian Norris	model: remove extraneous copy-and-paste	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	model: add seq-cst fence rules	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	action/model: backtrack for seq-cst and release/acquire...	blob \| commitdiff \| raw \| diff to current
2012-12-03	Brian Norris	model: refactor build_reads_from_past	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-03	Brian Norris	model: rename last_seq_cst -> last_sc_write	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: add const	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	schedule: rename get_enabled() -> get_enabled_array()	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: replace isfinalfeasible() with stronger check	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: move flags to private 'model_snapshot_members'	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	model: add model_snapshot_members constructor/destructor	blob \| commitdiff \| raw \| diff to current
2012-11-19	Brian Norris	model: optimize get_last_conflict() search	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	output redirection	blob \| commitdiff \| raw \| diff to current
2012-11-17	Brian Norris	model: print execution # with trace	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	printf -> model_print	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	model: correct plural ("bug" or "bugs")	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	dataraces: don't print an uninformative "Data race...	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	datarace: change "Datarace" to "Data race"	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: annotate SNAPSHOT for bug_message	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	model: temporary fix for uninitialized loads	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	assert bugs through common interface	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	model: print bug reports at end of each execution	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	model: add bug reporting framework	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	model: remove unnecessary DEBUG()	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Norris	model: use snapshot_calloc()	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-15	Brian Norris	model: remove useless special case	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model/promise: use ModelChecker is_enabled() interface	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model: is_deadlocked() (sort of) had a bug	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: move snapshot members out of header	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	model: refactor build_reads_from_past	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-06	Brian Norris	model: refactor build_reads_from_past	blob \| commitdiff \| raw \| diff to current
2012-11-04	Brian Norris	Merge branch 'master' into pldi13	blob \| commitdiff \| raw \| diff to current
2012-11-04	Brian Norris	model: fix some whitespace	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	annoying bug... Optimization was originally intended...	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	optimization - a given write can resolve at most one...	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-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Demsky	fix two bugs in model.cc...mainly don't print bogus...	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Demsky	this is the bad line...	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	changes to fix at least a bug	blob \| commitdiff \| raw \| diff to current
2012-11-02	Brian Demsky	fix norris bugs	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-11-01	Brian Demsky	found the bug	blob \| commitdiff \| raw \| diff to current
2012-11-01	Brian Demsky	fix new bug	blob \| commitdiff \| raw \| diff to current
2012-11-01	Brian Norris	model: silence "uninitialized" warning	blob \| commitdiff \| raw \| diff to current
2012-11-01	Brian Norris	model: update mo_may_allow restrictions	blob \| commitdiff \| raw \| diff to current
2012-10-26	Brian Demsky	changes to allow running programs with racing initializ...	blob \| commitdiff \| raw \| diff to current
2012-10-25	Brian Demsky	embarrassing bug...fixed...	blob \| commitdiff \| raw \| diff to current
2012-10-19	Brian Norris	model: fix - RMW cannot break release sequences	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	forgot to add two files...	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	commit untested condvar code	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Brian Norris	mutex: move mutex.h to standard name/location	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
next

C++11 memory model checker

RSS Atom