Programming Languages Research Group: Git

2020-04-09	Brian Demsky	Fix mistakes in refactoring	commit \| commitdiff \| tree
2020-04-08	Brian Demsky	cleanup code and fix bug	commit \| commitdiff \| tree
2020-04-07	Brian Demsky	more bug fixes	commit \| commitdiff \| tree
2020-04-07	Brian Demsky	tabbing	commit \| commitdiff \| tree
2020-04-07	Brian Demsky	Redesign actionlist and change acquire fence	commit \| commitdiff \| tree
2020-01-25	Brian Demsky	Add some debug support code	commit \| commitdiff \| tree
2020-01-07	Brian Demsky	Bug fix	commit \| commitdiff \| tree
2020-01-07	Brian Demsky	My configuration	commit \| commitdiff \| tree
2020-01-06	Brian Demsky	Fix bug by only putting reads or writes in objthrdmap	commit \| commitdiff \| tree
2019-12-31	Brian Demsky	Improve documentation	commit \| commitdiff \| tree
2019-12-31	Brian Demsky	Bug fixes	commit \| commitdiff \| tree
2019-12-30	Brian Demsky	bug fix	commit \| commitdiff \| tree
2019-12-30	Brian Demsky	handle last action with nop	commit \| commitdiff \| tree
2019-12-26	Brian Demsky	Bug fix	commit \| commitdiff \| tree
2019-12-18	Brian Demsky	bug fix...	commit \| commitdiff \| tree
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	bdemsky	Remove mprotect snapshots	commit \| commitdiff \| tree
2019-11-27	bdemsky	Switch to environmental variables	commit \| commitdiff \| tree
2019-11-27	bdemsky	TSAN style tls destructor	commit \| commitdiff \| tree
2019-11-26	bdemsky	assert_bug function fixes	commit \| commitdiff \| tree
2019-11-26	bdemsky	Run tabbing pass	commit \| commitdiff \| tree
2019-11-26	bdemsky	Remove lots of dead code	commit \| commitdiff \| tree
2019-11-26	bdemsky	Merge branch 'branch-weiyu' of ssh://plrg.eecs.uci...	commit \| commitdiff \| tree
2019-11-21	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu:/home...	commit \| commitdiff \| tree
2019-11-20	bdemsky	bug fix	commit \| commitdiff \| tree
2019-11-20	bdemsky	Add datarace support for atomics and calloc	commit \| commitdiff \| tree
2019-11-15	bdemsky	Add pipe support	commit \| commitdiff \| tree
2019-08-20	bdemsky	Add ack	commit \| commitdiff \| tree
2019-08-20	bdemsky	Add mailing list	commit \| commitdiff \| tree
2019-08-20	bdemsky	Remove msqueue test case	commit \| commitdiff \| tree
2019-08-20	bdemsky	Fix compile and readme	commit \| commitdiff \| tree
2019-08-01	Brian Demsky	Get GDAX working.	commit \| commitdiff \| tree
2019-07-31	bdemsky	Get code to compile	commit \| commitdiff \| tree
2019-07-30	bdemsky	more fixes	commit \| commitdiff \| tree
2019-07-29	bdemsky	edits	commit \| commitdiff \| tree
2019-07-28	bdemsky	improve complexity	commit \| commitdiff \| tree
2019-07-27	bdemsky	New TLS strategy...	commit \| commitdiff \| tree
2019-07-23	Brian Demsky	Merge branch 'new_fuzzer' of /home/git/random-fuzzer...	commit \| commitdiff \| tree
2019-07-23	bdemsky	Name change	commit \| commitdiff \| tree
2019-07-23	bdemsky	Remove mention of CDSChecker	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-19	bdemsky	Add support for converting normal writes into ModelActions...	commit \| commitdiff \| tree
2019-07-17	bdemsky	Track whether a write was from an atomic	commit \| commitdiff \| tree
2019-07-16	bdemsky	Make atomics actually write to memory for compatibility...	commit \| commitdiff \| tree
2019-07-16	bdemsky	eliminate redundancy	commit \| commitdiff \| tree
2019-07-16	bdemsky	Towards not reporting the same datarace twice	commit \| commitdiff \| tree
2019-07-16	bdemsky	run tabbing pass	commit \| commitdiff \| tree
2019-07-15	bdemsky	add asserts	commit \| commitdiff \| tree
2019-07-03	bdemsky	Maintain list of writes	commit \| commitdiff \| tree
2019-07-03	bdemsky	Optimize SC lookup	commit \| commitdiff \| tree
2019-07-03	Brian Demsky	clean up code	commit \| commitdiff \| tree
2019-07-02	bdemsky	memoize hb in writes	commit \| commitdiff \| tree
2019-06-30	Brian Demsky	Don't call printf	commit \| commitdiff \| tree
2019-06-29	bdemsky	move check	commit \| commitdiff \| tree
2019-06-29	Brian Demsky	Fix bug	commit \| commitdiff \| tree
2019-06-27	bdemsky	revamp scheduler so we can start threads early	commit \| commitdiff \| tree
2019-06-26	Brian Demsky	Get gdax to not crash	commit \| commitdiff \| tree
2019-06-26	bdemsky	add more functions	commit \| commitdiff \| tree
2019-06-26	bdemsky	Redo params	commit \| commitdiff \| tree
2019-06-26	bdemsky	more fixes	commit \| commitdiff \| tree
2019-06-26	bdemsky	bug fixes	commit \| commitdiff \| tree
2019-06-26	bdemsky	more bug fixes	commit \| commitdiff \| tree
2019-06-26	bdemsky	More changes	commit \| commitdiff \| tree
2019-06-26	bdemsky	get rid of some compile errors and warnings	commit \| commitdiff \| tree
2019-06-26	bdemsky	redo model object initialization	commit \| commitdiff \| tree
2019-06-21	bdemsky	fix CAS operation	commit \| commitdiff \| tree
2019-06-21	bdemsky	fix tabbing	commit \| commitdiff \| tree
2019-06-21	bdemsky	Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu...	commit \| commitdiff \| tree
2019-06-21	bdemsky	edits	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-21	bdemsky	changes	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-13	bdemsky	new cyclegraph	commit \| commitdiff \| tree
2019-06-12	bdemsky	Merge branch 'new_fuzzer' into tmp	commit \| commitdiff \| tree
2019-06-12	Brian Demsky	Don't do complete checks until we choose store to read...	commit \| commitdiff \| tree
2019-06-12	bdemsky	partial edits	commit \| commitdiff \| tree
2019-06-12	bdemsky	Remove backedges from cyclegraph	commit \| commitdiff \| tree
2019-06-12	bdemsky	fix tabbing comment issue	commit \| commitdiff \| tree
2019-06-12	bdemsky	uncrustify options	commit \| commitdiff \| tree
next

C11 Tester Tool Public Repository

RSS Atom