| 2013-04-13 |
Brian Demsky | towards supporting scanalysis... |
blob | commitdiff | raw |
| 2013-04-13 |
Brian Demsky | add some support for traceanalysis plugins |
blob | commitdiff | raw | diff to current |
| 2013-04-11 |
Brian Norris | improve documentation + Doxygen formatting |
blob | commitdiff | raw | diff to current |
| 2013-04-05 |
Brian Norris | model: remove DEBUG action print |
blob | commitdiff | raw | diff to current |
| 2013-04-05 |
Brian Norris | model: deadlock: print the culprit thread, when known |
blob | commitdiff | raw | diff to current |
| 2013-04-05 |
Brian Norris | model: add variable arguments for bug messages |
blob | commitdiff | raw | diff to current |
| 2013-04-05 |
Brian Norris | model: proactively build/prune is_enabled() set |
blob | commitdiff | raw | diff to current |
| 2013-04-05 |
Brian Norris | model: pull thread control logic out of take_step(... |
blob | commitdiff | raw | diff to current |
| 2013-04-04 |
Brian Norris | common: make model_print() use OS file descriptor,... |
blob | commitdiff | raw | diff to current |
| 2013-04-04 |
Brian Norris | model: note the DPOR addendum |
blob | commitdiff | raw | diff to current |
| 2013-04-04 |
Brian Norris | model: use get_thread() helper |
blob | commitdiff | raw | diff to current |
| 2013-04-03 |
Brian Norris | threads: remove wait_list |
blob | commitdiff | raw | diff to current |
| 2013-04-03 |
Brian Norris | model: use get_mutex() and get_thread_operand() helpers |
blob | commitdiff | raw | diff to current |
| 2013-04-03 |
Brian Norris | model: kill lock_waiters_map |
blob | commitdiff | raw | diff to current |
| 2013-04-03 |
Brian Norris | model: merge duplicated code for WAIT and UNLOCK |
blob | commitdiff | raw | diff to current |
| 2013-04-03 |
Brian Norris | model: get_mutex() for locating the lock map |
blob | commitdiff | raw | diff to current |
| 2013-04-02 |
Brian Norris | action: add ModelAction::is_thread_join() helper |
blob | commitdiff | raw | diff to current |
| 2013-03-28 |
Brian Norris | nodestack: move "behaviors" increment all into Node... |
blob | commitdiff | raw | diff to current |
| 2013-03-27 |
Brian Norris | threads: move circular wait check into Threads::is_wait... |
blob | commitdiff | raw | diff to current |
| 2013-03-22 |
Brian Demsky | fix mistake in promises may allow code... need to... |
blob | commitdiff | raw | diff to current |
| 2013-03-22 |
Brian Norris | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
| 2013-03-22 |
Brian Norris | model: re-check pending future values whenever a promis... |
blob | commitdiff | raw | diff to current |
| 2013-03-21 |
Brian Norris | model: bugfix - send future values more eagerly |
blob | commitdiff | raw | diff to current |
| 2013-03-21 |
Brian Norris | model: refactor add_future_value, add documentation |
blob | commitdiff | raw | diff to current |
| 2013-03-21 |
Brian Norris | model: add 'const' |
blob | commitdiff | raw | diff to current |
| 2013-03-21 |
Brian Norris | model: rename PendingFutureValue 'act' to 'reader' |
blob | commitdiff | raw | diff to current |
| 2013-03-21 |
Brian Norris | model: rework the resolve-promise interface |
blob | commitdiff | raw | diff to current |
| 2013-03-19 |
Brian Norris | model: note how we support seq-cst fences |
blob | commitdiff | raw | diff to current |
| 2013-03-12 |
Brian Norris | model: bugfix - missing SC mo_graph edge |
blob | commitdiff | raw | diff to current |
| 2013-03-12 |
Brian Norris | model: refactor r_modification_order 'act != curr'... |
blob | commitdiff | raw | diff to current |
| 2013-03-09 |
Brian Norris | mymemory: enforce that user allocations come from user... |
blob | commitdiff | raw | diff to current |
| 2013-03-09 |
Brian Norris | model: privatize some thread functions |
blob | commitdiff | raw | diff to current |
| 2013-03-07 |
Brian Norris | bugfix - add stl-model.h wrappers, to provide more... |
blob | commitdiff | raw | diff to current |
| 2013-03-07 |
Brian Norris | Revert "switch to snapshot/modelalloc versions of stl... |
blob | commitdiff | raw | diff to current |
| 2013-03-07 |
Brian Demsky | switch to snapshot/modelalloc versions of stl classes |
blob | commitdiff | raw | diff to current |
| 2013-03-07 |
Brian Demsky | add new option for uninitialized writes... |
blob | commitdiff | raw | diff to current |
| 2013-03-07 |
Brian Norris | model, nodestack: bugfix - retain UNINIT actions across... |
blob | commitdiff | raw | diff to current |
| 2013-03-06 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
| 2013-03-06 |
Brian Norris | Merge remote 'yield' work |
blob | commitdiff | raw | diff to current |
| 2013-03-06 |
Brian Norris | model: don't print 'uninitialized' ModelActions in... |
blob | commitdiff | raw | diff to current |
| 2013-03-06 |
Brian Demsky | add yield support |
blob | commitdiff | raw | diff to current |
| 2013-03-05 |
Brian Norris | model: refactor the get_thread() selection |
blob | commitdiff | raw | diff to current |
| 2013-03-04 |
Brian Norris | refactor DBG_ENABLED() vs. verbose |
blob | commitdiff | raw | diff to current |
| 2013-03-04 |
Brian Norris | model: add promise printing to execution summaries |
blob | commitdiff | raw | diff to current |
| 2013-03-03 |
Brian Norris | model: rename check_deadlock() to is_circular_wait() |
blob | commitdiff | raw | diff to current |
| 2013-03-03 |
Brian Norris | model: add improved (?) deadlock detection |
blob | commitdiff | raw | diff to current |
| 2013-03-03 |
Brian Norris | mutex: change 'islocked' to hold Thread pointer |
blob | commitdiff | raw | diff to current |
| 2013-03-03 |
Brian Norris | action: add get_mutex() |
blob | commitdiff | raw | diff to current |
| 2013-03-03 |
Brian Norris | action: add get_return_value() |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | model: use get_write_value() |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | model: bugfix - adding a Promise reader can cause failure |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | model: hack dumpGraph() bug by "leaking" promises |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | cyclegraph: simplify resolvePromise / mergeNodes |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | model: refactor process_read logic |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | check_recency: update/add documentation comments |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | check_recency: improve templates, use when reading... |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | check_recency: refactor some more, + include Promises |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | check_recency: return a boolean status |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | check_recency: only allow newer stores to "overwrite" |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | check_recency: implement loops as function ModelAction... |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | model: check_recency: convert a few things to ASSERT() |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Demsky | comments |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | model: check_recency: fix indentation, spelling, comments |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | model: fixes for future value passing |
blob | commitdiff | raw | diff to current |
| 2013-03-02 |
Brian Norris | model: we only resolve one promise at a time |
blob | commitdiff | raw | diff to current |
| 2013-03-01 |
Brian Norris | model: fix ASSERT() |
blob | commitdiff | raw | diff to current |
| 2013-03-01 |
Brian Norris | promise: add 'same_value' helper, force value-checking... |
blob | commitdiff | raw | diff to current |
| 2013-03-01 |
Brian Norris | promise: bugfix - don't check value, check location |
blob | commitdiff | raw | diff to current |
| 2013-03-01 |
Brian Norris | action: add get_write_value() |
blob | commitdiff | raw | diff to current |
| 2013-03-01 |
Brian Norris | action, model: add ASSERT(), not NULL checks |
blob | commitdiff | raw | diff to current |
| 2013-03-01 |
Brian Norris | cyclegraph/model: unify, clean up graph printing |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | model/schedule: comput "reduadant" measurement, print... |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | action: print promise number, not just ? |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | promise: record multiple readers in the same Promise |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | un-'const' some Promises |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | nodestack: rewrite promise-resolution "counting" |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | model: hook up 'read-from-promise' backtracking in... |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | nodestack: bugfix - rewrite 'may-read-from' and 'future... |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | model: shorten some code |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | model: rename 'reads_from' to 'rf' |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | nodestack: rename 'read_from' to 'read_from_past' |
blob | commitdiff | raw | diff to current |
| 2013-02-28 |
Brian Norris | model: don't call process_read() for 2nd half of RMW... |
blob | commitdiff | raw | diff to current |
| 2013-02-27 |
Brian Norris | model: bugfix - correct the "equality" check for RR... |
blob | commitdiff | raw | diff to current |
| 2013-02-27 |
Brian Norris | model: bugfix - correct RR coherence for Promises |
blob | commitdiff | raw | diff to current |
| 2013-02-27 |
Brian Norris | cyclegraph: change Promise nodes map |
blob | commitdiff | raw | diff to current |
| 2013-02-26 |
Brian Norris | model: promises: eliminate threads when they "join" |
blob | commitdiff | raw | diff to current |
| 2013-02-26 |
Brian Norris | model: bugfix - only allow promise satisfaction for... |
blob | commitdiff | raw | diff to current |
| 2013-02-25 |
Brian Norris | threads: construct Thread only with a given "parent" |
blob | commitdiff | raw | diff to current |
| 2013-02-25 |
Brian Demsky | repush changes |
blob | commitdiff | raw | diff to current |
| 2013-02-25 |
Brian Demsky | fix conflicts |
blob | commitdiff | raw | diff to current |
| 2013-02-25 |
Brian Demsky | fix norris mentioned bug |
blob | commitdiff | raw | diff to current |
| 2013-02-25 |
Brian Norris | Revert "fix scheduling stuff to get nice round robin... |
blob | commitdiff | raw | diff to current |
| 2013-02-25 |
Brian Demsky | fix scheduling stuff to get nice round robin scheduler... |
blob | commitdiff | raw | diff to current |
| 2013-02-23 |
Brian Norris | model: bugfix - inherit future values from previous... |
blob | commitdiff | raw | diff to current |
| 2013-02-23 |
Brian Norris | model: correct the "no valid reads" assertion |
blob | commitdiff | raw | diff to current |
| 2013-02-22 |
Brian Norris | model: wake up pending (sleep-set) actions for fences |
blob | commitdiff | raw | diff to current |
| 2013-02-21 |
Brian Norris | model: only backtrack fences when acquire is before... |
blob | commitdiff | raw | diff to current |
| 2013-02-21 |
Brian Norris | model: document get_last{,_fence}_conflict() |
blob | commitdiff | raw | diff to current |
| 2013-02-21 |
Brian Norris | model: schedule appropriate fence backtracking points |
blob | commitdiff | raw | diff to current |
| 2013-02-21 |
Brian Norris | model: convert while-loops to for-loops |
blob | commitdiff | raw | diff to current |
| next |
projects / model-checker.git / history