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

87bff2fa39 · chore: fix update-stage0 with make build · Updated 2026-03-17 10:18:34 +00:00

0
1

b88612de62 · chore: fix tests · Updated 2026-03-17 10:11:11 +00:00

9
3

6714601ee4 · fix: remove accidental type monomorphism in Id.run_seqLeft (#12936) · Updated 2026-03-17 06:43:51 +00:00

1
0
Included

3682604b78 · chore: update leantar to v0.1.19 · Updated 2026-03-17 03:45:31 +00:00

5
1

19a1f578b1 · refactor: rename MultiMap to IndexMultiMap · Updated 2026-03-16 22:13:08 +00:00

27
181

5713082070 · Map signals on c++ side to actual values · Updated 2026-03-16 17:48:44 +00:00

8
2

af40af987c · fix: tests · Updated 2026-03-16 13:45:35 +00:00

27
626

5ab45e12ca · first attempt · Updated 2026-03-16 10:09:16 +00:00

15
2

0bbadfa02a · feat: add Meta.synthInstance.apply trace class (#12699) · Updated 2026-03-16 08:10:02 +00:00

216
29

a813ce37fc · fix: use null-safe while-read loop for subverso manifest sync · Updated 2026-03-16 08:07:48 +00:00

15
1

3896dfbf01 · remove +instances · Updated 2026-03-15 12:26:27 +00:00

19
4

8d13eabc30 · fix: remove unused length simp argument in TakeDrop · Updated 2026-03-15 01:41:44 +00:00

74
3

cfa8c5a036 · fix: handle universe level commutativity in sym pattern matching (#12923) · Updated 2026-03-15 01:06:16 +00:00

19
0
Included

cfa8c5a036 · fix: handle universe level commutativity in sym pattern matching (#12923) · Updated 2026-03-15 01:06:16 +00:00

19
0
Included

b81e51512d · fix: handle universe level commutativity in sym pattern matching · Updated 2026-03-15 00:43:53 +00:00

20
1

2c46bd5639 · fix: eta-reduce expressions in sym discrimination tree lookup · Updated 2026-03-14 16:44:35 +00:00

21
1

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

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

c86b59d6d0 · Fix lakeprof_report_upload · Updated 2026-03-13 19:12:27 +00:00

24
5

0007ffa16a · refactor: simplify mkBackwardRuleForSplit and fix fvar alt handling · Updated 2026-03-12 22:29:39 +00:00

26
9