Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 |