All pull requests

Pull requests

• chore: part1 custom elaborator for long lists

  changelog-notoolchain-available
  #16104·hargoniX opened Oct 29, 2026Member·Queued

• 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·

  ·

• doc: requirements for running comparator

  changelog-laketoolchain-available
  #16096·hargoniX opened Oct 29, 2026Member·

  ·
  1

• 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·

  ·

• test: lake: benchmark many setup computations

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

  ·
  4

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

  toolchain-available
  #16080·eumemic opened Oct 28, 2026·

  ·
  1

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

  toolchain-available
  #16079·eumemic opened Oct 28, 2026·

  ·
  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

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

  ·
  1

  1

• 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

• perf: lower per-request overhead in Std.Http and apply some suggestions

  changelog-librarytoolchain-available
  #16055·algebraic-dev opened Oct 28, 2026Member·

  ·
  1

  4

• fix: claude slopped fix for private types in ctors

  toolchain-available
  #16031·hargoniX opened Oct 27, 2026Member·

  ·

• perf: emit Nat literals below 2^64 without parsing a string

  changelog-compilertoolchain-available
  #16015·matthiasgoergens opened Oct 27, 2026Contributor·

  ·
  1

  1

• perf: compute small Nat.pow results without GMP

  changelog-compilertoolchain-available
  #16014·matthiasgoergens opened Oct 27, 2026Contributor·

  ·
  1

• perf: read long JSON numbers in subquadratic time

  awaiting-reviewchangelog-librarytoolchain-available
  #16013·matthiasgoergens opened Oct 27, 2026Contributor·

  ·
  1

  5

• fix: handle fdopen failure in IO.FS.Handle.mk and IO.FS.createTempFile

  awaiting-reviewchangelog-librarytoolchain-available
  #16010·matthiasgoergens opened Oct 27, 2026Contributor·

  ·
  1

  1

• fix: do not fail lake check and lake comparator on non-UTF-8 standard error from the sandbox

  changelog-laketoolchain-available
  #16005·matthiasgoergens opened Oct 27, 2026Contributor·

  ·
  1

  1