projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cyclegraph: add overloaded getNode_noCreate()
[c11tester.git]
/
model.cc
2013-02-06
Brian Norris
model: add promise-node edges for 'read' actions
blob
|
commitdiff
|
raw
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
2012-11-20
Brian Norris
main/model: move full user-program execution to ModelCh...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
model: move flags to private 'model_snapshot_members'
blob
|
commitdiff
|
raw
|
diff to current
2012-11-20
Brian Norris
model: add model_snapshot_members constructor/destructor
blob
|
commitdiff
|
raw
|
diff to current
2012-11-19
Brian Norris
model: optimize get_last_conflict() search
blob
|
commitdiff
|
raw
|
diff to current
2012-11-17
Brian Norris
model: add "# redundant" stat
blob
|
commitdiff
|
raw
|
diff to current
2012-11-17
Brian Norris
model: refactor end-of-execution output
blob
|
commitdiff
|
raw
|
diff to current
2012-11-17
Brian Norris
model: print_summary() should be const
blob
|
commitdiff
|
raw
|
diff to current
2012-11-17
Brian Norris
model/main: disable most printing by default, add verbosity
blob
|
commitdiff
|
raw
|
diff to current
2012-11-17
Brian Norris
output redirection
blob
|
commitdiff
|
raw
|
diff to current
2012-11-17
Brian Norris
model: print execution # with trace
blob
|
commitdiff
|
raw
|
diff to current
2012-11-17
Brian Norris
print stats only at end of execution
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
printf -> model_print
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
model: correct plural ("bug" or "bugs")
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
model: rework assert_bug() and assert_user_bug() interfaces
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
dataraces: don't print an uninformative "Data race...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
datarace: change "Datarace" to "Data race"
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
model: restructure statistics records
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
model: annotate SNAPSHOT for bug_message
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
model: temporary fix for uninitialized loads
blob
|
commitdiff
|
raw
|
diff to current
2012-11-16
Brian Norris
assert bugs through common interface
blob
|
commitdiff
|
raw
|
diff to current
next
projects / c11tester.git / history