| .. |
|
lib
|
chore: fix spelling mistakes in non-Lean files (#5430)
|
2024-09-23 21:11:20 +00:00 |
|
apply.lean
|
chore: add missing copyright headers (#3411)
|
2024-02-20 01:49:55 +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 |
|
mathlib-bench
|
chore: script/mathlib-bench (#6280)
|
2024-12-02 10:00:57 +00:00 |
|
patch.sh
|
|
|
|
prepare-llvm-linux.sh
|
fix: set LLVM sysroot consistently (#6574)
|
2025-01-08 12:56:27 +00:00 |
|
prepare-llvm-macos.sh
|
fix: set LLVM sysroot consistently (#6574)
|
2025-01-08 12:56:27 +00:00 |
|
prepare-llvm-mingw.sh
|
fix: set CP_UTF8 on Windows (#7213)
|
2025-02-26 18:36:32 +00:00 |
|
push_repo_release_tag.py
|
chore: update release checklist (#6637)
|
2025-01-14 10:18:46 +00:00 |
|
rebase-stage0.sh
|
chore: add ./script/rebase-stage0.sh (#3984)
|
2024-05-02 12:26:25 +00:00 |
|
reformat.lean
|
|
|
|
release_checklist.py
|
chore: more updates to release_checklist.py (#6941)
|
2025-02-04 05:38:42 +00:00 |
|
release_notes.py
|
fix: indenting in release notes script (#7326)
|
2025-03-12 23:02:02 +00:00 |
|
release_repos.yml
|
chore: release_checklist.py checks for bump/v4.X.0 branches (#6933)
|
2025-02-03 23:46:26 +00:00 |
