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

2013-02-28	Brian Norris	promise: record multiple readers in the same Promise	blob \| commitdiff \| raw
2013-02-27	Brian Norris	cyclegraph: bugfix - allow to compile with SUPPORT_MOD_...	blob \| commitdiff \| raw \| diff to current
2013-02-27	Brian Norris	cyclegraph: change Promise nodes map	blob \| commitdiff \| raw \| diff to current
2013-02-12	Brian Norris	Merge branch 'fences'	blob \| commitdiff \| raw \| diff to current
2013-02-09	Brian Norris	cyclegraph: possible optimization	blob \| commitdiff \| raw \| diff to current
2013-02-07	Brian Norris	cyclegraph: expand template usage	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: don't delete promise nodes	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: fixup support for dumping the modification...	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: mergeNodes(): return early if we violate RMW	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: refactor for indentation	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: add wrappers for some common functionality	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: move function definitions out of header	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: template-ize addRMWEdge()	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: bugfix - pop edges properly	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: return 'added' status for addEdge()	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: add documentation	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: bugfix - only use concrete writes to elimin...	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: edit template for checkReachable	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: edit template for addEdge	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: add overloaded getNode_noCreate()	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: template-ize checkReachable()	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: add full promise resolution, node merging	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: add CycleNode::resolvePromise(), CycleNode...	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: map Promises to Promise nodes	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: template for addEdge()	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: rename addEdge() to addNodeEdge()	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: add removeEdge(), removeBackEdge()	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	cyclegraph: add Promise CycleNode	blob \| commitdiff \| raw \| diff to current
2013-01-31	Brian Norris	cyclegraph: use vector empty() and clear()	blob \| commitdiff \| raw \| diff to current
2013-01-25	Brian Norris	cyclegraph: RMW atomicity violation must flag a cycle	blob \| commitdiff \| raw \| diff to current
2013-01-25	Brian Norris	cyclegraph: reformat, improve 'addRMWEdge' comments	blob \| commitdiff \| raw \| diff to current
2013-01-25	Brian Norris	cyclegraph: separate an 'addEdge(CycleNode *, CycleNode...	blob \| commitdiff \| raw \| diff to current
2013-01-24	Brian Norris	cyclegraph: detect cycles immediately	blob \| commitdiff \| raw \| diff to current
2013-01-23	Brian Norris	promise: rename increment_threads() -> eliminate_thread()	blob \| commitdiff \| raw \| diff to current
2013-01-09	Brian Norris	cyclegraph: add documentation	blob \| commitdiff \| raw \| diff to current
2013-01-09	Brian Norris	cyclegraph: remove redundant code	blob \| commitdiff \| raw \| diff to current
2013-01-09	Brian Norris	cyclegraph: add edgeCreatesCycle() function	blob \| commitdiff \| raw \| diff to current
2013-01-09	Brian Norris	cyclegraph: add const	blob \| commitdiff \| raw \| diff to current
2013-01-04	Brian Norris	cyclegraph: add back edges to CycleNode	blob \| commitdiff \| raw \| diff to current
2013-01-04	Brian Norris	cyclegraph: add putNode() helper	blob \| commitdiff \| raw \| diff to current
2013-01-04	Brian Norris	cyclegraph: fix insignificant memory leak	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	cyclegraph: small cleanup	blob \| commitdiff \| raw \| diff to current
2013-01-03	Brian Norris	fixup style	blob \| commitdiff \| raw \| diff to current
2012-12-11	Brian Norris	cyclegraph: uniform spacing, style	blob \| commitdiff \| raw \| diff to current
2012-12-11	Brian Norris	cyclegraph: don't export CycleNode::edges directly...	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-15	Brian Demsky	optimize hashtable so we don't always build new ones...	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 Norris	cyclegraph: fix indentation	blob \| commitdiff \| raw \| diff to current
2012-10-06	Brian Norris	cyclegraph: flag cycles for reflexive edges	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
2012-10-04	Brian Demsky	fix low hanging fruit when profiling...	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	start support for drawing execution diagrams	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 MYCALLOC -> model_calloc	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Norris	rename MYMALLOC -> model_malloc	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	fix	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	merge in master	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	cyclegraph: add ASSERT() for reflexive edges	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Demsky	(1) add actions for the fence	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Demsky	add support for dumping cyclegraphs as dot files.....	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	Merge remote-tracking branch 'origin/makefile'	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	lots of debugging here... finally working with my rmw...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	cleanup style	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	right fix for avoid rmw cycles... bad assumption in...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	separate out rmw actions	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	(1) structure code a little better	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Norris	cyclegraph: add non-NULL assertions	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	cyclegraph: support rolling back changes	blob \| commitdiff \| raw \| diff to current
2012-08-23	Brian Norris	cyclegraph: add public CycleGraph::checkReachable()	blob \| commitdiff \| raw \| diff to current
2012-08-21	Brian Norris	cyclegraph: straighten out header vs. implementation...	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-08-14	Brian Norris	cyclegraph: improve comments, use initializer list	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	Add documentation	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	towards making rmw work...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	Add RMW support to core.	blob \| commitdiff \| raw \| diff to current
2012-07-31	Brian Norris	cyclegraph: bugfix - graph reachability was reversed	blob \| commitdiff \| raw \| diff to current
2012-07-31	Brian Norris	cyclegraph: add destructor, use 'const' appropriately	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	reformat some doxygen comments, remove newlines	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Demsky	bug	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Demsky	documentation	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	Merge branch 'datarace'	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	trivial changes	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-18	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-06-18	Brian Demsky	builds	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker

RSS Atom