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

2013-02-23	Brian Norris	nodestack: bugfix - reset backtracking points on diverg...	blob \| commitdiff \| raw
2013-02-23	Brian Norris	nodestack: don't use C++ references	blob \| commitdiff \| raw \| diff to current
2013-02-12	Brian Norris	Merge branch 'fences'	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	remove #include <list>	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: don't create empty base node	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-12	Brian Norris	nodestack: add 'const'	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	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-10-12	Brian Demsky	commit untested condvar code	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-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	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	rename 'MyAlloc' to 'ModelAlloc'	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-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 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	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
2012-08-23	Brian Norris	nodestack: don't use uint32_t	blob \| commitdiff \| raw \| diff to current
2012-08-23	Brian Norris	nodestack: remove unnecessary typedefs	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	standardize names a little	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	more changes towards keeping track of promises resolved...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	changes	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	some changes towards reading from future writes	blob \| commitdiff \| raw \| diff to current
2012-07-31	Brian Demsky	Add basic reads from support	blob \| commitdiff \| raw \| diff to current
2012-07-17	Brian Demsky	Make stack popping explicit.	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	Merge branch 'datarace'	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	nodestack: add stub 'get_next_read_from()' function	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	nodestack: add print_may_read_from()	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	nodestack: build 'may_read_from' out of constant ModelA...	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	nodestack: action_set_t: replace STL 'set' with 'list'	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	trivial changes	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Norris	Merge branch 'brian'	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Norris	nodestack: revert may_read_from to a normal member...	blob \| commitdiff \| raw \| diff to current
2012-06-25	Brian Norris	add documentation	blob \| commitdiff \| raw \| diff to current
2012-06-25	Brian Norris	nodestack: only create may_read_from sets for read...	blob \| commitdiff \| raw \| diff to current
2012-06-25	Brian Norris	nodestack: add Node::get_parent() function	blob \| commitdiff \| raw \| diff to current
2012-06-21	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	Merge branch 'sandbox' (remove finalize())	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	nodestack: add 'may_read_from' set	blob \| commitdiff \| raw \| diff to current
2012-06-19	Brian Norris	nodestack: don't perform linear search to check if...	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Demsky	1) Add more comments.	blob \| commitdiff \| raw \| diff to current
2012-05-30	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-05-30	Brian Norris	node: do not use static member variable	blob \| commitdiff \| raw \| diff to current
2012-05-29	Brian Norris	nodestack: push 'create_cv' functionality responsibilit...	blob \| commitdiff \| raw \| diff to current
2012-05-28	Brian Norris	nodestack: compute parent ModelAction externally	blob \| commitdiff \| raw \| diff to current
2012-05-28	Brian Norris	nodestack: construct Node with 'number of threads'...	blob \| commitdiff \| raw \| diff to current
2012-05-25	Brian Norris	nodestack: bugfix - fixup allocators for vectors	blob \| commitdiff \| raw \| diff to current
2012-05-25	Brian Norris	add more classes to snapshotting region	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	nodestack: allocate from "mymemory" region	blob \| commitdiff \| raw \| diff to current
2012-05-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	blob \| commitdiff \| raw \| diff to current
2012-05-14	Brian Norris	nodestack: add class NodeStack and class Node	blob \| commitdiff \| raw \| diff to current

C11 Tester Tool Public Repository

RSS Atom