Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-11-13 | added support for division by zero for bit-vector division operators | Liana Hadarean | |
2012-06-04 | Added preprocessing pass that propagates unconstrained values - solves all of | Clark Barrett | |
the unconstrained examples in QF_AUFBV/brummayerbiere3 - should also help generally on at least BV and maybe others. Off by default for now - results are mixed and it's hard to evaluate with so many existing assertion failures and segfaults - will re-evaluate once those are fixed |