Programming Languages Research Group: Git - c11tester.git/history

2019-07-08	weiyu	merge and resolve conflict	blob \| commitdiff \| raw
2019-07-03	root	get rid of nodestack	blob \| commitdiff \| raw
2019-07-02	bdemsky	memoize hb in writes	blob \| commitdiff \| raw
2019-06-19	root	merge	blob \| commitdiff \| raw \| diff to current
2019-06-14	weiyu	Merge branch 'new_fuzzer' of /home/git/random-fuzzer...	blob \| commitdiff \| raw \| diff to current
2019-06-11	bdemsky	fix tabbing	blob \| commitdiff \| raw \| diff to current
2019-06-05	bdemsky	More fuzzing changes	blob \| commitdiff \| raw \| diff to current
2019-06-04	bdemsky	towards fuzzing only	blob \| commitdiff \| raw \| diff to current
2019-06-04	bdemsky	remove old release sequences	blob \| commitdiff \| raw \| diff to current
2019-06-04	bdemsky	Remove promises	blob \| commitdiff \| raw \| diff to current
2019-06-01	Brian Demsky	partial conversion to fuzzer	blob \| commitdiff \| raw \| diff to current
2019-01-16	weiyu	try to add support for pthread_create/pthread_join	blob \| commitdiff \| raw \| diff to current
2018-11-09	weiyu	improve randomization	blob \| commitdiff \| raw \| diff to current
2015-09-02	bdemsky	Add SCFence analysis	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	nodestack: localize the model-checker parameters	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: privatize ModelChecker::get_num_threads()	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	nodestack: register ModelExecution class w/in NodeStack	blob \| commitdiff \| raw \| diff to current
2013-03-28	Brian Norris	nodestack: move "behaviors" increment all into Node...	blob \| commitdiff \| raw \| diff to current
2013-03-28	Brian Norris	nodestack: regroup some code	blob \| commitdiff \| raw \| diff to current
2013-03-14	Brian Demsky	fix memory leak	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Norris	model, nodestack: bugfix - retain UNINIT actions across...	blob \| commitdiff \| raw \| diff to current
2013-03-06	Brian Norris	Merge remote 'yield' work	blob \| commitdiff \| raw \| diff to current
2013-03-06	Brian Demsky	add yield support	blob \| commitdiff \| raw \| diff to current
2013-03-04	Brian Norris	nodestack: print thread status info in Node::print	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	nodestack: add support functions for check_recency...	blob \| commitdiff \| raw \| diff to current
2013-03-01	Brian Norris	nodestack: get_read_from_promise() never returns NULL	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	nodestack: bugfix - clear backtracking properly	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	un-'const' some Promises	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	nodestack: rewrite promise-resolution "counting"	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	model: hook up 'read-from-promise' backtracking in...	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	nodestack: add read_from_promises backtracking	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	nodestack: bugfix - rewrite 'may-read-from' and 'future...	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	nodestack: rename 'read_from' to 'read_from_past'	blob \| commitdiff \| raw \| diff to current
2013-02-23	Brian Norris	nodestack: bugfix - reset backtracking points on diverg...	blob \| commitdiff \| raw \| diff to current
2013-02-23	Brian Norris	nodestack: don't use C++ references	blob \| commitdiff \| raw \| diff to current
2013-02-14	Brian Norris	threads/model: allocate Thread from w/in ModelChecker	blob \| commitdiff \| raw \| diff to current
2013-02-12	Brian Norris	Merge branch 'fences'	blob \| commitdiff \| raw \| diff to current
2013-01-29	Brian Norris	nodestack/model: spacing	blob \| commitdiff \| raw \| diff to current
2013-01-24	Brian Norris	future_value: add thread ID parameter	blob \| commitdiff \| raw \| diff to current
2013-01-24	Brian Norris	nodestack: pass 'struct future_value' to add_future_value()	blob \| commitdiff \| raw \| diff to current
2013-01-23	Brian Norris	nodestack: add const	blob \| commitdiff \| raw \| diff to current
2013-01-23	Brian Norris	nodestack/promise: move future_value struct, update...	blob \| commitdiff \| raw \| diff to current
2013-01-23	Brian Norris	nodestack: pass writer ModelAction to add_future_value()	blob \| commitdiff \| raw \| diff to current
2013-01-23	Brian Norris	nodestack: eliminate get_future_value_expiration()	blob \| commitdiff \| raw \| diff to current
2013-01-23	Brian Norris	nodestack: remove extra blank lines	blob \| commitdiff \| raw \| diff to current
2013-01-23	Brian Norris	nodestack: improve debug print() method	blob \| commitdiff \| raw \| diff to current
2013-01-19	Brian Norris	nodestack: improve debug prints	blob \| commitdiff \| raw \| diff to current
2012-12-19	Brian Norris	nodestack: refactor Node constructor	blob \| commitdiff \| raw \| diff to current
2012-12-15	Brian Norris	nodestack: style	blob \| commitdiff \| raw \| diff to current
2012-12-15	Brian Norris	nodestack: add const	blob \| commitdiff \| raw \| diff to current
2012-12-15	Brian Norris	nodestack: do not allow Node with act == NULL	blob \| commitdiff \| raw \| diff to current
2012-12-15	Brian Norris	nodestack: don't create empty base node	blob \| commitdiff \| raw \| diff to current
2012-12-13	Brian Norris	nodestack: print extra backtracking info	blob \| commitdiff \| raw \| diff to current
2012-12-13	Brian Norris	nodestack: fixup style	blob \| commitdiff \| raw \| diff to current
2012-12-13	Brian Norris	nodestack: rename 'iter' to 'head_idx'	blob \| commitdiff \| raw \| diff to current
2012-12-13	Brian Norris	nodestack: make 'iter' signed	blob \| commitdiff \| raw \| diff to current
2012-12-13	Brian Norris	nodestack: spacing	blob \| commitdiff \| raw \| diff to current
2012-12-12	Brian Norris	nodestack: add 'const'	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	printf -> model_print	blob \| commitdiff \| raw \| diff to current
2012-11-15	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	nodestack: implement expiration sloppiness parameter	blob \| commitdiff \| raw \| diff to current
2012-11-14	Brian Norris	nodestack: limit the number of future values per read	blob \| commitdiff \| raw \| diff to current
2012-11-07	Brian Norris	nodestack: implement expiration sloppiness parameter	blob \| commitdiff \| raw \| diff to current
2012-11-04	Brian Norris	nodestack: limit the number of future values per read	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Demsky	clean up check code	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Demsky	optimization - a given write can resolve at most one...	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Norris	Merge remote-tracking branch 'origin/master' into pldi13	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Demsky	changes to fix at least a bug	blob \| commitdiff \| raw \| diff to current
2012-11-02	Brian Demsky	fix norris bugs	blob \| commitdiff \| raw \| diff to current
2012-11-01	Brian Norris	nodestack: improve bounds-checking assertion	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Norris	fixup 'int' vs. 'thread_id_t' usage	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	commit untested condvar code	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Demsky	make scheduler choose fair schedules when threads with...	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	rename threads.h -> threads-model.h	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	merge massive speedup with release sequence support...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	add support for sleep sets...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-10-07	Brian Norris	nodestack: add release sequence breakage backtracking	blob \| commitdiff \| raw \| diff to current
2012-10-06	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-10-06	Brian Demsky	create enumeration for enabled information...switch...	blob \| commitdiff \| raw \| diff to current
2012-10-05	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Norris	nodestack: destroy Nodes properly in ~NodeStack()	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Norris	nodestack: use initializer list	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	modeltypes: move small typedefs to own header	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	nodestack: move has_priority() out of header	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	error	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	random memory leak fixes and memory access fixes	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Demsky	fix bug.... not quite perfect for linux locks, but...	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Norris	model: revert broken bugfix	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Demsky	start support for drawing execution diagrams	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Demsky	Fixed bug breaking our consolidation of future values...	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Norris	rename MYFREE -> model_free	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Norris	rename MYMALLOC -> model_malloc	blob \| commitdiff \| raw \| diff to current
2012-10-01	Brian Demsky	bug fix...recompute promises of RMW actions at divergen...	blob \| commitdiff \| raw \| diff to current
2012-09-27	Brian Norris	nodestack: add debug prints	blob \| commitdiff \| raw \| diff to current
2012-09-25	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
next

C11 Tester Tool Public Repository

RSS Atom