Programming Languages Research Group: Git - model-checker.git/history

2013-04-16	Brian Norris	nodestack: localize the model-checker parameters	blob \| commitdiff \| raw
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
2012-09-24	Brian Demsky	fairness changes...	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Norris	fix compilation (includes)	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Demsky	bug fixes for lock support...think it works now...	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	merge stuff	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	more bugs	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	fix	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	changes	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	Merge branch 'master' into mutex	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	start towards adding support for mutexes	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	deal with looping due to bogus future value via promise...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Norris	Merge branch 'demsky'	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Demsky	model: fix the maxreads support	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Norris	nodestack: add get_read_from_size()	blob \| commitdiff \| raw \| diff to current
2012-08-23	Brian Norris	nodestack: turn magic promise numbers into enum + typedef	blob \| commitdiff \| raw \| diff to current
next

C++11 memory model checker

RSS Atom