projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12c1e41) | patch
Minor mixed-bag commit. Expected performance impact negligible.
authorMorgan Deters <mdeters@gmail.com>
Wed, 20 Apr 2011 07:57:28 +0000 (07:57 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 20 Apr 2011 07:57:28 +0000 (07:57 +0000)
commitce04216289985021ce53588e3040e2ac9d6a2a0d
treea2106cad04287c5b739df99e209e3a600ebf50c5tree
parent12c1e41862e4b12c3953272416a1edc103d299eecommit | diff
Minor mixed-bag commit.  Expected performance impact negligible.

* Fixed hole in arrays typechecking.
* Fixed "make dist".
* Better ouroborous test, and some printer fixes.
* Continued cleanup in CVC parser, removed some warnings.
* Better output.
13 files changed:
src/expr/expr_template.cpp diff | blob | history
src/expr/expr_template.h diff | blob | history
src/expr/node.cpp diff | blob | history
src/expr/node.h diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/parser/parser_exception.h diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/arrays/theory_arrays_type_rules.h diff | blob | history
src/util/exception.h diff | blob | history
src/util/language.h diff | blob | history
test/regress/regress0/bv/Makefile.am diff | blob | history
test/system/ouroborous.cpp diff | blob | history