All pull requests

Pull requests

• perf: spawn processes with posix_spawn instead of fork

  toolchain-available
  #15613·zeldovich opened Oct 11, 2026·

  ·

• refactor: libuv requests own their references

  changelog-librarytoolchain-available
  #15603·algebraic-dev opened Oct 10, 2026Member·5/5·

  ·
  

• refactor: build libuv send buffers on the stack

  changelog-libraryrelease-citoolchain-available
  #15598·algebraic-dev opened Oct 10, 2026Member·4/5·

  ·
  

• fix: make constructor, left and right respect private constructors

  toolchain-available
  #15597·rbeauchamp opened Oct 10, 2026Contributor·

  ·
  1

  1

• perf: use getConstVal in mkConstWithFreshMVarLevels

  awaiting-reviewchangelog-languagetoolchain-available
  #15591·ericluap opened Oct 10, 2026Contributor·

  ·
  4

• perf: single threaded ST fast path

  fsanitize-citoolchain-available
  #15587·hargoniX opened Oct 9, 2026Member·

  ·
  2

• feat: add Runtime.deepCopy

  changelog-compilertoolchain-available
  #15586·Vtec234 opened Oct 9, 2026Member·

  ·
  2

• feat: let modules that do not postpone codegen import ones that do

  toolchain-available
  #15583·Kha opened Oct 9, 2026Member·2/2·

  ·

• feat: proper UTF-8 string comparison

  changelog-librarydownstreamtoolchain-available
  #15581·TwoFX opened Oct 9, 2026Member·

  ·
  6

• perf: do not export data that depends on how a theorem is proved

  downstreamtoolchain-available
  #15578·Kha opened Oct 9, 2026Member·

  ·
  1

• perf: lake: do not make elaboration wait on the leanir jobs of plain imports

  toolchain-available
  #15576·Kha opened Oct 9, 2026Member·1/2·

  ·
  6

• chore: limit JSON number exponent more

  changelog-notoolchain-available
  #15574·Vtec234 opened Oct 9, 2026Member·

  ·

• chore: stop overriding LEAN_VERSION_{MAJOR,MINOR,PATCH} in CI

  toolchain-available
  #15567·Garmelon opened Oct 8, 2026Contributor·

  ·

• fix: stop grind from diverging on the min of List.findIdx terms

  awaiting-reviewchangelog-librarytoolchain-available
  #15562·sgraf812 opened Oct 8, 2026Contributor·

  ·
  3

• perf: bytecode interpreter

  downstreamdownstream-forcetoolchain-available
  #15557·Rob23oba opened Oct 8, 2026Contributor·

  ·
  5

• feat: collect axioms of imported declarations on demand

  changelog-languagedownstreamtoolchain-availablewill-merge-soon
  #15556·Kha opened Oct 8, 2026Member·

  ·
  1

• chore: enable linter.redundantVisibility in lean4

  toolchain-availablewill-merge-soon
  #15553·Kha opened Oct 8, 2026Member·

  ·

• perf: read expression and level metadata inline in the kernel

  awaiting-reviewtoolchain-available
  #15552·qawbecrdtey opened Oct 8, 2026·

  ·
  3

• feat: add #html display command

  changelog-serverdownstreamtoolchain-available
  #15550·Vtec234 opened Oct 8, 2026Member·

  ·
  3

• feat: track visibility of section variables

  changes-stage0downstreamtoolchain-available
  #15540·Kha opened Oct 7, 2026Member·

  ·
  3

• doc: fix misexplaination in Lean.Elab.Docstring

  toolchain-available
  #15535·Komyyy opened Oct 7, 2026Contributor·

  ·

• feat: mark Dyadic.toRat as a coercion

  changelog-librarytoolchain-available
  #15532·vihdzp opened Oct 7, 2026Contributor·

  ·
  1

• perf: share the mapping when an .olean is loaded again in one process

  toolchain-available
  #15531·casavaca opened Oct 7, 2026Contributor·

  ·
  1

  8

• perf: flatten IR data structure

  toolchain-available
  #15528·Rob23oba opened Oct 6, 2026Contributor·

  ·
  2

• experiment: abseil hashmap in ir interpreter

  toolchain-available
  #15521·hargoniX opened Oct 6, 2026Member·

  ·
  2