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

2019-07-22	root	fix conflict	blob \| commitdiff \| raw
2019-07-19	bdemsky	Add support for converting normal writes into ModelActi...	blob \| commitdiff \| raw
2019-07-08	weiyu	merge and resolve conflict	blob \| commitdiff \| raw \| diff to current
2019-07-03	root	get rid of nodestack	blob \| commitdiff \| raw \| diff to current
2019-07-02	bdemsky	memoize hb in writes	blob \| commitdiff \| raw \| diff to current
2019-06-26	Brian Demsky	Get gdax to not crash	blob \| commitdiff \| raw \| diff to current
2019-06-24	weiyu	fix a bug for ATOMIC_RMWCAS	blob \| commitdiff \| raw \| diff to current
2019-06-19	Brian Demsky	run tabbing pass	blob \| commitdiff \| raw \| diff to current
2019-06-19	Brian Demsky	fixup merge a bit	blob \| commitdiff \| raw \| diff to current
2019-06-19	Brian Demsky	Merge branch 'branch-weiyu' into new_fuzzer	blob \| commitdiff \| raw \| diff to current
2019-06-19	root	merge	blob \| commitdiff \| raw \| diff to current
2019-06-17	weiyu	implement usleep and sleep system calls as no operation...	blob \| commitdiff \| raw \| diff to current
2019-06-14	weiyu	add source line number as a parameter to ModelAction	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-12	bdemsky	fix tabbing comment issue	blob \| commitdiff \| raw \| diff to current
2019-06-12	bdemsky	reorder fields to save space	blob \| commitdiff \| raw \| diff to current
2019-06-11	bdemsky	fix tabbing	blob \| commitdiff \| raw \| diff to current
2019-06-11	bdemsky	Fix RMW bug	blob \| commitdiff \| raw \| diff to current
2019-06-04	bdemsky	remove another field	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-05-28	weiyu	change the namespace of mutex from std to cdsc	blob \| commitdiff \| raw \| diff to current
2019-02-15	weiyu	move pthread_map and mutex_map inside of execution.h	blob \| commitdiff \| raw \| diff to current
2019-01-22	weiyu	pthread join seems to be working	blob \| commitdiff \| raw \| diff to current
2019-01-22	weiyu	pthread_create is working now	blob \| commitdiff \| raw \| diff to current
2019-01-08	weiyu	change cds checker to accomdate llvm pass	blob \| commitdiff \| raw \| diff to current
2016-02-24	bdemsky	bug in fence support fixed	blob \| commitdiff \| raw \| diff to current
2015-09-02	bdemsky	Add SCFence analysis	blob \| commitdiff \| raw \| diff to current
2014-01-25	bdemsky	Annotation Support	blob \| commitdiff \| raw \| diff to current
2013-05-29	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2013-05-29	Brian Norris	execution: reformat execution traces	blob \| commitdiff \| raw \| diff to current
2013-04-24	Brian Norris	action: improve "unintialized load" bug print	blob \| commitdiff \| raw \| diff to current
2013-04-24	Brian Norris	action: add get_{type,mo}_str() accessors	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	action: add <stdlib>	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	model: remove public check_promises() interface	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	promise: add Promise::get_index function	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	action: we don't need special cases for lock/join anymore	blob \| commitdiff \| raw \| diff to current
2013-04-11	Brian Norris	improve documentation + Doxygen formatting	blob \| commitdiff \| raw \| diff to current
2013-04-11	Brian Norris	action: refactor, move VALUE_TRY{SUCCESS,FAILED} out...	blob \| commitdiff \| raw \| diff to current
2013-04-05	Brian Norris	action: correct RF capitalization	blob \| commitdiff \| raw \| diff to current
2013-04-04	Brian Norris	action: include reads-from-promise in HASH calculations	blob \| commitdiff \| raw \| diff to current
2013-04-02	Brian Norris	action: add ModelAction::is_thread_join() helper	blob \| commitdiff \| raw \| diff to current
2013-03-08	Brian Norris	stl - remove stale <vector> and <list> #include's	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-03	Brian Norris	action: add get_mutex()	blob \| commitdiff \| raw \| diff to current
2013-03-03	Brian Norris	action: add get_return_value()	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	check_recency: implement loops as function ModelAction...	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	action: bugfix - reads-from value should be VALUE_NONE...	blob \| commitdiff \| raw \| diff to current
2013-03-01	Brian Norris	action: add get_write_value()	blob \| commitdiff \| raw \| diff to current
2013-03-01	Brian Norris	action: add ModelAction::get_reads_from_value()	blob \| commitdiff \| raw \| diff to current
2013-03-01	Brian Norris	action, model: add ASSERT(), not NULL checks	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	action: print promise number, not just ?	blob \| commitdiff \| raw \| diff to current
2013-02-28	Brian Norris	un-'const' some Promises	blob \| commitdiff \| raw \| diff to current
2013-02-22	Brian Norris	action: backtrack/sleep-sets for seq-cst fences	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-02-12	Brian Norris	action: bugfix - initialize member	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	action: fixup printing for RMW/RMWR	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	action: store Promise in ModelAction	blob \| commitdiff \| raw \| diff to current
2013-02-02	Brian Norris	action: fix incorrect comment	blob \| commitdiff \| raw \| diff to current
2013-01-10	Brian Norris	action: remove incorrect fence backtracking	blob \| commitdiff \| raw \| diff to current
2013-01-02	Brian Norris	action: add get_thread_operand() method	blob \| commitdiff \| raw \| diff to current
2012-12-19	Brian Norris	action: fixup style	blob \| commitdiff \| raw \| diff to current
2012-12-12	Brian Norris	action: refactor ATOMIC_READ printing	blob \| commitdiff \| raw \| diff to current
2012-12-08	Brian Norris	spacing	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	action: add is_atomic_var()	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	model/action: bugfix - UNINIT actions do not have a...	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	action: move ModelAction::get_node to action.cc	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	action: add ATOMIC_UNINIT type	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	action: add is_thread_start()	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	model/action: move complicated read_from logic into...	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	action: record last fence release from the current...	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	action/model: backtrack for seq-cst and release/acquire...	blob \| commitdiff \| raw \| diff to current
2012-12-03	Brian Norris	action: allow fence ModelActions to have location ...	blob \| commitdiff \| raw \| diff to current
2012-11-19	Brian Norris	action: add is_relaxed() function	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	printf -> model_print	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	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-11-03	Brian Demsky	previous synchronization was weird...	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	forgot to add two files...	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	commit untested condvar code	blob \| commitdiff \| raw \| diff to current
2012-10-11	Brian Norris	action: improve printing	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Norris	action: add NULL dereference assertion	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	fix some of the bugs related to barrier example...	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-09	Brian Demsky	be much more careful about sending values backwards...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	be even more aggressive about sleep sets...	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-08	Brian Norris	action: add Thread parameter to constructor	blob \| commitdiff \| raw \| diff to current
2012-10-07	Brian Norris	action: add MODEL_FIXUP_RELSEQ action_type	blob \| commitdiff \| raw \| diff to current
2012-10-05	Brian Demsky	1) more comments	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	local commit... bug that prunes too many executions	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
next

C11 Tester Tool Public Repository

RSS Atom