Default Branch

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

ZIP  TAR.GZ

Branches

hbv/fix_stage0 87bff2fa39 · chore: fix update-stage0 with make build · Updated 2026-03-17 10:18:34 +00:00	0 1		ZIP  TAR.GZ
readert-update b88612de62 · chore: fix tests · Updated 2026-03-17 10:11:11 +00:00	9 3		ZIP  TAR.GZ
nightly 6714601ee4 · fix: remove accidental type monomorphism in Id.run_seqLeft (#12936) · Updated 2026-03-17 06:43:51 +00:00	1 0	Included	ZIP  TAR.GZ
leantar-v0.1.19 3682604b78 · chore: update leantar to v0.1.19 · Updated 2026-03-17 03:45:31 +00:00	5 1		ZIP  TAR.GZ
sofia/async-http-headers 19a1f578b1 · refactor: rename MultiMap to IndexMultiMap · Updated 2026-03-16 22:13:08 +00:00	27 181		ZIP  TAR.GZ
joscha/fix-signal-numbers 5713082070 · Map signals on c++ side to actual values · Updated 2026-03-16 17:48:44 +00:00	8 2		ZIP  TAR.GZ
sofia/async-http-client af40af987c · fix: tests · Updated 2026-03-16 13:45:35 +00:00	27 626		ZIP  TAR.GZ
hbv/lcnf_preserve_infer_annotations 5ab45e12ca · first attempt · Updated 2026-03-16 10:09:16 +00:00	15 2		ZIP  TAR.GZ
releases/v4.29.0 0bbadfa02a · feat: add Meta.synthInstance.apply trace class (#12699) · Updated 2026-03-16 08:10:02 +00:00	216 29		ZIP  TAR.GZ
fix-release-steps-subverso-sync a813ce37fc · fix: use null-safe while-read loop for subverso manifest sync · Updated 2026-03-16 08:07:48 +00:00	15 1		ZIP  TAR.GZ
paul/respectTransparency-cleanup 3896dfbf01 · remove +instances · Updated 2026-03-15 12:26:27 +00:00	19 4		ZIP  TAR.GZ
list_len_issue 8d13eabc30 · fix: remove unused length simp argument in TakeDrop · Updated 2026-03-15 01:41:44 +00:00	74 3		ZIP  TAR.GZ
nightly-with-manual cfa8c5a036 · fix: handle universe level commutativity in sym pattern matching (#12923) · Updated 2026-03-15 01:06:16 +00:00	19 0	Included	ZIP  TAR.GZ
nightly-with-mathlib cfa8c5a036 · fix: handle universe level commutativity in sym pattern matching (#12923) · Updated 2026-03-15 01:06:16 +00:00	19 0	Included	ZIP  TAR.GZ
sym_bug_2 b81e51512d · fix: handle universe level commutativity in sym pattern matching · Updated 2026-03-15 00:43:53 +00:00	20 1		ZIP  TAR.GZ
sym_bugs 2c46bd5639 · fix: eta-reduce expressions in sym discrimination tree lookup · Updated 2026-03-14 16:44:35 +00:00	21 1		ZIP  TAR.GZ
joachim/string-neq-proc3 3064709349 · perf: use Char.toNat + Nat.ne_of_beq_eq_false in string ne proofs · Updated 2026-03-14 09:18:03 +00:00	22 3		ZIP  TAR.GZ
mvcgen-with-grind 59f88e6663 · perf: add persistent Sym.Simp cache and reassocNatAdd simproc to mvcgen' with grind · Updated 2026-03-14 06:42:10 +00:00	25 4		ZIP  TAR.GZ
joscha/bench-suite-improvements c86b59d6d0 · Fix lakeprof_report_upload · Updated 2026-03-13 19:12:27 +00:00	24 5		ZIP  TAR.GZ
sg/sym-mvcgen-split 0007ffa16a · refactor: simplify mkBackwardRuleForSplit and fix fvar alt handling · Updated 2026-03-12 22:29:39 +00:00	26 9		ZIP  TAR.GZ