Programming Languages Research Group: Git

2014-01-25	bdemsky	Support for -x option	commit \| commitdiff \| tree
2014-01-25	bdemsky	Annotation Support	commit \| commitdiff \| tree
2013-06-03	Brian Demsky	Add example from java showing legit satisfaction cycle	commit \| commitdiff \| tree
2013-05-06	Brian Demsky	typos	commit \| commitdiff \| tree
2013-05-06	Brian Demsky	print some stats in SC Analysis	commit \| commitdiff \| tree
2013-05-06	Brian Demsky	document and extend trace analysis interface	commit \| commitdiff \| tree
2013-05-06	Brian Demsky	cleanup plugin interface a little more.	commit \| commitdiff \| tree
2013-05-06	Brian Demsky	add support for analysis with options	commit \| commitdiff \| tree
2013-05-06	Brian Demsky	add traceanalysis support	commit \| commitdiff \| tree
2013-05-03	Brian Demsky	scanalysis: don't rely on greedy search	commit \| commitdiff \| tree
2013-04-26	Brian Demsky	Fix bug that prevents graph generation from compiling.	commit \| commitdiff \| tree
2013-04-23	Brian Demsky	bug...will sometimes print SC traces in a bad order	commit \| commitdiff \| tree
2013-04-22	Brian Demsky	cleanup printing	commit \| commitdiff \| tree
2013-04-22	Brian Demsky	Rework how we present non-SC traces...previous presentation...	commit \| commitdiff \| tree
2013-04-19	Brian Demsky	Remove special cases for printing SC executions.	commit \| commitdiff \| tree
2013-04-18	Brian Demsky	Add yield block support. The idea is to not generate...	commit \| commitdiff \| tree
2013-04-17	Brian Demsky	Bug: ModelExecution had bogus model_params reference.	commit \| commitdiff \| tree
2013-04-15	Brian Demsky	fix weird duplicated code	commit \| commitdiff \| tree
2013-04-14	Brian Demsky	clean up printing a little for cycle cases...	commit \| commitdiff \| tree
2013-04-13	Brian Demsky	more implementation of scanalysis...	commit \| commitdiff \| tree
2013-04-13	Brian Demsky	more implementation of scanalysis...	commit \| commitdiff \| tree
2013-04-13	Brian Demsky	towards supporting scanalysis...	commit \| commitdiff \| tree
2013-04-13	Brian Demsky	add some support for traceanalysis plugins	commit \| commitdiff \| tree
2013-04-13	Brian Demsky	add some support for traceanalysis plugins	commit \| commitdiff \| tree
2013-03-22	Brian Demsky	correct comment typo	commit \| commitdiff \| tree
2013-03-22	Brian Demsky	check in insane test case...	commit \| commitdiff \| tree
2013-03-22	Brian Demsky	fix mistake in promises may allow code... need to...	commit \| commitdiff \| tree
2013-03-21	Brian Demsky	add test case...	commit \| commitdiff \| tree
2013-03-19	Brian Demsky	add our names	commit \| commitdiff \| tree
2013-03-19	Brian Demsky	add copyright message	commit \| commitdiff \| tree
2013-03-18	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2013-03-18	Brian Demsky	update git repository with license... GPL v2	commit \| commitdiff \| tree
2013-03-14	Brian Demsky	fix memory leak	commit \| commitdiff \| tree
2013-03-07	Brian Demsky	switch to snapshot/modelalloc versions of stl classes	commit \| commitdiff \| tree
2013-03-07	Brian Demsky	add new option for uninitialized writes...	commit \| commitdiff \| tree
2013-03-06	Brian Demsky	documentation update	commit \| commitdiff \| tree
2013-03-06	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2013-03-06	Brian Demsky	add destructor so the spsc-queue will compile on MAC	commit \| commitdiff \| tree
2013-03-06	Brian Demsky	add yield support	commit \| commitdiff \| tree
2013-03-05	Brian Demsky	little optimizations motivated by profiling...	commit \| commitdiff \| tree
2013-03-02	Brian Demsky	comments	commit \| commitdiff \| tree
2013-02-25	Brian Demsky	repush changes	commit \| commitdiff \| tree
2013-02-25	Brian Demsky	fix conflicts	commit \| commitdiff \| tree
2013-02-25	Brian Demsky	fix norris mentioned bug	commit \| commitdiff \| tree
2013-02-25	Brian Demsky	fix scheduling stuff to get nice round robin scheduler...	commit \| commitdiff \| tree
2013-01-23	Brian Demsky	fix bug in promise handling code...	commit \| commitdiff \| tree
2013-01-08	Brian Demsky	new test case	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	make compile on linux...needed string.h	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	optimize hashtable so we don't always build new ones...	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	remove hashtable functionality	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	make hashtables only contain primitive types or pointers	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	avoid warning	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	merge	commit \| commitdiff \| tree
2012-11-15	Brian Demsky	optimization...don't calloc the datarace tables every...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	annoying bug... Optimization was originally intended...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	clean up check code	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	optimization - a given write can resolve at most one...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	various fixes. linux rw locks should work again with...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	fix two bugs in model.cc...mainly don't print bogus...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	this is the bad line...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	previous synchronization was weird...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	fix bugs with promise check...	commit \| commitdiff \| tree
2012-11-03	Brian Demsky	changes to fix at least a bug	commit \| commitdiff \| tree
2012-11-02	Brian Demsky	fix norris bugs	commit \| commitdiff \| tree
2012-11-01	Brian Demsky	found the bug	commit \| commitdiff \| tree
2012-11-01	Brian Demsky	realloc doesn't guarantee zeroing...	commit \| commitdiff \| tree
2012-11-01	Brian Demsky	bug	commit \| commitdiff \| tree
2012-11-01	Brian Demsky	fix new bug	commit \| commitdiff \| tree
2012-10-26	Brian Demsky	changes to allow running programs with racing initialization...	commit \| commitdiff \| tree
2012-10-25	Brian Demsky	check in test	commit \| commitdiff \| tree
2012-10-25	Brian Demsky	add test from nitpick paper...	commit \| commitdiff \| tree
2012-10-25	Brian Demsky	embarrassing bug...fixed...	commit \| commitdiff \| tree
2012-10-12	Brian Demsky	add two test cases	commit \| commitdiff \| tree
2012-10-12	Brian Demsky	forgot to add two files...	commit \| commitdiff \| tree
2012-10-12	Brian Demsky	commit untested condvar code	commit \| commitdiff \| tree
2012-10-12	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-10-11	Brian Demsky	compiles with condition variables file added...	commit \| commitdiff \| tree
2012-10-10	Brian Demsky	make scheduler choose fair schedules when threads with...	commit \| commitdiff \| tree
2012-10-10	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-10-10	Brian Demsky	make linux_rw locks work again	commit \| commitdiff \| tree
2012-10-10	Brian Demsky	fix some of the bugs related to barrier example...	commit \| commitdiff \| tree
2012-10-09	Brian Demsky	did a little more looking at infeasible executions...	commit \| commitdiff \| tree
2012-10-09	Brian Demsky	mistake	commit \| commitdiff \| tree
2012-10-09	Brian Demsky	be much more careful about sending values backwards...	commit \| commitdiff \| tree
2012-10-08	Brian Demsky	be even more aggressive about sleep sets...	commit \| commitdiff \| tree
2012-10-08	Brian Demsky	merge massive speedup with release sequence support...	commit \| commitdiff \| tree
2012-10-08	Brian Demsky	add support for sleep sets...	commit \| commitdiff \| tree
2012-10-06	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-10-06	Brian Demsky	create enumeration for enabled information...switch...	commit \| commitdiff \| tree
2012-10-05	Brian Demsky	1) more comments	commit \| commitdiff \| tree
2012-10-05	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-10-05	Brian Demsky	changes	commit \| commitdiff \| tree
2012-10-04	Brian Demsky	fix bug...can't mo_check_promises until we're done...	commit \| commitdiff \| tree
2012-10-04	Brian Demsky	local commit... bug that prunes too many executions	commit \| commitdiff \| tree
2012-10-04	Brian Demsky	Merge branch 'master' of /home/git/model-checker	commit \| commitdiff \| tree
2012-10-04	Brian Demsky	fix low hanging fruit when profiling...	commit \| commitdiff \| tree
2012-10-03	Brian Demsky	Merge branch 'master' of /home/git/model-checker	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom