projects / model-checker.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker.git
2013-04-18 Brian DemskyAdd yield block support. The idea is to not generate... commit | commitdiff | tree | snapshot
2013-04-18 Brian Norrisdatarace: bugfix - use proper multiple-inclusion guard commit | commitdiff | tree | snapshot
2013-04-18 Brian Norrisstacktrace: remove usage of FILE in stacktrace commit | commitdiff | tree | snapshot
2013-04-17 Brian DemskyBug: ModelExecution had bogus model_params reference. commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisdatarace: bugfix - don't implicitly allocate global... commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisdatarace: don't export unrealized race vector commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisexecution: bugfix - no action "conflicts" with itself commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisexecution: bugfix - backtrack seq-cst fences properly commit | commitdiff | tree | snapshot
2013-04-17 Brian Norrisexecution: correct comment on check_current_action() commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisnodestack: localize the model-checker parameters commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: privatize ModelChecker::get_num_threads() commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisnodestack: register ModelExecution class w/in NodeStack commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrispromise: add max_available_thread_idx() interface commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisclockvector: don't use global get_num_threads() commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: remove leftover junk commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: embed obj_map directly in class commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrishashtable: update documentation commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrishashtable: enforce, document non-zero keys commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: convert HashTable to SnapVector commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisaction: bugfix - use non-zero fence "location" commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: embed action_list as full member commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: add const commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: embed more data structures directly in class commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: embed snapshotted data structures in class commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: make structure snapshotting commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker... commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisclean out includes, etc. commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: embed the trace_analyses in the class commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisaction: add <stdlib> commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisscanalysis: allocate structures as true members of... commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisscanalysis: fixup spacing commit | commitdiff | tree | snapshot
2013-04-16 Brian NorrisMerge cleanup branch commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisschedule: drop the ModelChecker::check_promises_thread_... commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrispromise: get reference to ModelExecution commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisscanalysis: use ModelExecution interfaces commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisscanalysis: install ModelExecution object in the analysis commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisexecution: add 'const' commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: cleanup a few more interfaces commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: add get_execution() interface commit | commitdiff | tree | snapshot
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecut... commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisdatarace: simplify raceCheck{Read,Write}() function... commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisdatarace: make globals static commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: drop public get_current_node() interface commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: remove public check_promises() interface commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismodel: add synchronize() function commit | commitdiff | tree | snapshot
2013-04-16 Brian Norriscommon: drop model_print_summary() commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrispromise: add Promise::get_index function commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisaction: we don't need special cases for lock/join anymore commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrismove license to LICENSE file commit | commitdiff | tree | snapshot
2013-04-16 Brian NorrisMerge cleanup code from Brian N. commit | commitdiff | tree | snapshot
2013-04-16 Brian Norristraceanalysis: rename to remove '_' commit | commitdiff | tree | snapshot
2013-04-16 Brian Norrisbugmessage: move struct to header file commit | commitdiff | tree | snapshot
2013-04-15 Brian Demskyfix weird duplicated code commit | commitdiff | tree | snapshot
2013-04-15 Brian Norrisparams: move model_params to header file commit | commitdiff | tree | snapshot
2013-04-15 Brian Norrismodel: add too_many_steps() commit | commitdiff | tree | snapshot
2013-04-15 Brian Norrismodel: fixup whitespace commit | commitdiff | tree | snapshot
2013-04-15 Brian Norrisscanalysis: fix warning commit | commitdiff | tree | snapshot
2013-04-15 Brian Norrisscanalysis: remove whitespace commit | commitdiff | tree | snapshot
2013-04-14 Brian Demskyclean up printing a little for cycle cases... commit | commitdiff | tree | snapshot
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
next
C++11 memory model checker