2013-04-16 |
Brian Norris | promise: add max_available_thread_idx() interface |
blob | commitdiff | raw |
2013-04-16 |
Brian Norris | promise: add Promise::get_index function |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Brian Norris | improve documentation + Doxygen formatting |
blob | commitdiff | raw | diff to current |
2013-03-20 |
Brian Norris | cyclegraph: propagate RMW atomicity edges down the... |
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 Norris | cyclegraph: memory "leak", fixup |
blob | commitdiff | raw | diff to current |
2013-03-05 |
Brian Demsky | little optimizations motivated by profiling... |
blob | commitdiff | raw | diff to current |
2013-03-04 |
Brian Norris | cyclegraph: missing form of checkReachable() |
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 | promise: add 'same_value' helper, force value-checking... |
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-28 |
Brian Norris | cyclegraph: clean up mo_graph dump |
blob | commitdiff | raw | diff to current |
2013-02-28 |
Brian Norris | promise: record multiple readers in the same Promise |
blob | commitdiff | raw | diff to current |
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 |
next |