cdsspec-compiler.git
2013-04-22 Brian DemskyRework how we present non-SC traces...previous presenta...
2013-04-19 Brian Norrissnapshot-interface: bugfix - terminate string from...
2013-04-19 Brian Norrissnapshot: debugging - show the snapshot regions that...
2013-04-19 Brian Norrissnapshot-interface: don't snapshot libmodel.so
2013-04-19 Brian Norrissnapshot: use perror()
2013-04-19 Brian Norrismain: support long options, improve help message
2013-04-19 Brian Norrisexecution: improve documentation
2013-04-19 Brian Norrisexecution: improve yield-blocking structure
2013-04-19 Brian NorrisTMP: improve debugging, remove print_trace()
2013-04-19 Brian DemskyRemove special cases for printing SC executions.
2013-04-18 Brian DemskyAdd yield block support. The idea is to not generate...
2013-04-18 Brian Norrisdatarace: bugfix - use proper multiple-inclusion guard
2013-04-18 Brian Norrisstacktrace: remove usage of FILE in stacktrace
2013-04-17 Brian DemskyBug: ModelExecution had bogus model_params reference.
2013-04-17 Brian Norrisdatarace: bugfix - don't implicitly allocate global...
2013-04-17 Brian Norrisdatarace: don't export unrealized race vector
2013-04-17 Brian Norrisexecution: bugfix - no action "conflicts" with itself
2013-04-17 Brian Norrisexecution: bugfix - backtrack seq-cst fences properly
2013-04-17 Brian Norrisexecution: correct comment on check_current_action()
2013-04-16 Brian Norrisnodestack: localize the model-checker parameters
2013-04-16 Brian Norrismodel: privatize ModelChecker::get_num_threads()
2013-04-16 Brian Norrisnodestack: register ModelExecution class w/in NodeStack
2013-04-16 Brian Norrispromise: add max_available_thread_idx() interface
2013-04-16 Brian Norrisclockvector: don't use global get_num_threads()
2013-04-16 Brian Norrismodel: remove leftover junk
2013-04-16 Brian Norrisexecution: embed obj_map directly in class
2013-04-16 Brian Norrishashtable: update documentation
2013-04-16 Brian Norrishashtable: enforce, document non-zero keys
2013-04-16 Brian Norrisexecution: convert HashTable to SnapVector
2013-04-16 Brian Norrisaction: bugfix - use non-zero fence "location"
2013-04-16 Brian Norrisexecution: embed action_list as full member
2013-04-16 Brian Norrisexecution: add const
2013-04-16 Brian Norrisexecution: embed more data structures directly in class
2013-04-16 Brian Norrisexecution: embed snapshotted data structures in class
2013-04-16 Brian Norrisexecution: make structure snapshotting
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker...
2013-04-16 Brian Norrisclean out includes, etc.
2013-04-16 Brian Norrismodel: embed the trace_analyses in the class
2013-04-16 Brian Norrisaction: add <stdlib>
2013-04-16 Brian Norrisscanalysis: allocate structures as true members of...
2013-04-16 Brian Norrisscanalysis: fixup spacing
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian Norrisschedule: drop the ModelChecker::check_promises_thread_...
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface
2013-04-16 Brian Norrispromise: get reference to ModelExecution
2013-04-16 Brian Norrisscanalysis: use ModelExecution interfaces
2013-04-16 Brian Norrisscanalysis: install ModelExecution object in the analysis
2013-04-16 Brian Norrisexecution: add 'const'
2013-04-16 Brian Norrismodel: cleanup a few more interfaces
2013-04-16 Brian Norrismodel: add get_execution() interface
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecut...
2013-04-16 Brian Norrisdatarace: simplify raceCheck{Read,Write}() function...
2013-04-16 Brian Norrisdatarace: make globals static
2013-04-16 Brian Norrismodel: drop public get_current_node() interface
2013-04-16 Brian Norrismodel: remove public check_promises() interface
2013-04-16 Brian Norrismodel: add synchronize() function
2013-04-16 Brian Norriscommon: drop model_print_summary()
2013-04-16 Brian Norrispromise: add Promise::get_index function
2013-04-16 Brian Norrisaction: we don't need special cases for lock/join anymore
2013-04-16 Brian Norrismove license to LICENSE file
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
2013-04-16 Brian Norristraceanalysis: rename to remove '_'
2013-04-16 Brian Norrisbugmessage: move struct to header file
2013-04-15 Brian Demskyfix weird duplicated code
2013-04-15 Brian Norrisparams: move model_params to header file
2013-04-15 Brian Norrismodel: add too_many_steps()
2013-04-15 Brian Norrismodel: fixup whitespace
2013-04-15 Brian Norrisscanalysis: fix warning
2013-04-15 Brian Norrisscanalysis: remove whitespace
2013-04-14 Brian Demskyclean up printing a little for cycle cases...
2013-04-13 Brian Demskymore implementation of scanalysis...
2013-04-13 Brian Demskymore implementation of scanalysis...
2013-04-13 Brian Demskytowards supporting scanalysis...
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
2013-04-11 Brian Norrisaction: refactor, move VALUE_TRY{SUCCESS,FAILED} out...
2013-04-11 Brian Norriscyclegraph: kill unused promise_list_t type
2013-04-06 Brian Norrissnapshot: cleanup/document much of fork-based snapshotting
2013-04-05 Brian Norrissnapshot: use sizeof(*fork_snap)
2013-04-05 Brian Norrismodel: remove DEBUG action print
2013-04-05 Brian Norrissnapshot: clean up fork-based error handling
2013-04-05 Brian Norrisaction: correct RF capitalization
2013-04-05 Brian Norrismodel: deadlock: print the culprit thread, when known
2013-04-05 Brian Norrisdatarace: use variable-argument bug-printing
2013-04-05 Brian Norrismodel: add variable arguments for bug messages
2013-04-05 Brian Norrismodel: proactively build/prune is_enabled() set
2013-04-05 Brian Norrismodel: pull thread control logic out of take_step(...
2013-04-05 Brian Norrissnapshot: kill useless macro
2013-04-04 Brian Norriscontext: move Mac swapcontext() to separate compilation...
2013-04-04 Brian Norriscommon: improve redirect_output() error handling
2013-04-04 Brian Norriscommon: make model_print() use OS file descriptor,...
2013-04-04 Brian Norrisaction: include reads-from-promise in HASH calculations
2013-04-04 Brian Norristest: insanesync: pointer types
2013-04-04 Brian Norrismodel: note the DPOR addendum
2013-04-04 Brian Norrismodel: use get_thread() helper
2013-04-04 Brian Norrisswapcontext() fix for Mac OSX
2013-04-03 Brian Norristhreads: remove wait_list
2013-04-03 Brian Norrismodel: use get_mutex() and get_thread_operand() helpers
2013-04-03 Brian Norrismodel: kill lock_waiters_map
next