All pull requests

Pull requests

• fix: lake default builds every module

  #2754·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: evmyul returndatacopy halt

  #2753·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: view call helpers adversary

  #2752·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: edsl memory hash semantics

  #2751·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: foreach executable iterates

  #2750·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: ecmdo dynamic args

  #2749·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: selfcall abi encoding

  #2748·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: signed checked arithmetic panic abi

  #2747·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: unit return early exit

  #2746·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: spill area above free pointer

  #2745·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix: muldiv512 up overflow revert

  #2744·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix(macro): preserve whole composite values and ABI return words

  #2743·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix(linker): link creation code and parse one-line functions

  #2742·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• fix(compiler): reject unbound ECM result variables

  #2741·Th0rgal opened Nov 12, 2026Member·

  ·
  1

• ci: migrate remaining build-medium Verify jobs to lean.ci runners

  #2740·Th0rgal opened Nov 12, 2026Member·

  ·
  8

• fix(macro): name synthetic discard binders outside the reserved __ prefix

  #2695·monperrus opened Nov 11, 2026Contributor·

  ·
  1

• Acier Verity Importer Adaptations

  #2694·fricoben opened Nov 11, 2026Member·

  ·
  2

• [Compiler Enhancement] solidity_import: <address>.codehash (EXTCODEHASH) via a closed transport (#2627)

  #2677·fricoben opened Nov 10, 2026Member·

  ·
  1

  2

• ci: cut over verify builds to turbo-lean #417 and fix nightly suites

  #2660·Th0rgal opened Nov 2, 2026Member·

  ·
  20