Age | Commit message (Expand) | Author |
---|---|---|
2021-11-01 | bv: Remove layered solver. (#7455) | Mathias Preiner |
2021-09-11 | bv: Move IsPowerOfTwo rule to preprocessing pass and use EnvObj. (#7179) | Mathias Preiner |
2020-08-19 | [Regressions] Do not test `--check-proofs` anymore (#4914) | Andres Noetzli |
2018-05-03 | Refactor bv-intro-pow2 preprocessing pass. (#1851) | Mathias Preiner |