Programming Languages Research Group: Git

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
2012-10-03	Brian Demsky	a number of fixes to add missing mo_graph edges to...	commit \| commitdiff \| tree
2012-10-03	Brian Demsky	extra file committed accidentally	commit \| commitdiff \| tree
2012-10-03	Brian Demsky	missing change	commit \| commitdiff \| tree
2012-10-03	Brian Demsky	mspace_malloc will call into mmap if it runs out of...	commit \| commitdiff \| tree
2012-10-03	Brian Demsky	error	commit \| commitdiff \| tree
2012-10-03	Brian Demsky	random memory leak fixes and memory access fixes	commit \| commitdiff \| tree
2012-10-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-10-03	Brian Demsky	a bug fix	commit \| commitdiff \| tree
2012-10-02	Brian Demsky	small hack to optimize our common case for snapshotting...	commit \| commitdiff \| tree
2012-10-02	Brian Demsky	fix bug.... not quite perfect for linux locks, but...	commit \| commitdiff \| tree
2012-10-02	Brian Demsky	start support for drawing execution diagrams	commit \| commitdiff \| tree
2012-10-02	Brian Demsky	Fixed bug breaking our consolidation of future values...	commit \| commitdiff \| tree
2012-10-02	Brian Demsky	Two change:	commit \| commitdiff \| tree
2012-10-01	Brian Demsky	another bug fix	commit \| commitdiff \| tree
2012-10-01	Brian Demsky	bug fix...recompute promises of RMW actions at divergence...	commit \| commitdiff \| tree
2012-09-29	Brian Demsky	missing commit of mo_graph changes	commit \| commitdiff \| tree
2012-09-28	Brian Demsky	fix bug from moving read_from check_recency...check_recency...	commit \| commitdiff \| tree
2012-09-25	Brian Demsky	add comments	commit \| commitdiff \| tree
2012-09-24	Brian Demsky	fairness changes...	commit \| commitdiff \| tree
2012-09-21	Brian Demsky	comments	commit \| commitdiff \| tree
2012-09-20	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-09-20	Brian Demsky	more documentation	commit \| commitdiff \| tree
2012-09-20	Brian Demsky	documentation	commit \| commitdiff \| tree
2012-09-20	Brian Demsky	bug fixes for lock support...think it works now...	commit \| commitdiff \| tree
2012-09-20	Brian Demsky	fix merge	commit \| commitdiff \| tree
2012-09-20	Brian Demsky	changes	commit \| commitdiff \| tree
2012-09-20	Brian Demsky	push changes	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	merge stuff	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	more mutex changes	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	support for locks... untested, but doesn't break quick...	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	more bugs	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	fix merge bug	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	fix	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	my schedule changes	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	merge in master	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	fix bug	commit \| commitdiff \| tree
2012-09-19	Brian Demsky	ichange	commit \| commitdiff \| tree
2012-09-18	Brian Demsky	changes	commit \| commitdiff \| tree
2012-09-18	Brian Demsky	more changes towards locks	commit \| commitdiff \| tree
2012-09-18	Brian Demsky	Merge branch 'master' into mutex	commit \| commitdiff \| tree
2012-09-18	Brian Demsky	add mutex files	commit \| commitdiff \| tree
2012-09-18	Brian Demsky	add mutex files	commit \| commitdiff \| tree
2012-09-18	Brian Demsky	start towards adding support for mutexes	commit \| commitdiff \| tree
2012-09-14	Brian Demsky	tabbing	commit \| commitdiff \| tree
2012-09-14	Brian Demsky	(1) add actions for the fence	commit \| commitdiff \| tree
2012-09-14	Brian Demsky	add support for dumping cyclegraphs as dot files.....	commit \| commitdiff \| tree
2012-09-13	Brian Demsky	lots of debugging here... finally working with my rmw...	commit \| commitdiff \| tree
2012-09-13	Brian Demsky	commit new test case	commit \| commitdiff \| tree
2012-09-13	Brian Demsky	fix for horrible bug... turns out that we could generate...	commit \| commitdiff \| tree
2012-09-13	Brian Demsky	missing changes	commit \| commitdiff \| tree
2012-09-13	Brian Demsky	right fix for avoid rmw cycles... bad assumption in...	commit \| commitdiff \| tree
2012-09-13	Brian Demsky	another bug fix...	commit \| commitdiff \| tree
2012-09-13	Brian Demsky	separate out rmw actions	commit \| commitdiff \| tree
2012-09-12	Brian Demsky	(1) structure code a little better	commit \| commitdiff \| tree
2012-09-12	Brian Demsky	deal with looping due to bogus future value via promise...	commit \| commitdiff \| tree
2012-09-12	Brian Demsky	fun issues...	commit \| commitdiff \| tree
2012-09-07	Brian Demsky	changes	commit \| commitdiff \| tree
2012-09-07	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-09-07	Brian Demsky	changes	commit \| commitdiff \| tree
2012-09-06	Brian Demsky	working towards making datarace detection work	commit \| commitdiff \| tree
2012-09-05	Brian Demsky	bug in race detector	commit \| commitdiff \| tree
2012-09-05	Brian Demsky	another example	commit \| commitdiff \| tree
2012-08-04	Brian Demsky	add a todo flag to a comment so it won't get lost....	commit \| commitdiff \| tree
2012-07-17	Brian Demsky	Make stack popping explicit.	commit \| commitdiff \| tree
2012-07-17	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-07-17	Brian Demsky	remove dead code... loop entrance condition is i<backtrack...	commit \| commitdiff \| tree
2012-07-16	Brian Demsky	no need to store into the object field... this will...	commit \| commitdiff \| tree
2012-07-16	Brian Demsky	really should be using a type that is big enough for...	commit \| commitdiff \| tree
2012-07-13	Brian Demsky	the initialized logic appears to be wrong... release...	commit \| commitdiff \| tree
2012-07-11	Brian Demsky	bug	commit \| commitdiff \| tree
2012-07-11	Brian Demsky	documentation	commit \| commitdiff \| tree
2012-07-10	Brian Demsky	fix bug	commit \| commitdiff \| tree
2012-07-10	Brian Demsky	hook up the race detector...	commit \| commitdiff \| tree
2012-07-07	Brian Demsky	changes	commit \| commitdiff \| tree
2012-07-06	Brian Demsky	add forgetten file	commit \| commitdiff \| tree
2012-07-06	Brian Demsky	add support for datarace detection...	commit \| commitdiff \| tree
2012-07-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-06-18	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-06-18	Brian Demsky	builds	commit \| commitdiff \| tree
2012-06-17	Brian Demsky	add hashtable	commit \| commitdiff \| tree
2012-06-15	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-06-15	Brian Demsky	subramanian lied when he said he fixed these...	commit \| commitdiff \| tree
2012-06-06	Brian Demsky	more comments	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom