| 2013-04-24 |
Brian Norris | action: add get_{type,mo}_str() accessors |
commit | commitdiff | tree | snapshot |
| 2013-04-23 |
Brian Norris | Merge remote-tracking branch 'private/master' |
commit | commitdiff | tree | snapshot |
| 2013-04-23 |
Brian Norris | README: update text |
commit | commitdiff | tree | snapshot |
| 2013-04-23 |
Brian Demsky | bug...will sometimes print SC traces in a bad order |
commit | commitdiff | tree | snapshot |
| 2013-04-22 |
Brian Demsky | cleanup printing |
commit | commitdiff | tree | snapshot |
| 2013-04-22 |
Brian Demsky | Rework how we present non-SC traces...previous presenta... |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Norris | snapshot-interface: bugfix - terminate string from... |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Norris | snapshot: debugging - show the snapshot regions that... |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Norris | snapshot-interface: don't snapshot libmodel.so |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Norris | snapshot: use perror() |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Norris | main: support long options, improve help message |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Norris | execution: improve documentation |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Norris | execution: improve yield-blocking structure |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Norris | TMP: improve debugging, remove print_trace() |
commit | commitdiff | tree | snapshot |
| 2013-04-19 |
Brian Demsky | Remove special cases for printing SC executions. |
commit | commitdiff | tree | snapshot |
| 2013-04-18 |
Brian Demsky | Add yield block support. The idea is to not generate... |
commit | commitdiff | tree | snapshot |
| 2013-04-18 |
Brian Norris | datarace: bugfix - use proper multiple-inclusion guard |
commit | commitdiff | tree | snapshot |
| 2013-04-18 |
Brian Norris | stacktrace: remove usage of FILE in stacktrace |
commit | commitdiff | tree | snapshot |
| 2013-04-17 |
Brian Demsky | Bug: ModelExecution had bogus model_params reference. |
commit | commitdiff | tree | snapshot |
| 2013-04-17 |
Brian Norris | datarace: bugfix - don't implicitly allocate global... |
commit | commitdiff | tree | snapshot |
| 2013-04-17 |
Brian Norris | datarace: don't export unrealized race vector |
commit | commitdiff | tree | snapshot |
| 2013-04-17 |
Brian Norris | execution: bugfix - no action "conflicts" with itself |
commit | commitdiff | tree | snapshot |
| 2013-04-17 |
Brian Norris | execution: bugfix - backtrack seq-cst fences properly |
commit | commitdiff | tree | snapshot |
| 2013-04-17 |
Brian Norris | execution: correct comment on check_current_action() |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | nodestack: localize the model-checker parameters |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model: privatize ModelChecker::get_num_threads() |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | nodestack: register ModelExecution class w/in NodeStack |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | promise: add max_available_thread_idx() interface |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | clockvector: don't use global get_num_threads() |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model: remove leftover junk |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: embed obj_map directly in class |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | hashtable: update documentation |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | hashtable: enforce, document non-zero keys |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: convert HashTable to SnapVector |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | action: bugfix - use non-zero fence "location" |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: embed action_list as full member |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: add const |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: embed more data structures directly in class |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: embed snapshotted data structures in class |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: make structure snapshotting |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: move execution number back to ModelChecker... |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | clean out includes, etc. |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model: embed the trace_analyses in the class |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | action: add <stdlib> |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | scanalysis: allocate structures as true members of... |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | scanalysis: fixup spacing |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | Merge cleanup branch |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | schedule: drop the ModelChecker::check_promises_thread_... |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model / threads: remove global get_next_id() interface |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | promise: get reference to ModelExecution |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | scanalysis: use ModelExecution interfaces |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | scanalysis: install ModelExecution object in the analysis |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | execution: add 'const' |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model: cleanup a few more interfaces |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model: add get_execution() interface |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | BROKEN: restructure much of ModelChecker as ModelExecut... |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | datarace: simplify raceCheck{Read,Write}() function... |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | datarace: make globals static |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model: drop public get_current_node() interface |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model: remove public check_promises() interface |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | model: add synchronize() function |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | common: drop model_print_summary() |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | promise: add Promise::get_index function |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | action: we don't need special cases for lock/join anymore |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | move license to LICENSE file |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | Merge cleanup code from Brian N. |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | traceanalysis: rename to remove '_' |
commit | commitdiff | tree | snapshot |
| 2013-04-16 |
Brian Norris | bugmessage: move struct to header file |
commit | commitdiff | tree | snapshot |
| 2013-04-15 |
Brian Demsky | fix weird duplicated code |
commit | commitdiff | tree | snapshot |
| 2013-04-15 |
Brian Norris | params: move model_params to header file |
commit | commitdiff | tree | snapshot |
| 2013-04-15 |
Brian Norris | model: add too_many_steps() |
commit | commitdiff | tree | snapshot |
| 2013-04-15 |
Brian Norris | model: fixup whitespace |
commit | commitdiff | tree | snapshot |
| 2013-04-15 |
Brian Norris | scanalysis: fix warning |
commit | commitdiff | tree | snapshot |
| 2013-04-15 |
Brian Norris | scanalysis: remove whitespace |
commit | commitdiff | tree | snapshot |
| 2013-04-14 |
Brian Demsky | clean up printing a little for cycle cases... |
commit | commitdiff | tree | snapshot |
| 2013-04-13 |
Brian Demsky | more implementation of scanalysis... |
commit | commitdiff | tree | snapshot |
| 2013-04-13 |
Brian Demsky | more implementation of scanalysis... |
commit | commitdiff | tree | snapshot |
| 2013-04-13 |
Brian Demsky | towards supporting scanalysis... |
commit | commitdiff | tree | snapshot |
| 2013-04-13 |
Brian Demsky | add some support for traceanalysis plugins |
commit | commitdiff | tree | snapshot |
| 2013-04-13 |
Brian Demsky | add some support for traceanalysis plugins |
commit | commitdiff | tree | snapshot |
| 2013-04-11 |
Brian Norris | improve documentation + Doxygen formatting |
commit | commitdiff | tree | snapshot |
| 2013-04-11 |
Brian Norris | action: refactor, move VALUE_TRY{SUCCESS,FAILED} out... |
commit | commitdiff | tree | snapshot |
| 2013-04-11 |
Brian Norris | cyclegraph: kill unused promise_list_t type |
commit | commitdiff | tree | snapshot |
| 2013-04-06 |
Brian Norris | snapshot: cleanup/document much of fork-based snapshotting |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | snapshot: use sizeof(*fork_snap) |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | model: remove DEBUG action print |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | snapshot: clean up fork-based error handling |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | action: correct RF capitalization |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | model: deadlock: print the culprit thread, when known |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | datarace: use variable-argument bug-printing |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | model: add variable arguments for bug messages |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | model: proactively build/prune is_enabled() set |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | model: pull thread control logic out of take_step(... |
commit | commitdiff | tree | snapshot |
| 2013-04-05 |
Brian Norris | snapshot: kill useless macro |
commit | commitdiff | tree | snapshot |
| 2013-04-04 |
Brian Norris | context: move Mac swapcontext() to separate compilation... |
commit | commitdiff | tree | snapshot |
| 2013-04-04 |
Brian Norris | common: improve redirect_output() error handling |
commit | commitdiff | tree | snapshot |
| 2013-04-04 |
Brian Norris | common: make model_print() use OS file descriptor,... |
commit | commitdiff | tree | snapshot |
| 2013-04-04 |
Brian Norris | action: include reads-from-promise in HASH calculations |
commit | commitdiff | tree | snapshot |
| 2013-04-04 |
Brian Norris | test: insanesync: pointer types |
commit | commitdiff | tree | snapshot |
| 2013-04-04 |
Brian Norris | model: note the DPOR addendum |
commit | commitdiff | tree | snapshot |
| next |
projects / model-checker.git / shortlog