projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3c4a6f) | patch
* Type ascription bug fixed (resolves bug 432), but there are others I discovered...
authorMorgan Deters <mdeters@gmail.com>
Wed, 7 Nov 2012 20:34:09 +0000 (20:34 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 7 Nov 2012 20:34:09 +0000 (20:34 +0000)
commit4d04a1014f058ef2dca9859389b55d87b474d270
tree11d16a3fa721b1e4ac076a621bea197344a62eb5tree
parentc3c4a6fc6062e17bf92a5657c168034a33cf94b8commit | diff
* Type ascription bug fixed (resolves bug 432), but there are others I discovered (still outstanding).  :-(
* Fix a documentation-building problem when building from tarballs (fixes distcheck build failure last night)
* Provide expected output for arith regression 'mod.01.smt2'
* Also, fix a compiler warning in inst_gen.cpp

(this commit was certified error- and warning-free by the test-and-commit script.)
Makefile.am diff | blob | history
src/expr/type.cpp diff | blob | history
src/theory/quantifiers/inst_gen.cpp diff | blob | history
src/util/datatype.cpp diff | blob | history
test/regress/regress0/arith/mod.01.smt2 diff | blob | history