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

2012-11-19	Brian Norris	model: optimize get_last_conflict() search	commit \| commitdiff \| tree \| snapshot
2012-11-19	Brian Norris	action: add is_relaxed() function	commit \| commitdiff \| tree \| snapshot
2012-11-17	Brian Norris	common: update comment	commit \| commitdiff \| tree \| snapshot
2012-11-17	Brian Norris	model: add "# redundant" stat	commit \| commitdiff \| tree \| snapshot
2012-11-17	Brian Norris	model: refactor end-of-execution output	commit \| commitdiff \| tree \| snapshot
2012-11-17	Brian Norris	model: print_summary() should be const	commit \| commitdiff \| tree \| snapshot
2012-11-17	Brian Norris	model/main: disable most printing by default, add verbosity	commit \| commitdiff \| tree \| snapshot
2012-11-17	Brian Norris	output redirection	commit \| commitdiff \| tree \| snapshot
2012-11-17	Brian Norris	model: print execution # with trace	commit \| commitdiff \| tree \| snapshot
2012-11-17	Brian Norris	print stats only at end of execution	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	printf -> model_print	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	model: correct plural ("bug" or "bugs")	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	model: rework assert_bug() and assert_user_bug() interfaces	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	dataraces: don't print an uninformative "Data race...	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	datarace: redirect "Data race @ ..." messages to model...	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	datarace: change "Datarace" to "Data race"	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	model: restructure statistics records	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	model: annotate SNAPSHOT for bug_message	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	model: temporary fix for uninitialized loads	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	assert bugs through common interface	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	model: print bug reports at end of each execution	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	model: add bug reporting framework	commit \| commitdiff \| tree \| snapshot
2012-11-16	Brian Norris	model: remove unnecessary DEBUG()	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Norris	model: use snapshot_calloc()	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Norris	model: add 'const'	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Norris	model: routine to check if execution is complete	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	make compile on linux...needed string.h	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	optimize hashtable so we don't always build new ones...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	remove hashtable functionality	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	make hashtables only contain primitive types or pointers	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	avoid warning	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	merge	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Demsky	optimization...don't calloc the datarace tables every...	commit \| commitdiff \| tree \| snapshot
2012-11-15	Brian Norris	model: remove useless special case	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model: don't export Scheduler	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model/promise: use ModelChecker is_enabled() interface	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model: is_deadlocked() (sort of) had a bug	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model: add ModelChecker is_enabled() functions	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	schedule: improve is_enabled() routines	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model: fix spacing	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model: move snapshot members out of header	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	README	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	main: change default future value sloppiness	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	nodestack: implement expiration sloppiness parameter	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	main/model: add future value expiration sloppiness...	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	nodestack: limit the number of future values per read	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	main: add maxfuturevalues parameter (-M)	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	common: early quit on MODEL_ASSERT()	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model-assert: add MODEL_ASSERT() for user programs	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model: refactor build_reads_from_past	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	common/config: allow enable/disable ASSERT() easily	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	race: where possible, use "const void *" for addresses	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	test: add AB/BA deadlock test	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model: add deadlock detection	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	model: get_num_threads() should be const	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	snapshot: find the correct binary name	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	snapshot: read from /proc/self/maps	commit \| commitdiff \| tree \| snapshot
2012-11-14	Brian Norris	main: fixup parameter parsing for user program	commit \| commitdiff \| tree \| snapshot
2012-11-07	Brian Norris	test: add AB/BA deadlock test	commit \| commitdiff \| tree \| snapshot
2012-11-07	Brian Norris	model: add deadlock detection	commit \| commitdiff \| tree \| snapshot
2012-11-07	Brian Norris	model: get_num_threads() should be const	commit \| commitdiff \| tree \| snapshot
2012-11-07	Brian Norris	main: change default future value sloppiness	commit \| commitdiff \| tree \| snapshot
2012-11-07	Brian Norris	nodestack: implement expiration sloppiness parameter	commit \| commitdiff \| tree \| snapshot
2012-11-07	Brian Norris	main/model: add future value expiration sloppiness...	commit \| commitdiff \| tree \| snapshot
2012-11-06	Brian Norris	model: refactor build_reads_from_past	commit \| commitdiff \| tree \| snapshot
2012-11-04	Brian Norris	nodestack: limit the number of future values per read	commit \| commitdiff \| tree \| snapshot
2012-11-04	Brian Norris	main: add maxfuturevalues parameter (-M)	commit \| commitdiff \| tree \| snapshot
2012-11-04	Brian Norris	Merge branch 'master' into pldi13	commit \| commitdiff \| tree \| snapshot
2012-11-04	Brian Norris	main: always ensure defaults when printing	commit \| commitdiff \| tree \| snapshot
2012-11-04	Brian Norris	model: fix some whitespace	commit \| commitdiff \| tree \| snapshot
2012-11-04	Brian Norris	common: early quit on MODEL_ASSERT()	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Norris	model-assert: add MODEL_ASSERT() for user programs	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Norris	snapshot: find the correct binary name	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	annoying bug... Optimization was originally intended...	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Norris	snapshot: read from /proc/self/maps	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Norris	promise: fix signed/unsigned warning	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	clean up check code	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	optimization - a given write can resolve at most one...	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	various fixes. linux rw locks should work again with...	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	fix two bugs in model.cc...mainly don't print bogus...	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	this is the bad line...	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	previous synchronization was weird...	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	fix bugs with promise check...	commit \| commitdiff \| tree \| snapshot
2012-11-03	Brian Demsky	changes to fix at least a bug	commit \| commitdiff \| tree \| snapshot
2012-11-02	Brian Norris	main: fixup parameter parsing for user program	commit \| commitdiff \| tree \| snapshot
2012-11-02	Brian Norris	common/config: disable ASSERT() by default	commit \| commitdiff \| tree \| snapshot
2012-11-02	Brian Demsky	fix norris bugs	commit \| commitdiff \| tree \| snapshot
2012-11-02	Brian Norris	model: totally destroy 'curr' within initialize_curr_ac...	commit \| commitdiff \| tree \| snapshot
2012-11-02	Brian Norris	clockvector: remove old include	commit \| commitdiff \| tree \| snapshot
2012-11-01	Brian Demsky	found the bug	commit \| commitdiff \| tree \| snapshot
2012-11-01	Brian Demsky	realloc doesn't guarantee zeroing...	commit \| commitdiff \| tree \| snapshot
2012-11-01	Brian Demsky	bug	commit \| commitdiff \| tree \| snapshot
2012-11-01	Brian Demsky	fix new bug	commit \| commitdiff \| tree \| snapshot
2012-11-01	Brian Norris	clockvector: bugfix - bad clock merge	commit \| commitdiff \| tree \| snapshot
next

C++11 memory model checker

RSS Atom