Default Branch

3c32607020 · fix: incorrect borrow annotation on demangleBtLinCStr leading to segfault on panic (#12939) · Updated 2026-03-17 09:24:57 +00:00

Branches

7973ba1880 · fix · Updated 2026-03-05 09:08:50 +00:00

94
2

285a1e2831 · for now · Updated 2026-03-05 08:42:24 +00:00

106
3

9af33d5d32 · Revert "fix: revert "mark Id.run as [implicit_reducible]" (#12801)" · Updated 2026-03-05 06:23:33 +00:00

94
1

1a77a5f631 · Revert "fix: mark Id.run as [implicit_reducible] (#12757)" · Updated 2026-03-05 04:05:06 +00:00

96
1

24a254aec2 · fix: handle CACHE STRING syntax in LEAN_VERSION_IS_RELEASE check · Updated 2026-03-05 01:59:25 +00:00

98
1

3b6e65dcae · fix: mark Id.run as [implicit_reducible] · Updated 2026-03-04 23:38:31 +00:00

114
1

e8b7619b09 · fix · Updated 2026-03-04 19:28:03 +00:00

100
1

354a968b13 · fix: memleak on libuv error path · Updated 2026-03-04 19:26:03 +00:00

100
1

27721aaf8e · feat: uniqification of binder names in LCNF.Internalize · Updated 2026-03-04 16:07:17 +00:00

107
1

a0680192e0 · perf: remove void JP arguments · Updated 2026-03-04 15:22:01 +00:00

107
1

b613add013 · fix: deriving instance should not require noncomputable for Prop-valued classes · Updated 2026-03-04 13:17:22 +00:00

110
1

6c6f9a5d83 · refactor: change Char.isDigit and Char.isAlpha · Updated 2026-03-04 13:00:41 +00:00

135
53

162f99d998 · test: update expected output in Module/Imported.lean · Updated 2026-03-04 12:40:24 +00:00

138
3

df3f685be1 · chore: use de-modulized subverso rev for verso test-project sub-manifests · Updated 2026-03-04 12:06:52 +00:00

112
2

b1bf026f88 · chore: improve CI failure reporting in release checklist · Updated 2026-03-04 11:46:12 +00:00

112
1

d02c50da5f · fix: parse LEAN_VERSION_MINOR correctly in release_checklist.py · Updated 2026-03-04 11:29:15 +00:00

112
1

5a69f85194 · fix: remove stage0 version validation · Updated 2026-03-04 01:14:54 +00:00

139
6

8a52b04fd9 · Merge remote-tracking branch 'origin/master' into feat/exceptconds-and-elim · Updated 2026-03-04 00:03:19 +00:00

118
2

f41b9d2e55 · perf: inline a few trivial Array functions · Updated 2026-03-03 22:33:48 +00:00

118
1

b3b669cdd1 · fix: whnf · Updated 2026-03-03 17:13:44 +00:00

124
1