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

2019-06-19	root	merge	blob \| commitdiff \| raw
2019-06-14	weiyu	Merge branch 'new_fuzzer' of /home/git/random-fuzzer...	blob \| commitdiff \| raw
2019-06-13	bdemsky	new cyclegraph	blob \| commitdiff \| raw
2019-06-12	bdemsky	Merge branch 'new_fuzzer' into tmp	blob \| commitdiff \| raw \| diff to current
2019-06-12	bdemsky	partial edits	blob \| commitdiff \| raw \| diff to current
2019-06-12	bdemsky	Remove backedges from cyclegraph	blob \| commitdiff \| raw \| diff to current
2019-06-12	bdemsky	fix tabbing comment issue	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-05	bdemsky	More fuzzing changes	blob \| commitdiff \| raw \| diff to current
2019-06-04	bdemsky	Remove promises	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	cyclegraph: kill unused promise_list_t type	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-07	Brian Norris	bugfix - add stl-model.h wrappers, to provide more...	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Norris	Revert "switch to snapshot/modelalloc versions of stl...	blob \| commitdiff \| raw \| diff to current
2013-03-07	Brian Demsky	switch to snapshot/modelalloc versions of stl classes	blob \| commitdiff \| raw \| diff to current
2013-03-05	Brian Demsky	little optimizations motivated by profiling...	blob \| commitdiff \| raw \| diff to current
2013-03-02	Brian Norris	cyclegraph: simplify resolvePromise / mergeNodes	blob \| commitdiff \| raw \| diff to current
2013-03-01	Brian Norris	cyclegraph/model: unify, clean up graph printing	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-07	Brian Norris	cyclegraph: expand template usage	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: 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-02-06	Brian Norris	cyclegraph: trivial shortening	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: separate an 'addEdge(CycleNode *, CycleNode...	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-03	Brian Norris	cyclegraph: small cleanup	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: bugfix - more SnapshotAlloc	blob \| commitdiff \| raw \| diff to current
2012-12-11	Brian Norris	cyclegraph: bugfix - use model-checker's allocater...	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-04	Brian Demsky	local commit... bug that prunes too many executions	blob \| commitdiff \| raw \| diff to current
2012-10-02	Brian Demsky	start support for drawing execution diagrams	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	add support for dumping cyclegraphs as dot files.....	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	bugfix: straighten out STL vector allocation (snapshott...	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	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: add destructor, use 'const' appropriately	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	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-19	Brian Norris	cyclegraph: make this compile...	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

C11 Tester Tool Public Repository

RSS Atom