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

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-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-03	Brian Demsky	annoying bug... Optimization was originally intended...	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 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 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
2012-11-01	Brian Norris	nodestack: improve bounds-checking assertion	commit \| commitdiff \| tree \| snapshot
2012-11-01	Brian Norris	common.mk: build with -O3 (except for Mac OSX)	commit \| commitdiff \| tree \| snapshot
2012-11-01	Brian Norris	model: silence "uninitialized" warning	commit \| commitdiff \| tree \| snapshot
2012-11-01	Brian Norris	model: update mo_may_allow restrictions	commit \| commitdiff \| tree \| snapshot
2012-10-29	Brian Norris	tests: add thinair test	commit \| commitdiff \| tree \| snapshot
2012-10-29	Brian Norris	Makefile/malloc: don't warn for self-assign	commit \| commitdiff \| tree \| snapshot
2012-10-29	Brian Norris	Makefile: use -rdyanmic only for linking	commit \| commitdiff \| tree \| snapshot
2012-10-29	Brian Norris	tests: use signed printf format	commit \| commitdiff \| tree \| snapshot
2012-10-26	Brian Demsky	changes to allow running programs with racing initializ...	commit \| commitdiff \| tree \| snapshot
2012-10-25	Brian Demsky	check in test	commit \| commitdiff \| tree \| snapshot
2012-10-25	Brian Demsky	add test from nitpick paper...	commit \| commitdiff \| tree \| snapshot
2012-10-25	Brian Demsky	embarrassing bug...fixed...	commit \| commitdiff \| tree \| snapshot
2012-10-19	Brian Norris	model: fix - RMW cannot break release sequences	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Norris	Doxygen: document subdirectories	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Norris	thread_id_t: add comments	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Norris	fixup 'int' vs. 'thread_id_t' usage	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Norris	modeltypes: move to include/ dir, for now	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Norris	mutex: define empty destructor	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Norris	condition_variable: move header	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Demsky	add two test cases	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Demsky	forgot to add two files...	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Demsky	commit untested condvar code	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-10-12	Brian Norris	move other interface headers to include/	commit \| commitdiff \| tree \| snapshot
2012-10-11	Brian Demsky	compiles with condition variables file added...	commit \| commitdiff \| tree \| snapshot
2012-10-11	Brian Norris	mutex: move mutex.h to standard name/location	commit \| commitdiff \| tree \| snapshot
2012-10-11	Brian Norris	include/: add small header comments	commit \| commitdiff \| tree \| snapshot
2012-10-11	Brian Norris	impatomic: add multiple-inclusion guards	commit \| commitdiff \| tree \| snapshot
2012-10-11	Brian Norris	action: improve printing	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	Makefile: add benchmarks to top-level	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	segfault file/line breakpoint info	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	impatomic: add strong/weak compare_exchange	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Demsky	make scheduler choose fair schedules when threads with...	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	action: add NULL dereference assertion	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	threads: correct 'thrd_yield()'	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Demsky	make linux_rw locks work again	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	impatomic: rename all 'swap' to 'exchange'	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Demsky	fix some of the bugs related to barrier example...	commit \| commitdiff \| tree \| snapshot
2012-10-10	Brian Norris	include: add multiple-inclusion guards	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	.gitignore: ignore 'benchmarks' folder	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	tests: use <stdatomic.h>	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	move libthreads.h -> include/threads.h	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	rename threads.h -> threads-model.h	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	include: add <atomic> header	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Demsky	did a little more looking at infeasible executions...	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	model: JOIN/LOCK unification	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	datarace: reformat datarace printing	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	threads: allocate on user's snapshotting heap	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	schedule: bugfix - fix typo in wake	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	user_main: pass remaining arguments to the user program	commit \| commitdiff \| tree \| snapshot
2012-10-09	Brian Norris	main: rename 'real_main()' to 'model_main()'	commit \| commitdiff \| tree \| snapshot
next

C++11 memory model checker

RSS Atom