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

2012-09-12	Brian Demsky	deal with looping due to bogus future value via promise...	blob \| commitdiff \| raw
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, model: use uniform spacing, style	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 Norris	blank lines, spacing, etc.	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	nodestack: remove completed @todo	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	nodestack: clean up comments	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	fixup whitespace	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	bugs...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	add some comments	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	okay...known bugs for my trivial test are out of send...	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-08-02	Brian Demsky	fix my todo comments so they appear in documentation	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	Add documentation	blob \| commitdiff \| raw \| diff to current
2012-07-31	Brian Norris	nodestack: document pop_restofstack()	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-17	Brian Norris	nodestack: re-insert falsely-declared "dead code"	blob \| commitdiff \| raw \| diff to current
2012-07-17	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-07-17	Brian Demsky	remove dead code... loop entrance condition is i<backt...	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-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	nodestack: only create may_read_from sets for read...	blob \| commitdiff \| raw \| diff to current
2012-06-25	Brian Norris	nodestack: re-associate ModelAction/Node relationship	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-19	Brian Norris	nodestack/model: refactor explore_action(), change...	blob \| commitdiff \| raw \| diff to current
2012-06-19	Brian Norris	nodestack: more documentation	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-26	Brian Norris	nodestack: create ModelAction clock vectors	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: remove unnecessary conditional	blob \| commitdiff \| raw \| diff to current
2012-05-14	Brian Norris	nodestack: add class NodeStack and class Node	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker

RSS Atom