All pull requests

Pull requests

• perf: hash all bits of large Nat literals in Expr

  toolchain-available
  #16146·JasonGross opened Nov 1, 2026·

  ·
  1

• perf: avoid intermediate Option allocations

  toolchain-available
  #16144·sielicki opened Nov 1, 2026·

  ·

• chore: update the Web Assembly CI job to Emscripten 6.0.13

  changelog-notoolchain-available
  #16142·basvandijk opened Oct 31, 2026Contributor·

  ·
  2

• fix: add expected type hints to Sym rules modified by preprocessing

  toolchain-available
  #16140·kmehltretter82 opened Oct 31, 2026·

  ·
  1

• fix: postpone max/imax universe constraints with unassigned uvars in Sym.Pattern

  toolchain-available
  #16139·kmehltretter82 opened Oct 31, 2026·

  ·
  1

• fix: return the right exit code from lean on 32-bit targets

  toolchain-available
  #16137·basvandijk opened Oct 31, 2026Contributor·

  ·
  1

  1

• chore: re-enable the Web Assembly CI job

  toolchain-available
  #16135·basvandijk opened Oct 31, 2026Contributor·

  ·
  1

  1

• feat: add hash map merging with collision functions

  changelog-librarytoolchain-available
  #16128·kim-em opened Oct 31, 2026Collaborator·

  ·

• feat: add joint ordered tree map folds

  changelog-librarytoolchain-available
  #16127·kim-em opened Oct 31, 2026Collaborator·

  ·

• feat: add deletion-capable tree map merging

  changelog-library
  #16126·kim-em opened Oct 31, 2026Collaborator·

  ·

• feat: one-point rules and order laws in the vcgen simp set

  changelog-tacticstoolchain-available
  #16102·sgraf812 opened Oct 29, 2026Contributor·

  ·

• perf: avoid copying mpz objects

  toolchain-available
  #16098·TwoFX opened Oct 29, 2026Member·

  ·
  2

• [spike] strict instance check

  #16097·datokrat opened Oct 29, 2026Contributor·

  ·

• fix: match the parameters of eight FFI definitions to the generated C

  toolchain-available
  #16090·basvandijk opened Oct 29, 2026Contributor·

  ·
  1

  1

• refactor: lake: build store mutex

  changelog-laketoolchain-available
  #16086·tydeu opened Oct 29, 2026Member·

  ·
  2

• fix: answer an overlong request-target with 414 however the request line is split

  changelog-librarytoolchain-available
  #16080·eumemic opened Oct 28, 2026·

  ·
  1

  1

• fix: read a host name that begins with an IPv4 address as a name

  changelog-librarytoolchain-available
  #16079·eumemic opened Oct 28, 2026·

  ·
  1

  1

• fix: require libuv 1.53.0 on Windows

  changelog-compilerrelease-citoolchain-available
  #16076·ejgallego opened Oct 28, 2026Contributor·

  ·
  1

• feat: add lemmas for List.groupByKey and Array.groupByKey

  changelog-librarytoolchain-available
  #16071·jessealama opened Oct 28, 2026Contributor·

  ·
  1

• refactor: generic incremental BV solver interface

  changelog-tacticstoolchain-available
  #16069·hargoniX opened Oct 28, 2026Member·

  ·

• fix: show the goal state on input that does not parse yet

  changelog-servertoolchain-available
  #16068·matthiasgoergens opened Oct 28, 2026Contributor·

  ·
  1

  1

• fix: exit early on non-perm theorem in Sym.DSimp.rewriteWith

  changelog-tacticstoolchain-available
  #16066·robin-carlier opened Oct 28, 2026·

  ·
  1

  1

• fix: show the goal while the term of exact or apply has an error

  awaiting-reviewchangelog-servertoolchain-available
  #16064·matthiasgoergens opened Oct 28, 2026Contributor·

  ·
  1

  2

• fix: drop the file name assertions in decode_uv_error_impl

  awaiting-reviewchangelog-librarytoolchain-available
  #16063·matthiasgoergens opened Oct 28, 2026Contributor·

  ·
  1

  1

• feat: add Ord instance for Dyadic

  changelog-librarytoolchain-available
  #16061·jessealama opened Oct 28, 2026Contributor·

  ·
  3