Code

Some leaveover of #1326#1327

Code

Merged

ice1000 merged 3 commits intomainaya-prover/aya-dev:mainfrom jit-leaveoveraya-prover/aya-dev:jit-leaveoverCopy head branch name to clipboardFeb 17, 2025

+69-47

Commits

Commits on Feb 16, 2025

• jit: check argument size at free-pass

  HoshinoTented

  committed
  b079c82

  Copy full SHA for b079c82

• jit: remove resolveInvoke, use makeInvoke instead

  HoshinoTented

  committed
  dd200b7

  Copy full SHA for dd200b7

Commits on Feb 17, 2025

• jit: improve makeInvoke and fix TODO

  HoshinoTented

  committed
  c98f94d

  Copy full SHA for c98f94d