All pull requests

Pull requests

• refactor: make the HTTP/1.1 machine total and drive server connections from a pure driver

  changelog-librarytoolchain-available
  #16431·algebraic-dev opened Nov 12, 2026Member·2/2·

  ·

• chore: piles for tests of deprecated functionality

  changelog-notoolchain-available
  #16430·TwoFX opened Nov 12, 2026Member·

  ·

• feat: show vcgen goals and invariants errors in the info view

  toolchain-available
  #16428·sgraf812 opened Nov 12, 2026Member·

  ·

• refactor: make Std.WP.Assertion an abbrev

  changelog-librarytoolchain-available
  #16425·sgraf812 opened Nov 12, 2026Member·

  ·

• fix: implement IO.Process.spawn using libuv

  changelog-libraryrelease-citoolchain-available
  #16418·TwoFX opened Nov 12, 2026Member·

  ·
  5

• fix: make Std.Http follow RFC 9110, RFC 9112 and RFC 3986 in twelve m…

  changelog-libraryrelease-citoolchain-available
  #16417·algebraic-dev opened Nov 12, 2026Member·1/2·

  ·
  

• perf: evaluate imported parsers on first use

  downstreamtoolchain-available
  #16413·Kha opened Nov 12, 2026Member·

  ·
  2

• perf: anti-unify the jump arguments of vcgen +jp

  changelog-tacticstoolchain-available
  #16412·sgraf812 opened Nov 12, 2026Member·

  ·
  1

  2

• feat: vcgen splits if and match in assertions

  toolchain-available
  #16411·sgraf812 opened Nov 12, 2026Member·

  ·
  4

• feat: add InLean, a verified Lean port of the kernel, without using it (experiment)

  toolchain-available
  #16410·nomeata opened Nov 12, 2026Collaborator·

  ·
  2

• chore: remove dead code

  changelog-notoolchain-available
  #16406·Vtec234 opened Nov 11, 2026Member·

  ·

• fix: reject reassignment of outer mut variables in finally

  toolchain-available
  #16404·sgraf812 opened Nov 11, 2026Member·

  ·
  1

• fix: occurs check in Sym.isDefEqS

  toolchain-available
  #16361·sgraf812 opened Nov 9, 2026Member·

  ·
  2

• perf: cache more terms for whnf

  downstreamtoolchain-available
  #16359·arthur-adjedj opened Nov 9, 2026Contributor·

  ·
  4

• feat: nested patterns in Sym.isDefEqS

  toolchain-available
  #16355·sgraf812 opened Nov 9, 2026Member·

  ·
  2

• perf: prove String literal disequalities in match equations without String.decEq

  toolchain-available
  #16354·leodemoura opened Nov 9, 2026Member·

  ·

• feat: replace the C++ kernel with InLean, a verified Lean port (experiment)

  toolchain-available
  #16353·nomeata opened Nov 9, 2026Collaborator·

  ·
  14

• feat: lake: package downloadCacheService

  changelog-laketoolchain-available
  #16351·tydeu opened Nov 8, 2026Member·

  ·

• perf: better caching of isUnitLikeType

  downstreamtoolchain-available
  #16348·arthur-adjedj opened Nov 8, 2026Contributor·

  ·
  2

• perf: check declarations in the kernel in parallel

  downstreamtoolchain-available
  #16343·Kha opened Nov 8, 2026Member·

  ·
  3

• feat: make Std.WP.Assertion an opt-in class

  toolchain-available
  #16342·sgraf812 opened Nov 7, 2026Member·

  ·

• fix: language server hardening

  changelog-servertoolchain-available
  #16337·mhuisi opened Nov 7, 2026Contributor·

  ·
  1

• perf: make Except.bind and OptionT.bind abbreviations for lazy-delta reduction

  toolchain-available
  #16336·arthur-adjedj opened Nov 7, 2026Contributor·

  ·
  1

  2

• perf: vcgen eliminates binders over unit types

  changelog-tacticstoolchain-available
  #16304·sgraf812 opened Nov 6, 2026Member·

  ·
  6

• fix: publish on-demand Lake cache downloads atomically

  changelog-laketoolchain-available
  #16301·kim-em opened Nov 6, 2026Collaborator·

  ·