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