projects / model-checker.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker.git
2013-04-13 Brian Demskymore implementation of scanalysis... commit | commitdiff | tree | snapshot
2013-04-13 Brian Demskymore implementation of scanalysis... commit | commitdiff | tree | snapshot
2013-04-13 Brian Demskytowards supporting scanalysis... commit | commitdiff | tree | snapshot
2013-04-13 Brian Demskyadd some support for traceanalysis plugins commit | commitdiff | tree | snapshot
2013-04-13 Brian Demskyadd some support for traceanalysis plugins commit | commitdiff | tree | snapshot
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting commit | commitdiff | tree | snapshot
2013-04-11 Brian Norrisaction: refactor, move VALUE_TRY{SUCCESS,FAILED} out... commit | commitdiff | tree | snapshot
2013-04-11 Brian Norriscyclegraph: kill unused promise_list_t type commit | commitdiff | tree | snapshot
2013-04-06 Brian Norrissnapshot: cleanup/document much of fork-based snapshotting commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrissnapshot: use sizeof(*fork_snap) commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrismodel: remove DEBUG action print commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrissnapshot: clean up fork-based error handling commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrisaction: correct RF capitalization commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrismodel: deadlock: print the culprit thread, when known commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrisdatarace: use variable-argument bug-printing commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrismodel: add variable arguments for bug messages commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrismodel: proactively build/prune is_enabled() set commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrismodel: pull thread control logic out of take_step(... commit | commitdiff | tree | snapshot
2013-04-05 Brian Norrissnapshot: kill useless macro commit | commitdiff | tree | snapshot
2013-04-04 Brian Norriscontext: move Mac swapcontext() to separate compilation... commit | commitdiff | tree | snapshot
2013-04-04 Brian Norriscommon: improve redirect_output() error handling commit | commitdiff | tree | snapshot
2013-04-04 Brian Norriscommon: make model_print() use OS file descriptor,... commit | commitdiff | tree | snapshot
2013-04-04 Brian Norrisaction: include reads-from-promise in HASH calculations commit | commitdiff | tree | snapshot
2013-04-04 Brian Norristest: insanesync: pointer types commit | commitdiff | tree | snapshot
2013-04-04 Brian Norrismodel: note the DPOR addendum commit | commitdiff | tree | snapshot
2013-04-04 Brian Norrismodel: use get_thread() helper commit | commitdiff | tree | snapshot
2013-04-04 Brian Norrisswapcontext() fix for Mac OSX commit | commitdiff | tree | snapshot
2013-04-03 Brian Norristhreads: remove wait_list commit | commitdiff | tree | snapshot
2013-04-03 Brian Norrismodel: use get_mutex() and get_thread_operand() helpers commit | commitdiff | tree | snapshot
2013-04-03 Brian Norrismodel: kill lock_waiters_map commit | commitdiff | tree | snapshot
2013-04-03 Brian Norrismodel: merge duplicated code for WAIT and UNLOCK commit | commitdiff | tree | snapshot
2013-04-03 Brian Norristest: mutextest: add thread yield point commit | commitdiff | tree | snapshot
2013-04-03 Brian Norrismodel: get_mutex() for locating the lock map commit | commitdiff | tree | snapshot
2013-04-02 Brian Norrisaction: add ModelAction::is_thread_join() helper commit | commitdiff | tree | snapshot
2013-04-02 Brian Norrismymemory: fix compiling with !USE_MPROTECT_SNAPSHOT commit | commitdiff | tree | snapshot
2013-03-28 Brian Norrisnodestack: move "behaviors" increment all into Node... commit | commitdiff | tree | snapshot
2013-03-28 Brian Norrisnodestack: regroup some code commit | commitdiff | tree | snapshot
2013-03-27 Brian Norristhreads: move circular wait check into Threads::is_wait... commit | commitdiff | tree | snapshot
2013-03-22 Brian Demskycorrect comment typo commit | commitdiff | tree | snapshot
2013-03-22 Brian Demskycheck in insane test case... commit | commitdiff | tree | snapshot
2013-03-22 Brian Demskyfix mistake in promises may allow code... need to... commit | commitdiff | tree | snapshot
2013-03-22 Brian Norrismain: adjust defaults again commit | commitdiff | tree | snapshot
2013-03-22 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2013-03-22 Brian Norrismain: change default 'future delay' for promise expiration commit | commitdiff | tree | snapshot
2013-03-22 Brian Norrismodel: re-check pending future values whenever a promis... commit | commitdiff | tree | snapshot
2013-03-21 Brian Norrismodel: bugfix - send future values more eagerly commit | commitdiff | tree | snapshot
2013-03-21 Brian Norrismodel: refactor add_future_value, add documentation commit | commitdiff | tree | snapshot
2013-03-21 Brian Norrismodel: add 'const' commit | commitdiff | tree | snapshot
2013-03-21 Brian Norrismodel: rename PendingFutureValue 'act' to 'reader' commit | commitdiff | tree | snapshot
2013-03-21 Brian Norrismodel: rework the resolve-promise interface commit | commitdiff | tree | snapshot
2013-03-21 Brian Demskyadd test case... commit | commitdiff | tree | snapshot
2013-03-20 Brian Norriscyclegraph: propagate RMW atomicity edges down the... commit | commitdiff | tree | snapshot
2013-03-19 Brian Norrismodel: note how we support seq-cst fences commit | commitdiff | tree | snapshot
2013-03-19 Brian Demskyadd our names commit | commitdiff | tree | snapshot
2013-03-19 Brian Demskyadd copyright message commit | commitdiff | tree | snapshot
2013-03-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2013-03-18 Brian Demskyupdate git repository with license... GPL v2 commit | commitdiff | tree | snapshot
2013-03-15 Brian Norristest: rmwprog: add MODEL_ASSERT commit | commitdiff | tree | snapshot
2013-03-14 Brian Demskyfix memory leak commit | commitdiff | tree | snapshot
2013-03-12 Brian Norrismodel: bugfix - missing SC mo_graph edge commit | commitdiff | tree | snapshot
2013-03-12 Brian Norrismodel: refactor r_modification_order 'act != curr'... commit | commitdiff | tree | snapshot
2013-03-09 Brian Norrismymemory: enforce that user allocations come from user... commit | commitdiff | tree | snapshot
2013-03-09 Brian Norrismymemory, threads: add allocator specifically for Thread commit | commitdiff | tree | snapshot
2013-03-09 Brian Norrismodel: privatize some thread functions commit | commitdiff | tree | snapshot
2013-03-09 Brian Norrislitmus: wrc: add macro for memory ordering commit | commitdiff | tree | snapshot
2013-03-09 Brian Norrislitmus: seq-lock: add MODEL_ASSERT() for the important... commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrismodel-assert: include <stdbool.h> commit | commitdiff | tree | snapshot
2013-03-08 Brian Norrisstl - remove stale <vector> and <list> #include's commit | commitdiff | tree | snapshot
2013-03-07 Brian Norrisbugfix - add stl-model.h wrappers, to provide more... commit | commitdiff | tree | snapshot
2013-03-07 Brian NorrisRevert "switch to snapshot/modelalloc versions of stl... commit | commitdiff | tree | snapshot
2013-03-07 Brian Demskyswitch to snapshot/modelalloc versions of stl classes commit | commitdiff | tree | snapshot
2013-03-07 Brian Demskyadd new option for uninitialized writes... commit | commitdiff | tree | snapshot
2013-03-07 Brian Norrismodel, nodestack: bugfix - retain UNINIT actions across... commit | commitdiff | tree | snapshot
2013-03-06 Brian Norrislinuxrwlocksyield: refactor commit | commitdiff | tree | snapshot
2013-03-06 Brian Demskydocumentation update commit | commitdiff | tree | snapshot
2013-03-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2013-03-06 Brian Demskyadd destructor so the spsc-queue will compile on MAC commit | commitdiff | tree | snapshot
2013-03-06 Brian NorrisMerge remote 'yield' work commit | commitdiff | tree | snapshot
2013-03-06 Brian Norrismodel: don't print 'uninitialized' ModelActions in... commit | commitdiff | tree | snapshot
2013-03-06 Brian Demskyadd yield support commit | commitdiff | tree | snapshot
2013-03-06 Brian Norrisimpatomic: fences linker error commit | commitdiff | tree | snapshot
2013-03-05 Brian NorrisMakefile: use $+ variable commit | commitdiff | tree | snapshot
2013-03-05 Brian Norriscyclegraph: memory "leak", fixup commit | commitdiff | tree | snapshot
2013-03-05 Brian Demskylittle optimizations motivated by profiling... commit | commitdiff | tree | snapshot
2013-03-05 Brian Norrismodel: refactor the get_thread() selection commit | commitdiff | tree | snapshot
2013-03-04 Brian Norrisrefactor DBG_ENABLED() vs. verbose commit | commitdiff | tree | snapshot
2013-03-04 Brian Norrismodel: add promise printing to execution summaries commit | commitdiff | tree | snapshot
2013-03-04 Brian Norrisnodestack: print thread status info in Node::print commit | commitdiff | tree | snapshot
2013-03-04 Brian Norriscyclegraph: missing form of checkReachable() commit | commitdiff | tree | snapshot
2013-03-03 Brian Norrismodel: rename check_deadlock() to is_circular_wait() commit | commitdiff | tree | snapshot
2013-03-03 Brian Norrismodel: add improved (?) deadlock detection commit | commitdiff | tree | snapshot
2013-03-03 Brian Norristhreads: add waiting_on() commit | commitdiff | tree | snapshot
2013-03-03 Brian Norrismutex: change 'islocked' to hold Thread pointer commit | commitdiff | tree | snapshot
2013-03-03 Brian Norrisaction: add get_mutex() commit | commitdiff | tree | snapshot
2013-03-03 Brian Norrismutex: fix indentation commit | commitdiff | tree | snapshot
2013-03-03 Brian Norrisaction: add get_return_value() commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrismodel: use get_write_value() commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrismodel: bugfix - adding a Promise reader can cause failure commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrismodel: hack dumpGraph() bug by "leaking" promises commit | commitdiff | tree | snapshot
2013-03-02 Brian Norriscyclegraph: simplify resolvePromise / mergeNodes commit | commitdiff | tree | snapshot
next
C++11 memory model checker