projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9c4111) | patch
Some final minor changes before cutting 1.1.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 3 Apr 2013 17:08:00 +0000 (13:08 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 3 Apr 2013 17:08:00 +0000 (13:08 -0400)
commit89ce2eb5c066d4fb6d6e9a23cd9c80ca39eb2493
tree5ad57159d571756118d16867e62615a2b21c384dtree
parentc9c41118eb3af8c882019a6e978e838ac793002dcommit | diff
Some final minor changes before cutting 1.1.

* update documentation
* update the cut-release script
* spelling/wording updates
* add a (previously-failing) fuzzer regression
AUTHORS diff | blob | history
INSTALL diff | blob | history
NEWS diff | blob | history
README diff | blob | history
RELEASE-NOTES diff | blob | history
contrib/cut-release diff | blob | history
src/theory/theory_engine.h diff | blob | history
test/regress/regress0/auflia/Makefile.am diff | blob | history
test/regress/regress0/auflia/fuzz-error1099.smt [new file with mode: 0644] blob
test/unit/no_cxxtest diff | blob | history