Programming Languages Research Group: Git

2019-12-16	Brian Demsky	More code towards freeing old actions	commit \| commitdiff \| tree
2019-12-16	Brian Demsky	More code towards freeing old actions	commit \| commitdiff \| tree
2019-12-15	Brian Demsky	More work towards freeing old ModelActions	commit \| commitdiff \| tree
2019-12-13	Brian Demsky	towards freeing actions	commit \| commitdiff \| tree
2019-12-12	Brian Demsky	Add ref counts to CycleGraph	commit \| commitdiff \| tree
2019-12-12	Brian Demsky	Get rid of uninitialized actions and just use non-atomic...	commit \| commitdiff \| tree
2019-12-12	Brian Demsky	Towards erase method	commit \| commitdiff \| tree
2019-12-12	Brian Demsky	Merge	commit \| commitdiff \| tree
2019-12-12	Brian Demsky	Add references to lists	commit \| commitdiff \| tree
2019-12-12	Brian Demsky	Fix warning	commit \| commitdiff \| tree
2019-12-12	Brian Demsky	Add functions to SnapList plus tabbing	commit \| commitdiff \| tree
2019-12-10	Brian Demsky	small edits	commit \| commitdiff \| tree
2019-12-10	Brian Demsky	Revamp obj_map for just what it is used for	commit \| commitdiff \| tree
2019-12-10	Brian Demsky	Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci...	commit \| commitdiff \| tree
2019-12-07	Brian Demsky	remove test cases	commit \| commitdiff \| tree
2019-12-06	Brian Demsky	Remove user_main_wrapper	commit \| commitdiff \| tree
2019-12-06	Brian Demsky	More work towards removing main	commit \| commitdiff \| tree
2019-12-06	Brian Demsky	Get rid of main	commit \| commitdiff \| tree
2019-12-06	Brian Demsky	remove option	commit \| commitdiff \| tree
2019-08-01	Brian Demsky	Get GDAX working.	commit \| commitdiff \| tree
2019-07-23	Brian Demsky	Merge branch 'new_fuzzer' of /home/git/random-fuzzer...	commit \| commitdiff \| tree
2019-07-22	Brian Demsky	bug fix	commit \| commitdiff \| tree
2019-07-22	Brian Demsky	fix merge issue	commit \| commitdiff \| tree
2019-07-22	Brian Demsky	volatile support	commit \| commitdiff \| tree
2019-07-22	Brian Demsky	Support for reading from nonatomic stores...A little...	commit \| commitdiff \| tree
2019-07-03	Brian Demsky	clean up code	commit \| commitdiff \| tree
2019-06-30	Brian Demsky	Don't call printf	commit \| commitdiff \| tree
2019-06-29	Brian Demsky	Fix bug	commit \| commitdiff \| tree
2019-06-26	Brian Demsky	Get gdax to not crash	commit \| commitdiff \| tree
2019-06-21	Brian Demsky	performance improvements	commit \| commitdiff \| tree
2019-06-21	Brian Demsky	Merge branch 'new_fuzzer' of /home/git/random-fuzzer...	commit \| commitdiff \| tree
2019-06-20	Brian Demsky	Optimizations	commit \| commitdiff \| tree
2019-06-19	Brian Demsky	run tabbing pass	commit \| commitdiff \| tree
2019-06-19	Brian Demsky	fixup merge a bit	commit \| commitdiff \| tree
2019-06-19	Brian Demsky	Merge branch 'branch-weiyu' into new_fuzzer	commit \| commitdiff \| tree
2019-06-12	Brian Demsky	Don't do complete checks until we choose store to read...	commit \| commitdiff \| tree
2019-06-01	Brian Demsky	partial conversion to fuzzer	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
next

C11 Tester Tool Public Repository

RSS Atom