projects
/
cdsspec-compiler.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
model: add 'pending' assertion
[cdsspec-compiler.git]
/
model.cc
2013-02-15
Brian Norris
model: add 'pending' assertion
blob
|
commitdiff
|
raw
2013-02-15
Brian Norris
model: stash all pending actions immediately
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Brian Norris
model: pull 'has_asserted()' check out of take_step()
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Brian Norris
threads: bugfix - do not call thread_current() from...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Brian Norris
model: stash actions in each thread
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Brian Norris
model: return next thread from take_step()
blob
|
commitdiff
|
raw
|
diff to current
2013-02-14
Brian Norris
threads/model: allocate Thread from w/in ModelChecker
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Brian Norris
model: set thread state during 'swap' calls
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Brian Norris
Merge branch 'fences'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Brian Norris
model: prune may-read-from set early
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Brian Norris
model: rewrite mo_check_promises
blob
|
commitdiff
|
raw
|
diff to current
2013-02-09
Brian Norris
model: remove argument from mo_check_promises
blob
|
commitdiff
|
raw
|
diff to current
2013-02-09
Brian Norris
model: rename according to the comments
blob
|
commitdiff
|
raw
|
diff to current
2013-02-07
Brian Norris
model: add read-write coherence for promise nodes
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
model: refactor to use a helper function
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
model: fully utilize Promise nodes in CycleGraph
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
model: cosmetic improvements to resolve_promises()
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
model: add write-to-promise edges
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
model: utilize CycleGraph 'addEdge()' status
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
model: add promise-node edges for 'read' actions
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
model: template-ize 'r_modification_order'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
action: store Promise in ModelAction
blob
|
commitdiff
|
raw
|
diff to current
2013-02-06
Brian Norris
model: don't print scheduler randomly
blob
|
commitdiff
|
raw
|
diff to current
2013-01-29
Brian Norris
nodestack/model: spacing
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
model: remove ModelChecker::is_infeasible_ignoreRMW()
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
model: add immediate future value for RMW reordering
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
model: modify promises on THREAD_{CREATE,FINISH}
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
promise: associate Promises with a set of threads
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
action: record future value
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
future_value: add thread ID parameter
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
nodestack: pass 'struct future_value' to add_future_value()
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
model: add const to get_thread(ModelAction *act)
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
model: fixup indentation, spelling in comment
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
model: style
blob
|
commitdiff
|
raw
|
diff to current
2013-01-24
Brian Norris
model: remove local variable
blob
|
commitdiff
|
raw
|
diff to current
2013-01-23
Brian Norris
promise: rename has_sync_thread() -> thread_is_eliminated()
blob
|
commitdiff
|
raw
|
diff to current
2013-01-23
Brian Norris
promise: rename check_promise() -> has_failed()
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-23
Brian Norris
promise: construct with a 'future_value' struct
blob
|
commitdiff
|
raw
|
diff to current
2013-01-23
Brian Norris
nodestack: pass writer ModelAction to add_future_value()
blob
|
commitdiff
|
raw
|
diff to current
2013-01-23
Brian Norris
nodestack: eliminate get_future_value_expiration()
blob
|
commitdiff
|
raw
|
diff to current
2013-01-23
Brian Demsky
fix bug in promise handling code...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-17
Brian Norris
model: bugfix - sleep sets are NOT directly compatible...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-10
Brian Norris
model: reformat execution trace prints
blob
|
commitdiff
|
raw
|
diff to current
2013-01-10
Brian Norris
model: spelling mistake
blob
|
commitdiff
|
raw
|
diff to current
2013-01-10
Brian Norris
model: fixup "infeasible" messages
blob
|
commitdiff
|
raw
|
diff to current
2013-01-08
Brian Norris
model: add 'add_future_value()' wrapper
blob
|
commitdiff
|
raw
|
diff to current
2013-01-08
Brian Norris
model: add PendingFutureValue constructor
blob
|
commitdiff
|
raw
|
diff to current
2013-01-03
Brian Norris
snapshot: turn C++ interface into C interface
blob
|
commitdiff
|
raw
|
diff to current
2013-01-02
Brian Norris
action: add get_thread_operand() method
blob
|
commitdiff
|
raw
|
diff to current
2013-01-02
Brian Norris
model: use get_thread(curr) instead of get_current_thread()
blob
|
commitdiff
|
raw
|
diff to current
2012-12-18
Brian Norris
model: refactor check_current_action, next thread compu...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-15
Brian Norris
clean up some DEBUG() messages
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: check for NULL parent Node
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: use helper 'get_thread()'
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: style fixups
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: add 'set_latest_backtrack()'
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: print bug reports only for feasible executions
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: bugfix - mo_may_allow was too restrictive
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: make dumpGraph 'const'
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: remove snapshotted 'nextThread'
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: pass current action as function argument
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: simplify take_step()
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: force first thread to run immediately
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: change guaranteed condition into ASSERT()
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
model: spacing
blob
|
commitdiff
|
raw
|
diff to current
2012-12-12
Brian Norris
model: rename 'promise_index' to 'i'
blob
|
commitdiff
|
raw
|
diff to current
2012-12-12
Brian Norris
model: return value from switch_to_master
blob
|
commitdiff
|
raw
|
diff to current
2012-12-08
Brian Norris
spacing
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
model: don't create UNINIT actions for Threads, mutexes...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
model/action: bugfix - UNINIT actions do not have a...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
model: remove old "uninitialized" bug check
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
model: generate UNINIT actions as new atomic operations...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
model: add helper for allocating new UNINIT actions
blob
|
commitdiff
|
raw
|
diff to current
2012-12-07
Brian Norris
model: clear a ModelAction's reads-from properly
blob
|
commitdiff
|
raw
|
diff to current
2012-12-06
Brian Norris
model: refactoring + spacing
blob
|
commitdiff
|
raw
|
diff to current
2012-12-05
Brian Norris
model: stop thread-trace search once edge is added
blob
|
commitdiff
|
raw
|
diff to current
2012-12-05
Brian Norris
model: fix bugs in fence-acquire synchronization
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model: add process_fence()
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model: distinguish between 'read' and 'acquire' in...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model: add read-acquire/fence-release support
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model: privatize a few interfaces
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model/action: move complicated read_from logic into...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model: record last fence-release from each thread
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model: remove extraneous copy-and-paste
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
model: add seq-cst fence rules
blob
|
commitdiff
|
raw
|
diff to current
2012-12-04
Brian Norris
action/model: backtrack for seq-cst and release/acquire...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-03
Brian Norris
model: refactor build_reads_from_past
blob
|
commitdiff
|
raw
|
diff to current
2012-12-03
Brian Norris
model: add get_last_seq_cst_fence
blob
|
commitdiff
|
raw
|
diff to current
2012-12-03
Brian Norris
model: rename last_seq_cst -> last_sc_write
blob
|
commitdiff
|
raw
|
diff to current
2012-12-01
Brian Norris
model: rename get_last_seq_cst -> get_last_seq_cst_write
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
model: add const
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
schedule: rename get_enabled() -> get_enabled_array()
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
model: rename isfinalfeasible -> is_feasible_prefix_ign...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
model: replace isfinalfeasible() with stronger check
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
model: privatize, move isfinalfeasible()
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
model: rename some 'isfeasible...' functions to 'is_inf...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
model: privatize some functions
blob
|
commitdiff
|
raw
|
diff to current
next