Programming Languages Research Group: Git

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
2019-06-12	bdemsky	reorder fields to save space	commit \| commitdiff \| tree
2019-06-11	bdemsky	fix tabbing	commit \| commitdiff \| tree
2019-06-11	bdemsky	fix tabbing	commit \| commitdiff \| tree
2019-06-11	bdemsky	remove extra cyclegraph calls	commit \| commitdiff \| tree
2019-06-11	bdemsky	Fix RMW bug	commit \| commitdiff \| tree
2019-06-06	bdemsky	add uncrustify option	commit \| commitdiff \| tree
2019-06-06	bdemsky	refactor choices into own class	commit \| commitdiff \| tree
2019-06-05	bdemsky	make some changes with hacks	commit \| commitdiff \| tree
2019-06-05	bdemsky	More fuzzing changes	commit \| commitdiff \| tree
2019-06-04	bdemsky	remove another field	commit \| commitdiff \| tree
2019-06-04	bdemsky	Revert "delete plugins"	commit \| commitdiff \| tree
2019-06-04	bdemsky	Revert "remove plugins"	commit \| commitdiff \| tree
2019-06-04	bdemsky	towards fuzzing only	commit \| commitdiff \| tree
2019-06-04	bdemsky	remove old release sequences	commit \| commitdiff \| tree
2019-06-04	bdemsky	Remove promises	commit \| commitdiff \| tree
2019-06-01	Brian Demsky	partial conversion to fuzzer	commit \| commitdiff \| tree
2018-10-16	bdemsky	Remove SC Analysis	commit \| commitdiff \| tree
2017-10-13	bdemsky	Fix snapshot code	commit \| commitdiff \| tree
2016-11-24	bdemsky	Work around changes in newer versions of glibc	commit \| commitdiff \| tree
2016-02-24	bdemsky	bug in fence support fixed	commit \| commitdiff \| tree
2015-12-17	bdemsky	Increase size of bootstrap bytes as some Linux distributions...	commit \| commitdiff \| tree
2015-09-02	bdemsky	Add SCFence analysis	commit \| commitdiff \| tree
2015-06-22	bdemsky	bug fix for atomic adds/subtracts on pointers	commit \| commitdiff \| tree
2015-04-09	bdemsky	move thread stack to thread allocator	commit \| commitdiff \| tree
2014-07-18	bdemsky	SC Reads can read from things mo'd before the last...	commit \| commitdiff \| tree
2014-05-06	bdemsky	Bug fixes from running Coverity	commit \| commitdiff \| tree
2014-05-06	bdemsky	fix signed/unsigned warning	commit \| commitdiff \| tree
2014-04-16	bdemsky	bug fix with missing coherence condition for promises	commit \| commitdiff \| tree
2014-01-26	bdemsky	Bug fix for broken treatment of promises + coherence...	commit \| commitdiff \| tree
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-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-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
next

C11 Tester Tool Public Repository

RSS Atom