commit: b7300b30dfa088bf380f2a0eb4c50d11ab6e5994

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

Mon Apr 29 10:41:09 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 29 10:43:14 2024 -0700
tree: 2bf241a818e0ac2cc23b8c9ce8734c42afb17568
parent: 2bf9168eb4b1e724e44319a24244c26b17e2be78 [diff]

fix : double `reset` bug at `ResetReuse`

src/Lean/Compiler/IR/ResetReuse.lean[diff]
tests/lean/doubleReset.lean[Added - diff]
tests/lean/doubleReset.lean.expected.out[Added - diff]

3 files changed

tree: 2bf241a818e0ac2cc23b8c9ce8734c42afb17568

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.