diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2012-05-17 18:42:13 +0000 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2012-05-17 18:42:13 +0000 |
| commit | 1703b160511396cd23be5203d9af86641b45766e (patch) | |
| tree | e1f085382022f853c068cef7990cd68fa3126f1b /src/cvc4.i | |
| parent | a6f69a821e2d26f8901662193da5ee8dc74b158a (diff) | |
Fixed bug 338:
- fixed buggy rewrite rules assuming certain nodes only had 2 children
- added support for bv-rewrite dump
- fixed smt2_printer for bv constants
Diffstat (limited to 'src/cvc4.i')
0 files changed, 0 insertions, 0 deletions