| 2013-02-06 |
Brian Norris | promise: add is_compatible_exclusive() |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | promise: add const |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | model: utilize CycleGraph 'addEdge()' status |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: return 'added' status for addEdge() |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: add documentation |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: bugfix - only use concrete writes to elimin... |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: edit template for checkReachable |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: edit template for addEdge |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: add overloaded getNode_noCreate() |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | model: add promise-node edges for 'read' actions |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: template-ize checkReachable() |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | model: template-ize 'r_modification_order' |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | action: fixup printing for RMW/RMWR |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | action: store Promise in ModelAction |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: add full promise resolution, node merging |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: add CycleNode::resolvePromise(), CycleNode... |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | promise: add is_compatible() |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: map Promises to Promise nodes |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: template for addEdge() |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: rename addEdge() to addNodeEdge() |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: add removeEdge(), removeBackEdge() |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: add Promise CycleNode |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | cyclegraph: trivial shortening |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | Makfile: add 'make pdfs' target to build PDF from ... |
commit | commitdiff | tree | snapshot |
| 2013-02-06 |
Brian Norris | model: don't print scheduler randomly |
commit | commitdiff | tree | snapshot |
| 2013-02-02 |
Brian Norris | action: fix incorrect comment |
commit | commitdiff | tree | snapshot |
| 2013-02-02 |
Brian Norris | Doxyfile: don't recurse into all directories |
commit | commitdiff | tree | snapshot |
| 2013-01-31 |
Brian Norris | cyclegraph: use vector empty() and clear() |
commit | commitdiff | tree | snapshot |
| 2013-01-29 |
Brian Norris | nodestack/model: spacing |
commit | commitdiff | tree | snapshot |
| 2013-01-28 |
Brian Norris | promise: update names/comments |
commit | commitdiff | tree | snapshot |
| 2013-01-25 |
Brian Norris | cyclegraph: RMW atomicity violation must flag a cycle |
commit | commitdiff | tree | snapshot |
| 2013-01-25 |
Brian Norris | cyclegraph: reformat, improve 'addRMWEdge' comments |
commit | commitdiff | tree | snapshot |
| 2013-01-25 |
Brian Norris | cyclegraph: separate an 'addEdge(CycleNode *, CycleNode... |
commit | commitdiff | tree | snapshot |
| 2013-01-25 |
Brian Norris | model: remove ModelChecker::is_infeasible_ignoreRMW() |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | model: add immediate future value for RMW reordering |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | cyclegraph: detect cycles immediately |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | promise: bugfix - a disabled thread should not be elimi... |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | model: modify promises on THREAD_{CREATE,FINISH} |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | promise: associate Promises with a set of threads |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | action: record future value |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | future_value: add thread ID parameter |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | nodestack: pass 'struct future_value' to add_future_value() |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | model: add const to get_thread(ModelAction *act) |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | model: fixup indentation, spelling in comment |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | model: style |
commit | commitdiff | tree | snapshot |
| 2013-01-24 |
Brian Norris | model: remove local variable |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: SnapshotAlloc for vector |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: refactor has_failed() |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: move thread_is_eliminated() |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: rename has_sync_thread() -> thread_is_eliminated() |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: rename check_promise() -> has_failed() |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: refactor eliminate_thread()/check_promise() |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: rename increment_threads() -> eliminate_thread() |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | nodestack: add const |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: construct with a 'future_value' struct |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | nodestack/promise: move future_value struct, update... |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | nodestack: pass writer ModelAction to add_future_value() |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | nodestack: eliminate get_future_value_expiration() |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | nodestack: remove extra blank lines |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | remove #include <list> |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | nodestack: improve debug print() method |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Demsky | fix bug in promise handling code... |
commit | commitdiff | tree | snapshot |
| 2013-01-23 |
Brian Norris | promise: fixup style |
commit | commitdiff | tree | snapshot |
| 2013-01-22 |
Brian Norris | test: rmwprog: support command-line argument |
commit | commitdiff | tree | snapshot |
| 2013-01-19 |
Brian Norris | nodestack: improve debug prints |
commit | commitdiff | tree | snapshot |
| 2013-01-19 |
Brian Norris | schedule: improve scheduler printing |
commit | commitdiff | tree | snapshot |
| 2013-01-19 |
Brian Norris | schedule: allow Schedule::print() even in non-DEBUG... |
commit | commitdiff | tree | snapshot |
| 2013-01-17 |
Brian Norris | model: bugfix - sleep sets are NOT directly compatible... |
commit | commitdiff | tree | snapshot |
| 2013-01-16 |
Brian Norris | litmus: iriw: allow command-line switch 's' for seq_cst |
commit | commitdiff | tree | snapshot |
| 2013-01-16 |
Brian Norris | litmus: iriw: use release/acquire, not release/relaxed |
commit | commitdiff | tree | snapshot |
| 2013-01-16 |
Brian Norris | tests: litmus: link up Makefile properly |
commit | commitdiff | tree | snapshot |
| 2013-01-15 |
Brian Norris | test: litmus: add litmus tests from Nitpicking C++ |
commit | commitdiff | tree | snapshot |
| 2013-01-15 |
Brian Norris | test: Makefile: add $(BASE) variable |
commit | commitdiff | tree | snapshot |
| 2013-01-10 |
Brian Norris | model: reformat execution trace prints |
commit | commitdiff | tree | snapshot |
| 2013-01-10 |
Brian Norris | model: spelling mistake |
commit | commitdiff | tree | snapshot |
| 2013-01-10 |
Brian Norris | model: fixup "infeasible" messages |
commit | commitdiff | tree | snapshot |
| 2013-01-09 |
Brian Norris | cyclegraph: add documentation |
commit | commitdiff | tree | snapshot |
| 2013-01-09 |
Brian Norris | cyclegraph: remove redundant code |
commit | commitdiff | tree | snapshot |
| 2013-01-09 |
Brian Norris | cyclegraph: add edgeCreatesCycle() function |
commit | commitdiff | tree | snapshot |
| 2013-01-09 |
Brian Norris | cyclegraph: add const |
commit | commitdiff | tree | snapshot |
| 2013-01-08 |
Brian Norris | model: add 'add_future_value()' wrapper |
commit | commitdiff | tree | snapshot |
| 2013-01-08 |
Brian Norris | model: add PendingFutureValue constructor |
commit | commitdiff | tree | snapshot |
| 2013-01-08 |
Brian Demsky | new test case |
commit | commitdiff | tree | snapshot |
| 2013-01-04 |
Brian Norris | cyclegraph: add back edges to CycleNode |
commit | commitdiff | tree | snapshot |
| 2013-01-04 |
Brian Norris | hashtable: style |
commit | commitdiff | tree | snapshot |
| 2013-01-04 |
Brian Norris | cyclegraph: add putNode() helper |
commit | commitdiff | tree | snapshot |
| 2013-01-04 |
Brian Norris | hashtable: style |
commit | commitdiff | tree | snapshot |
| 2013-01-04 |
Brian Norris | promise: style fixup |
commit | commitdiff | tree | snapshot |
| 2013-01-04 |
Brian Norris | cyclegraph: fix insignificant memory leak |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | cyclegraph: small cleanup |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | hashtable: add const |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | hashtable: fixup style |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | snapshot: more renaming |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | snapshot-interface: bugfix - reorder constructor params |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | snapshot-interface: rename, clean up |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | snapshot-interface: change hand-coded stack to vector |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | snapshot: turn C++ interface into C interface |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | fixup style |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | snapshot: more renaming |
commit | commitdiff | tree | snapshot |
| 2013-01-03 |
Brian Norris | snapshot: add (unused) mprot_snapshotter destructor |
commit | commitdiff | tree | snapshot |
| next |
projects / model-checker.git / shortlog