Code

Classfile Morphism#1297

Code

Merged

ice1000 merged 11 commits intomainaya-prover/aya-dev:mainfrom classfileaya-prover/aya-dev:classfileCopy head branch name to clipboardFeb 1, 2025

+900-137

Commits

Commits on Jan 28, 2025

• jit: intro

  HoshinoTented

  committed
  217d47f

  Copy full SHA for 217d47f

• jit: metadata

  HoshinoTented

  committed
  ea1bc8c

  Copy full SHA for ea1bc8c

• jit: more but without test

  HoshinoTented

  committed
  7384114

  Copy full SHA for 7384114

Commits on Jan 29, 2025

• jit: fix something

  HoshinoTented

  committed
  429305c

  Copy full SHA for 429305c

Commits on Jan 30, 2025

• misc: comment

  HoshinoTented

  committed
  a3c6c61

  Copy full SHA for a3c6c61

Commits on Jan 31, 2025

• jit: it works!

  HoshinoTented

  committed
  7af2e53

  Copy full SHA for 7af2e53

• jit: it works more!

  HoshinoTented

  committed
  a26460b

  Copy full SHA for a26460b

Commits on Feb 1, 2025

• merge: branch 'main' into classfile

  ice1000

  committed
  34485d5

  Copy full SHA for 34485d5

• review: some code cleanup

  ice1000

  committed
  49beaa2

  Copy full SHA for 49beaa2

• review: more code cleanup

  ice1000

  committed
  2cf382d

  Copy full SHA for 2cf382d

• review: remove some empty lines

  ice1000

  committed
  9f86bc1

  Copy full SHA for 9f86bc1