All pull requests

Pull requests

• fix: avoid exporting backend proofs through development tools

  #180·kim-em opened Oct 19, 2026Collaborator·

  ·
  1

• fix: warn that filterInit removes Init.* when replacing findImportsFromSource

  #179·josaum opened Oct 15, 2026·

  ·
  1

• fix: resolve module sources via search paths in findTransitiveImportsFromSource

  #177·josaum opened Oct 14, 2026·

  ·
  1

• feat: Backreporters

  #170·thorimur opened Oct 2, 2026Collaborator·

  ·
  6

• bench: precompileLibrary

  #167·thorimur opened Oct 1, 2026Collaborator·

  ·

• chore: run lake shake --fix

  #160·thorimur opened Sep 27, 2026Collaborator·1 task done·

  ·
  17