November 5th, 2026 · 24 commits
+3
Major fixes land across verification condition generation, kernel integer handling, typeclass caching, runtime deep copy, and HTTP/time APIs.
Read the issue →
November 4th, 2026 · 15 commits
+4
New safe pointer-equality helpers, VCGen and `grind` robustness fixes, plus HTTP URI/query handling and arithmetic normalization corrections.
Read the issue →
November 3rd, 2026 · 25 commits
+2
Major solver and elaborator improvements landed: float-literal defeq, better grind arithmetic, vcgen simp expansion, and Sym/join-point fixes.
Read the issue →
November 2nd, 2026 · 13 commits
Major updates to `grind`, `Sym.simp`, `bv_decide`, casts, and runtime/FFI behavior, plus a few test and CI fixes.
Read the issue →
November 1st, 2026 · 12 commits
New grind capabilities, multiple symmetry/universe fixes, and several interpreter/meta performance wins landed in one busy day.
Read the issue →