commit: 19d9f6c450923ae597aea44c5ef8bd7d863af9a8

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Wed Jun 18 20:56:14 2025 -0700
committer: GitHub <noreply@github.com>

Thu Jun 19 03:56:14 2025 +0000
tree: 2a047162ce055ec698d42385c78a04aead9190bb
parent: bec538cc579b248aa93d67491bcbc1efa061063c [diff]

chore: remove brittle new compiler tests that depend on internal decls (#8875)

tests/lean/run/CompilerCSE.lean[Deleted - diff]
tests/lean/run/CompilerFindJoinPoints.lean[Deleted - diff]
tests/lean/run/CompilerFloatLetIn.lean[Deleted - diff]
tests/lean/run/CompilerPullInstances.lean[Deleted - diff]
tests/lean/run/CompilerSimp.lean[Deleted - diff]

5 files changed

tree: 2a047162ce055ec698d42385c78a04aead9190bb

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.