| .. |
|
lib
|
chore: fix spelling mistakes in non-Lean files (#5430)
|
2024-09-23 21:11:20 +00:00 |
|
apply.lean
|
fix: deallocation for closures in non default configurations (#11217)
|
2025-11-17 16:27:20 +00:00 |
|
benchReelabRss.lean
|
test: re-enable re-elab benchmarks and add watchdog re-elab benchmark (#11284)
|
2025-11-20 22:53:08 +00:00 |
|
benchReelabWatchdogRss.lean
|
test: re-enable re-elab benchmarks and add watchdog re-elab benchmark (#11284)
|
2025-11-20 22:53:08 +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
|
feat: trace.profiler export to Firefox Profiler (#3801)
|
2024-04-15 12:13:14 +00:00 |
|
diff_changelogs.py
|
|
|
|
gen_constants_cpp.py
|
chore: fix more typos in comments
|
2023-10-08 14:37:34 -07:00 |
|
gen_tokens_cpp.py
|
chore: fix more typos in comments
|
2023-10-08 14:37:34 -07:00 |
|
issues_summary.sh
|
feat: script to summarize issues (#3952)
|
2024-04-24 06:11:07 +00:00 |
|
lakefile.toml
|
feat: module system is no longer experimental (#11637)
|
2025-12-12 21:20:26 +00:00 |
|
lean-bisect
|
feat: add lean-bisect script for bisecting toolchain regressions (#11727)
|
2025-12-21 20:04:47 +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
|
feat: scripts/Modulize.lean (#10460)
|
2025-09-24 11:40:17 +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: rename String.endPos -> String.rawEndPos (#10853)
|
2025-10-21 11:25:30 +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 |
|
push_repo_release_tag.py
|
feat: further release automation (#9092)
|
2025-06-30 05:44:10 +00:00 |
|
rebase-stage0.sh
|
chore: add ./script/rebase-stage0.sh (#3984)
|
2024-05-02 12:26:25 +00:00 |
|
reformat.lean
|
chore: fix script/reformat.lean
|
2022-11-28 15:47:17 +01:00 |
|
release_checklist.py
|
chore: run Mathlib's verify_version_tags.py in release_checklist.py (#11392)
|
2025-11-27 04:10:43 +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: include comparator and lean4export in release process (#11899)
|
2026-01-05 01:08:50 +00:00 |
|
release_steps.py
|
fix: remove obsolete docs directory handling for cslib in release_steps.py (#11649)
|
2025-12-14 05:15:38 +00:00 |
|
Shake.lean
|
chore: shake: fix handling of meta structure etc (#11701)
|
2025-12-16 16:28:39 +00:00 |
6bf2486e13