commit: 47e514e041b849ef71abb1ccff1f183386442632

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sun Jul 12 19:46:55 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jul 12 19:46:55 2026 +0000
tree: 36b478ceb67ce21b69216a7f0eba013779924cb6
parent: 1b8ff93ef6abbb92ff1492394d7863881860c1f0 [diff]

fix: bitvector literal overflow normalization in simproc

2 files changed

tree: 36b478ceb67ce21b69216a7f0eba013779924cb6

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.