projects
/
model-checker.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
model-checker.git
2013-02-26
Brian Norris
model: bugfix - only allow promise satisfaction for...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-25
Brian Norris
threads: construct Thread only with a given "parent"
commit
|
commitdiff
|
tree
|
snapshot
2013-02-25
Brian Demsky
repush changes
commit
|
commitdiff
|
tree
|
snapshot
2013-02-25
Brian Demsky
fix conflicts
commit
|
commitdiff
|
tree
|
snapshot
2013-02-25
Brian Demsky
fix norris mentioned bug
commit
|
commitdiff
|
tree
|
snapshot
2013-02-25
Brian Norris
Revert "fix scheduling stuff to get nice round robin...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-25
Brian Demsky
fix scheduling stuff to get nice round robin scheduler...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-23
Brian Norris
nodestack: bugfix - reset backtracking points on diverg...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-23
Brian Norris
model: bugfix - inherit future values from previous...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-23
Brian Norris
nodestack: don't use C++ references
commit
|
commitdiff
|
tree
|
snapshot
2013-02-23
Brian Norris
model: correct the "no valid reads" assertion
commit
|
commitdiff
|
tree
|
snapshot
2013-02-23
Brian Norris
promise: stash the whole future_value
commit
|
commitdiff
|
tree
|
snapshot
2013-02-22
Brian Norris
test: fences: add simple, semi-useful fence tests
commit
|
commitdiff
|
tree
|
snapshot
2013-02-22
Brian Norris
test: add double-read-fv
commit
|
commitdiff
|
tree
|
snapshot
2013-02-22
Brian Norris
action: backtrack/sleep-sets for seq-cst fences
commit
|
commitdiff
|
tree
|
snapshot
2013-02-22
Brian Norris
model: wake up pending (sleep-set) actions for fences
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Brian Norris
model: only backtrack fences when acquire is before...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Brian Norris
model: document get_last{,_fence}_conflict()
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Brian Norris
model: schedule appropriate fence backtracking points
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Brian Norris
model: convert while-loops to for-loops
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Brian Norris
model: add 'const'
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Brian Norris
include: fixup header inclusion
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Brian Norris
don't include action.h from model.h
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Brian Norris
model/action: move action_list_t to model.h
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Brian Norris
promise: move constructor out of header
commit
|
commitdiff
|
tree
|
snapshot
2013-02-16
Brian Norris
scheduler: refactor round-robin loop
commit
|
commitdiff
|
tree
|
snapshot
2013-02-16
Brian Norris
model: end-of-execution print
commit
|
commitdiff
|
tree
|
snapshot
2013-02-16
Brian Norris
model: improve get_next_thread() comments
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
schedule: simplify Scheduler::select_next_thread()
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: pull scheduler's thread selection into get_next_...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
schedule: split Scheduler::next_thread() into separate...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: factor out a 'switch_from_master()' function
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: rework the release sequence fixups
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: simple refactoring
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model/threads: add documentation comments
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: fix leaking "pending actions"
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: add 'pending' assertion
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: stash all pending actions immediately
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: pull 'has_asserted()' check out of take_step()
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
threads: bugfix - do not call thread_current() from...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: stash actions in each thread
commit
|
commitdiff
|
tree
|
snapshot
2013-02-15
Brian Norris
model: return next thread from take_step()
commit
|
commitdiff
|
tree
|
snapshot
2013-02-14
Brian Norris
threads/model: allocate Thread from w/in ModelChecker
commit
|
commitdiff
|
tree
|
snapshot
2013-02-14
Brian Norris
schedule: assert that model-checker thread doesn't...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-12
Brian Norris
model: set thread state during 'swap' calls
commit
|
commitdiff
|
tree
|
snapshot
2013-02-12
Brian Norris
Merge branch 'fences'
commit
|
commitdiff
|
tree
|
snapshot
2013-02-12
Brian Norris
promise: use id_to_int()
commit
|
commitdiff
|
tree
|
snapshot
2013-02-12
Brian Norris
model: prune may-read-from set early
commit
|
commitdiff
|
tree
|
snapshot
2013-02-12
Brian Norris
action: bugfix - initialize member
commit
|
commitdiff
|
tree
|
snapshot
2013-02-12
Brian Norris
model: rewrite mo_check_promises
commit
|
commitdiff
|
tree
|
snapshot
2013-02-09
Brian Norris
model: remove argument from mo_check_promises
commit
|
commitdiff
|
tree
|
snapshot
2013-02-09
Brian Norris
cyclegraph: possible optimization
commit
|
commitdiff
|
tree
|
snapshot
2013-02-09
Brian Norris
model: rename according to the comments
commit
|
commitdiff
|
tree
|
snapshot
2013-02-07
Brian Norris
model: add read-write coherence for promise nodes
commit
|
commitdiff
|
tree
|
snapshot
2013-02-07
Brian Norris
promise: update comments/names to reflect usage
commit
|
commitdiff
|
tree
|
snapshot
2013-02-07
Brian Norris
cyclegraph: expand template usage
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
model: refactor to use a helper function
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
cyclegraph: don't delete promise nodes
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
cyclegraph: fixup support for dumping the modification...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
cyclegraph: mergeNodes(): return early if we violate RMW
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
cyclegraph: refactor for indentation
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
Makefile / git: cleanup generated .dot and .pdf files
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
cyclegraph: add wrappers for some common functionality
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
model: fully utilize Promise nodes in CycleGraph
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
model: cosmetic improvements to resolve_promises()
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
cyclegraph: move function definitions out of header
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
cyclegraph: template-ize addRMWEdge()
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
cyclegraph: bugfix - pop edges properly
commit
|
commitdiff
|
tree
|
snapshot
2013-02-06
Brian Norris
model: add write-to-promise edges
commit
|
commitdiff
|
tree
|
snapshot
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
next