commit: 086d45f27c83f67237fd8cce5e2b54fb0e639494

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Mar 20 13:51:27 2025 +0100
committer: GitHub <noreply@github.com>

Thu Mar 20 12:51:27 2025 +0000
tree: f524ebf72b334afc23269a5b6dc53a3bfc5f5d60
parent: 637d8b2a2de3e26c6233c90c9a03f9a889bd720e [diff]

perf: interpreter: use global native symbol cache (#7575)

With parallelism, a thread-local cache is not sufficient anymore.

src/library/compiler/ir_interpreter.cpp[diff]

1 file changed

tree: f524ebf72b334afc23269a5b6dc53a3bfc5f5d60

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).