commit: 27c79cb6147b68c666292503919927055c923188

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

Tue Apr 30 01:26:07 2024 +0200
committer: GitHub <noreply@github.com>

Mon Apr 29 23:26:07 2024 +0000
tree: a449cf1209130816b28e4a11933a091d3739b6ec
parent: e2983e44ef14124654f12f258086b823285e94ca [diff]

fix: double `reset` bug at `ResetReuse` (#4028)

We conjecture this is the cause for the segfaults when compiling Mathlib
with #4006

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

4 files changed

tree: a449cf1209130816b28e4a11933a091d3739b6ec

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.