commit: 2952cf81e6089626f96321b44307d2222bc74d03

[log]
author: Henrik Böving <hargonix@gmail.com>

Tue Mar 11 23:24:05 2025 +0100
committer: GitHub <noreply@github.com>

Tue Mar 11 22:24:05 2025 +0000
tree: 8a64256d0912cf48f596afbfb882375b320c483c
parent: 589eff6187264addd6922fd87975daa10828b34d [diff]

feat: bv_decide rewrites for concatenation and extraction (#7441)

This PR adds the BV_CONCAT_CONST, BV_CONCAT_EXTRACT and ELIM_ZERO_EXTEND
rule from Bitwuzla to bv_decide.

10 files changed

tree: 8a64256d0912cf48f596afbfb882375b320c483c

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).