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

kim/grind-unused-lemma-threshold 329c35b3f0 · chore: merge master (test directory rename) · Updated 2026-03-10 02:44:13 +00:00	61 4		ZIP  TAR.GZ
paul/humanevup-33 9f7df0ef52 · cleanups · Updated 2026-03-09 20:40:56 +00:00	94 18		ZIP  TAR.GZ
paul/phashmap-iter 7190a9d99b · cleanups · Updated 2026-03-09 20:26:05 +00:00	74 3		ZIP  TAR.GZ
joachim/instantiateMVarsNoUpdate f3b9f37acc · refactor: move scopeCacheProofs to tests/elab/ · Updated 2026-03-09 16:56:24 +00:00	94 62		ZIP  TAR.GZ
joachim/sizeOfInst 6d24fb2d6a · fix: bypass typeclass synthesis in SizeOf spec theorem generation · Updated 2026-03-09 14:20:33 +00:00	74 1		ZIP  TAR.GZ
sg/mvcgen-errors eba487b7c2 · chore: fix two semantic merge errors in SymM mvcgen · Updated 2026-03-09 10:50:29 +00:00	73 1		ZIP  TAR.GZ
paul/iter-append 6451b94095 · append iterator · Updated 2026-03-09 10:10:13 +00:00	77 1		ZIP  TAR.GZ
joachim/bench-linter-fix f9aeed3d40 · perf: fix quadratic scaling in unused variable linter · Updated 2026-03-09 08:40:13 +00:00	94 1		ZIP  TAR.GZ
kmill_structure_mutual_defaults ad8fa9c419 · remove cycle check · Updated 2026-03-08 23:12:04 +00:00	94 3		ZIP  TAR.GZ
radix/examples 4068ce0f9e · feat: prove interpreter soundness for Radix DSL · Updated 2026-03-08 23:01:59 +00:00	77 23		ZIP  TAR.GZ
joachim/compress-discrtree f82aa9aedf · refactor: path compression for DiscrTree · Updated 2026-03-07 16:09:44 +00:00	94 1		ZIP  TAR.GZ
lake-profile 54c17a822e · Merge remote-tracking branch 'origin/master' into lake-profile · Updated 2026-03-07 00:17:21 +00:00	79 4		ZIP  TAR.GZ
sofia/openssl a69f282f64 · feat: add openssl to the guide · Updated 2026-03-06 22:34:10 +00:00	81 4		ZIP  TAR.GZ
paul/fix-warnings 347fcf9531 · whitespace, oof · Updated 2026-03-06 21:19:25 +00:00	81 7		ZIP  TAR.GZ
feat/lean-name-demangling 25e8e043b8 · fix: address review feedback for name demangling (round 2) · Updated 2026-03-06 08:38:10 +00:00	87 7		ZIP  TAR.GZ
eq_or_mem_of_mem_cons 1822df59d3 · chore: grind guard condition for eq_or_mem_of_mem_cons · Updated 2026-03-06 06:42:49 +00:00	94 1		ZIP  TAR.GZ
backport-12821-to-releases/v4.29.0 20059c0c99 · fix: remove @[grind →] from getElem_of_getElem? (#12821) · Updated 2026-03-06 04:58:09 +00:00	216 22		ZIP  TAR.GZ
sofia/time-format-refactor f51fb1e866 · fix: format · Updated 2026-03-05 19:03:25 +00:00	106 2		ZIP  TAR.GZ
joachim/instmvarstests d39e16e522 · test: improve instantiateMVars tests and add sharing benchmark · Updated 2026-03-05 16:10:58 +00:00	94 3		ZIP  TAR.GZ
sofia/fix-signal 8e26cadf9b · fix: selector · Updated 2026-03-05 13:35:47 +00:00	106 1		ZIP  TAR.GZ