diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-07-13 12:02:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-13 19:02:37 +0000 |
| commit | bfc4e276709166bfde990357f048cf9ab2c65c6f (patch) | |
| tree | ea8d73fdc1e46f09a6e8d78397df56d46cfc3261 /licenses | |
| parent | 912be5c60f194c3b0d52c1d06a1339fb6cb13a9c (diff) | |
bv: Simplify BV_BITBLAST_* proof rules. (#6871)
Introduces BV_BITBLAST_STEP rule, which replaces BV_BITBLAST_X rules.
Diffstat (limited to 'licenses')
0 files changed, 0 insertions, 0 deletions