Code

Pretty print JIT-compiled telescope#1286

Code

Merged

ice1000 merged 17 commits intomainaya-prover/aya-dev:mainfrom 1128aya-prover/aya-dev:1128Copy head branch name to clipboardJan 25, 2025

+280-158

Commits

Commits on Jan 21, 2025

• pretty: abstraction

  HoshinoTented

  committed
  4c8d5b9

  Copy full SHA for 4c8d5b9

• repl: pretty for core

  HoshinoTented

  committed
  6b43723

  Copy full SHA for 6b43723

Commits on Jan 23, 2025

• pretty: member

  HoshinoTented

  committed
  781e471

  Copy full SHA for 781e471

• pretty: remove unused

  HoshinoTented

  committed
  7100bcb

  Copy full SHA for 7100bcb

• pretty: class and prim

  HoshinoTented

  committed
  00c8951

  Copy full SHA for 00c8951

Commits on Jan 24, 2025

• pretty: is this good?

  HoshinoTented

  committed
  d358e0a

  Copy full SHA for d358e0a

Commits on Jan 25, 2025

• merge: branch 'main' into 1128

  Show description for 8b7d721
  ice1000

  committed
  8b7d721

  Copy full SHA for 8b7d721

• repl: improve code

  ice1000

  committed
  ee152bd

  Copy full SHA for ee152bd

• lsp-test: advisor now extends DiskCompilerAdvisor (with some bug)

  HoshinoTented

  committed
  b9d49e5

  Copy full SHA for b9d49e5

• revert: "lsp-test: advisor now extends DiskCompilerAdvisor (with some bug)"

  Show description for df5cd6f
  ice1000

  committed
  df5cd6f

  Copy full SHA for df5cd6f

• test: the pretty print

  ice1000

  committed
  94e3c56

  Copy full SHA for 94e3c56

• test: this seems wrong

  ice1000

  committed
  298eb84

  Copy full SHA for 298eb84

• pretty: try fix something

  

  HoshinoTented

  authored and

  ice1000

  committed
  d7f8a56

  Copy full SHA for d7f8a56

• test: why it passes for me?

  ice1000

  committed
  9f8fabb

  Copy full SHA for 9f8fabb

• test: also test fn

  ice1000

  committed
  0423601

  Copy full SHA for 0423601

• test: also test compiled patterns

  ice1000

  committed
  2e9813d

  Copy full SHA for 2e9813d

• misc: refactor, optimize imports

  ice1000

  committed
  90bf168

  Copy full SHA for 90bf168