| 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 |
| 2013-04-04 |
Brian Norris | model: use get_thread() helper |
commit | commitdiff | tree | snapshot |
| 2013-04-04 |
Brian Norris | swapcontext() fix for Mac OSX |
commit | commitdiff | tree | snapshot |
| 2013-04-03 |
Brian Norris | threads: remove wait_list |
commit | commitdiff | tree | snapshot |
| 2013-04-03 |
Brian Norris | model: use get_mutex() and get_thread_operand() helpers |
commit | commitdiff | tree | snapshot |
| 2013-04-03 |
Brian Norris | model: kill lock_waiters_map |
commit | commitdiff | tree | snapshot |
| 2013-04-03 |
Brian Norris | model: merge duplicated code for WAIT and UNLOCK |
commit | commitdiff | tree | snapshot |
| 2013-04-03 |
Brian Norris | test: mutextest: add thread yield point |
commit | commitdiff | tree | snapshot |
| 2013-04-03 |
Brian Norris | model: get_mutex() for locating the lock map |
commit | commitdiff | tree | snapshot |
| 2013-04-02 |
Brian Norris | action: add ModelAction::is_thread_join() helper |
commit | commitdiff | tree | snapshot |
| 2013-04-02 |
Brian Norris | mymemory: fix compiling with !USE_MPROTECT_SNAPSHOT |
commit | commitdiff | tree | snapshot |
| 2013-03-28 |
Brian Norris | nodestack: move "behaviors" increment all into Node... |
commit | commitdiff | tree | snapshot |
| 2013-03-28 |
Brian Norris | nodestack: regroup some code |
commit | commitdiff | tree | snapshot |
| 2013-03-27 |
Brian Norris | threads: move circular wait check into Threads::is_wait... |
commit | commitdiff | tree | snapshot |
| 2013-03-22 |
Brian Demsky | correct comment typo |
commit | commitdiff | tree | snapshot |
| 2013-03-22 |
Brian Demsky | check in insane test case... |
commit | commitdiff | tree | snapshot |
| 2013-03-22 |
Brian Demsky | fix mistake in promises may allow code... need to... |
commit | commitdiff | tree | snapshot |
| 2013-03-22 |
Brian Norris | main: adjust defaults again |
commit | commitdiff | tree | snapshot |
| 2013-03-22 |
Brian Norris | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2013-03-22 |
Brian Norris | main: change default 'future delay' for promise expiration |
commit | commitdiff | tree | snapshot |
| 2013-03-22 |
Brian Norris | model: re-check pending future values whenever a promis... |
commit | commitdiff | tree | snapshot |
| 2013-03-21 |
Brian Norris | model: bugfix - send future values more eagerly |
commit | commitdiff | tree | snapshot |
| 2013-03-21 |
Brian Norris | model: refactor add_future_value, add documentation |
commit | commitdiff | tree | snapshot |
| 2013-03-21 |
Brian Norris | model: add 'const' |
commit | commitdiff | tree | snapshot |
| 2013-03-21 |
Brian Norris | model: rename PendingFutureValue 'act' to 'reader' |
commit | commitdiff | tree | snapshot |
| 2013-03-21 |
Brian Norris | model: rework the resolve-promise interface |
commit | commitdiff | tree | snapshot |
| 2013-03-21 |
Brian Demsky | add test case... |
commit | commitdiff | tree | snapshot |
| 2013-03-20 |
Brian Norris | cyclegraph: propagate RMW atomicity edges down the... |
commit | commitdiff | tree | snapshot |
| 2013-03-19 |
Brian Norris | model: note how we support seq-cst fences |
commit | commitdiff | tree | snapshot |
| 2013-03-19 |
Brian Demsky | add our names |
commit | commitdiff | tree | snapshot |
| 2013-03-19 |
Brian Demsky | add copyright message |
commit | commitdiff | tree | snapshot |
| 2013-03-18 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2013-03-18 |
Brian Demsky | update git repository with license... GPL v2 |
commit | commitdiff | tree | snapshot |
| 2013-03-15 |
Brian Norris | test: rmwprog: add MODEL_ASSERT |
commit | commitdiff | tree | snapshot |
| 2013-03-14 |
Brian Demsky | fix memory leak |
commit | commitdiff | tree | snapshot |
| 2013-03-12 |
Brian Norris | model: bugfix - missing SC mo_graph edge |
commit | commitdiff | tree | snapshot |
| 2013-03-12 |
Brian Norris | model: refactor r_modification_order 'act != curr'... |
commit | commitdiff | tree | snapshot |
| 2013-03-09 |
Brian Norris | mymemory: enforce that user allocations come from user... |
commit | commitdiff | tree | snapshot |
| 2013-03-09 |
Brian Norris | mymemory, threads: add allocator specifically for Thread |
commit | commitdiff | tree | snapshot |
| 2013-03-09 |
Brian Norris | model: privatize some thread functions |
commit | commitdiff | tree | snapshot |
| 2013-03-09 |
Brian Norris | litmus: wrc: add macro for memory ordering |
commit | commitdiff | tree | snapshot |
| 2013-03-09 |
Brian Norris | litmus: seq-lock: add MODEL_ASSERT() for the important... |
commit | commitdiff | tree | snapshot |
| 2013-03-08 |
Brian Norris | model-assert: include <stdbool.h> |
commit | commitdiff | tree | snapshot |
| 2013-03-08 |
Brian Norris | stl - remove stale <vector> and <list> #include's |
commit | commitdiff | tree | snapshot |
| 2013-03-07 |
Brian Norris | bugfix - add stl-model.h wrappers, to provide more... |
commit | commitdiff | tree | snapshot |
| 2013-03-07 |
Brian Norris | Revert "switch to snapshot/modelalloc versions of stl... |
commit | commitdiff | tree | snapshot |
| 2013-03-07 |
Brian Demsky | switch to snapshot/modelalloc versions of stl classes |
commit | commitdiff | tree | snapshot |
| 2013-03-07 |
Brian Demsky | add new option for uninitialized writes... |
commit | commitdiff | tree | snapshot |
| 2013-03-07 |
Brian Norris | model, nodestack: bugfix - retain UNINIT actions across... |
commit | commitdiff | tree | snapshot |
| 2013-03-06 |
Brian Norris | linuxrwlocksyield: refactor |
commit | commitdiff | tree | snapshot |
| 2013-03-06 |
Brian Demsky | documentation update |
commit | commitdiff | tree | snapshot |
| 2013-03-06 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2013-03-06 |
Brian Demsky | add destructor so the spsc-queue will compile on MAC |
commit | commitdiff | tree | snapshot |
| 2013-03-06 |
Brian Norris | Merge remote 'yield' work |
commit | commitdiff | tree | snapshot |
| 2013-03-06 |
Brian Norris | model: don't print 'uninitialized' ModelActions in... |
commit | commitdiff | tree | snapshot |
| 2013-03-06 |
Brian Demsky | add yield support |
commit | commitdiff | tree | snapshot |
| 2013-03-06 |
Brian Norris | impatomic: fences linker error |
commit | commitdiff | tree | snapshot |
| 2013-03-05 |
Brian Norris | Makefile: use $+ variable |
commit | commitdiff | tree | snapshot |
| 2013-03-05 |
Brian Norris | cyclegraph: memory "leak", fixup |
commit | commitdiff | tree | snapshot |
| 2013-03-05 |
Brian Demsky | little optimizations motivated by profiling... |
commit | commitdiff | tree | snapshot |
| 2013-03-05 |
Brian Norris | model: refactor the get_thread() selection |
commit | commitdiff | tree | snapshot |
| 2013-03-04 |
Brian Norris | refactor DBG_ENABLED() vs. verbose |
commit | commitdiff | tree | snapshot |
| 2013-03-04 |
Brian Norris | model: add promise printing to execution summaries |
commit | commitdiff | tree | snapshot |
| 2013-03-04 |
Brian Norris | nodestack: print thread status info in Node::print |
commit | commitdiff | tree | snapshot |
| 2013-03-04 |
Brian Norris | cyclegraph: missing form of checkReachable() |
commit | commitdiff | tree | snapshot |
| 2013-03-03 |
Brian Norris | model: rename check_deadlock() to is_circular_wait() |
commit | commitdiff | tree | snapshot |
| 2013-03-03 |
Brian Norris | model: add improved (?) deadlock detection |
commit | commitdiff | tree | snapshot |
| 2013-03-03 |
Brian Norris | threads: add waiting_on() |
commit | commitdiff | tree | snapshot |
| 2013-03-03 |
Brian Norris | mutex: change 'islocked' to hold Thread pointer |
commit | commitdiff | tree | snapshot |
| 2013-03-03 |
Brian Norris | action: add get_mutex() |
commit | commitdiff | tree | snapshot |
| 2013-03-03 |
Brian Norris | mutex: fix indentation |
commit | commitdiff | tree | snapshot |
| 2013-03-03 |
Brian Norris | action: add get_return_value() |
commit | commitdiff | tree | snapshot |
| 2013-03-02 |
Brian Norris | model: use get_write_value() |
commit | commitdiff | tree | snapshot |
| 2013-03-02 |
Brian Norris | model: bugfix - adding a Promise reader can cause failure |
commit | commitdiff | tree | snapshot |
| 2013-03-02 |
Brian Norris | model: hack dumpGraph() bug by "leaking" promises |
commit | commitdiff | tree | snapshot |
| 2013-03-02 |
Brian Norris | cyclegraph: simplify resolvePromise / mergeNodes |
commit | commitdiff | tree | snapshot |
| 2013-03-02 |
Brian Norris | model: refactor process_read logic |
commit | commitdiff | tree | snapshot |
| 2013-03-02 |
Brian Norris | check_recency: update/add documentation comments |
commit | commitdiff | tree | snapshot |
| 2013-03-02 |
Brian Norris | check_recency: improve templates, use when reading... |
commit | commitdiff | tree | snapshot |
| next |
projects / model-checker.git / shortlog