model-checker.git
2013-08-14 Brian NorrisREADME.md: add more fairness notes
2013-08-14 Brian NorrisMakefile: add README.pdf target
2013-08-14 Brian NorrisREADME.md: remove <pre></pre> tags
2013-08-14 Brian Norristhreads: kill clang warnings about struct/class Thread
2013-08-14 Brian Norrismalloc: modify compiler warning workarounds
2013-08-14 Brian Norrisimpatomic: silence more clang warnings
2013-08-14 Brian Norristest: silence some unused-value warnings
2013-08-14 Brian NorrisREADME.md: have to include our headers
2013-08-14 Brian NorrisREADME.md: reverse store/load
2013-08-14 Brian NorrisREADME.md: add supported API section
2013-08-14 Brian NorrisREADME.md: add End of Execution Summary section
2013-08-14 Brian NorrisREADME.md: reporting multiple data races for the same...
2013-08-14 Brian Norrismodel: only print 'Total nodes' for verbose printing
2013-08-14 Brian NorrisREADME.md: reformat
2013-08-14 Brian NorrisREADME.md: add linux locks example
2013-08-14 Brian NorrisREADME.md: update title
2013-08-14 Brian NorrisREADME.md: point non-git users to gitweb
2013-08-13 Brian NorrisREADME.md: push URLs down to See Also section
2013-08-13 Brian NorrisREADME.md: add extra blank lines
2013-08-13 Brian NorrisREADME.md: update much of the README
2013-08-13 Brian Norrismain: suggest thrd_yield() for -y fairness
2013-08-13 Brian Norrisrun.sh: set Mac OSX DYLD_LIBRARY_PATH
2013-08-13 Brian Norrisdelete README symlink
2013-08-13 Brian NorrisLICENSE: add newline at end of file
2013-07-17 Brian Norristest: insanesync: consolidate lines oopsla2013-final
2013-07-17 Brian Norristest: insanesync: remove unnecessary casting
2013-07-17 Brian Norristest: insanesync: convert to C++
2013-07-16 Brian Norristest: addr-satcycle: add new address-based sat. cycle...
2013-07-10 Brian Norrisrun.sh: don't silently ignore a non-executable file...
2013-07-10 Brian Norristest: mo-satcycle: add new MO satisfaction cycle example
2013-07-10 Brian Norristest: uninit: typo
2013-06-06 Brian Norrisexecution: remove redundant condition, reword doc for...
2013-06-06 Brian Norrisexecution: document additional mo_may_allow() optimization
2013-06-06 Brian Norrisexecution: document promises list; it is assumed to...
2013-06-05 Brian Norrismodel: remove redundant code (is_enabled)
2013-06-05 Brian Norrisdocs: improve Doxygen documentation
2013-06-05 Brian NorrisREADME: use markdown format for direct URL link
2013-06-04 Brian NorrisREADME: more formatting, correct statement about bench.sh
2013-06-04 Brian NorrisREADME: a few more formatting issues
2013-06-04 Brian NorrisMerge branch 'markdown'
2013-06-04 Brian NorrisREADME: add more `code` formatting
2013-06-03 Brian DemskyAdd example from java showing legit satisfaction cycle
2013-06-02 Brian Norris.gitignore: fixup VIM swapfile ignore
2013-06-02 Brian NorrisREADME: convert to Markdown format
2013-06-02 Brian NorrisMarkdown: add Markdown tool
2013-06-01 Brian NorrisREADME: add bit on MODEL_ASSERT() macro oopsla2013
2013-06-01 Brian NorrisREADME: extra "from"
2013-06-01 Brian NorrisREADME: updated help text
2013-06-01 Brian Norrismodel: cosmetic output improvements
2013-05-31 Brian Norrisparams: add multi-level verbosity
2013-05-31 Brian NorrisREADME: add LICENSE note
2013-05-31 Brian NorrisREADME: improve sections, provide better intro
2013-05-29 Brian NorrisMerge remote-tracking branch 'origin/master'
2013-05-29 Brian NorrisREADME: add a few sections
2013-05-29 Brian Norrisexecution: reformat execution traces
2013-05-29 Brian NorrisREADME: update help text
2013-05-29 Brian Norrismain: 'plug ins' -> 'plugins'
2013-05-29 Brian Norristests: Makefile: add dependency information
2013-05-29 Brian NorrisMakefile: remove more deferred variables
2013-05-29 Brian Norristests: Makefile: eliminate (some) recursive make
2013-05-08 Brian Norrisexecution: bugfix - resolved promises should propagate...
2013-05-08 Brian Norrisexecution: refactor common CV propagation into its...
2013-05-06 Brian Demskytypos
2013-05-06 Brian Demskyprint some stats in SC Analysis
2013-05-06 Brian Demskydocument and extend trace analysis interface
2013-05-06 Brian Demskycleanup plugin interface a little more.
2013-05-06 Brian Demskyadd support for analysis with options
2013-05-06 Brian Demskyadd traceanalysis support
2013-05-03 Brian NorrisMerge demsky's SC analysis fixup
2013-05-03 Brian Demskyscanalysis: don't rely on greedy search
2013-04-26 Brian Norrisscanalysis: fixup spacing
2013-04-26 Brian Norristest: sctest: fix warnings
2013-04-26 Brian DemskyFix bug that prevents graph generation from compiling.
2013-04-24 Brian Norrisaction: improve "unintialized load" bug print
2013-04-24 Brian Norrisaction: add get_{type,mo}_str() accessors
2013-04-23 Brian NorrisMerge remote-tracking branch 'private/master'
2013-04-23 Brian NorrisREADME: update text
2013-04-23 Brian Demskybug...will sometimes print SC traces in a bad order
2013-04-22 Brian Demskycleanup printing
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()
next