| .. |
|
lib
|
fix: update-stage0 under the Lake cache
|
2026-02-25 11:40:02 +01:00 |
|
profiler
|
feat: unify name demangling with single Lean implementation (#12539)
|
2026-03-06 12:29:35 +00:00 |
|
apply.lean
|
fix: deallocation for closures in non default configurations (#11217)
|
2025-11-17 16:27:20 +00:00 |
|
benchReelabRss.lean
|
chore: switch to new test/bench suite (#12590)
|
2026-02-25 13:51:53 +00:00 |
|
benchReelabWatchdogRss.lean
|
chore: switch to new test/bench suite (#12590)
|
2026-02-25 13:51:53 +00:00 |
|
build_artifact.py
|
feat: add build_artifact.py for downloading CI artifacts (#11735)
|
2025-12-19 04:09:23 +00:00 |
|
collideProfiles.lean
|
|
|
|
diff_changelogs.py
|
|
|
|
fmt
|
chore: switch to new test/bench suite (#12590)
|
2026-02-25 13:51:53 +00:00 |
|
gen_constants_cpp.py
|
chore: fix test suite on macOS (#12780)
|
2026-03-03 20:59:08 +00:00 |
|
gen_tokens_cpp.py
|
chore: fix test suite on macOS (#12780)
|
2026-03-03 20:59:08 +00:00 |
|
issues_summary.sh
|
|
|
|
lakefile.toml
|
feat: add lake shake command (#11921)
|
2026-01-19 11:11:13 +00:00 |
|
lean-bisect
|
feat: support revised nightly releases (nightly-YYYY-MM-DD-revK) (#12461)
|
2026-02-13 00:41:04 +00:00 |
|
lean-bisect-test.lean
|
feat: add lean-bisect script for bisecting toolchain regressions (#11727)
|
2025-12-21 20:04:47 +00:00 |
|
lean-toolchain
|
chore: relative lean-toolchains (#12652)
|
2026-02-25 10:23:35 +00:00 |
|
lean_profile.sh
|
chore: fix profiler shebang and add profiling skill (#12519)
|
2026-03-01 07:09:33 +00:00 |
|
mathlib-bench
|
feat: move lean-pr-testing-NNNN branches to a fork (#8933)
|
2025-06-24 03:30:43 +00:00 |
|
merge_remote.py
|
feat: updates to release process for v4.23.0 (#10383)
|
2025-09-14 23:52:19 +00:00 |
|
Modulize.lean
|
chore: modulize: work around unknown initial command (#12080)
|
2026-01-21 20:25:13 +00:00 |
|
patch.sh
|
|
|
|
prepare-llvm-linux.sh
|
chore: CI: fix Linux release jobs (#11424)
|
2025-11-28 16:27:32 +00:00 |
|
prepare-llvm-macos.sh
|
fix: set LLVM sysroot consistently (#6574)
|
2025-01-08 12:56:27 +00:00 |
|
prepare-llvm-mingw.sh
|
chore: remove old LEAN_AUTO_THREAD_FINALIZATION workaround (#8885)
|
2025-06-20 08:52:17 +00:00 |
|
PROFILER_README.md
|
feat: add Lean name demangler and profiling pipeline (#12517)
|
2026-02-17 03:27:58 +00:00 |
|
push_repo_release_tag.py
|
feat: further release automation (#9092)
|
2025-06-30 05:44:10 +00:00 |
|
rebase-stage0.sh
|
|
|
|
reformat.lean
|
|
|
|
release_checklist.py
|
fix: handle lean4-nightly toolchain prefix in release checklist (#12865)
|
2026-03-23 03:01:58 +00:00 |
|
release_notes.py
|
chore: update script/release_notes.py for changelog-tactics (#10436)
|
2025-09-18 07:22:53 +00:00 |
|
release_repos.yml
|
chore: remove lean4checker from release repos (#13121)
|
2026-03-26 12:15:37 +00:00 |
|
release_steps.py
|
fix: use null-safe while-read loop for subverso manifest sync (#12928)
|
2026-03-16 08:17:32 +00:00 |
