Code

Initial SKI import.#1

Code

Closed

porcuquine wants to merge 16 commits intomainlurk-lab/lurk:mainfrom skilurk-lab/lurk:skiCopy head branch name to clipboard

+1,944

Commits

Commits on Apr 17, 2024

• Initial SKI import.

  porcuquine

  committed
  22dc6c3

  Copy full SHA for 22dc6c3

• Refactor terms.

  porcuquine

  committed
  a23160b

  Copy full SHA for a23160b

• Patch program/script.

  porcuquine

  committed
  b7ce910

  Copy full SHA for b7ce910

• hack: Enable building wp1-core for the zkvm

  Show description for 37782ae
  wwared

  committed
  37782ae

  Copy full SHA for 37782ae

• chore: Update program/script and recompile

  wwared

  committed
  7a1b0f6

  Copy full SHA for 7a1b0f6

Commits on Apr 18, 2024

• Update cycle count for memoized reduction steps.

  porcuquine

  committed
  21ee699

  Copy full SHA for 21ee699

• Refactor.

  porcuquine

  committed
  dc2c6af

  Copy full SHA for dc2c6af

• Add multiplicity support.

  porcuquine

  committed
  d216d3f

  Copy full SHA for d216d3f

• Reduce warnings.

  porcuquine

  committed
  37db63e

  Copy full SHA for 37db63e

• Clarify initial multiplicities.

  porcuquine

  committed
  c434226

  Copy full SHA for c434226

• Add methods to get all steps of each type.

  porcuquine

  committed
  ab19489

  Copy full SHA for ab19489

• Conservatively evaluate sub-terms when reducing.

  porcuquine

  committed
  7423db2

  Copy full SHA for 7423db2

Commits on Apr 19, 2024

• Implement eval recursively.

  porcuquine

  committed
  565e2f5

  Copy full SHA for 565e2f5

• Implement verification.

  porcuquine

  committed
  f2986ba

  Copy full SHA for f2986ba

Commits on Apr 20, 2024

• Derive Copy.

  porcuquine

  committed
  4d4d916

  Copy full SHA for 4d4d916

• Simplify and fix verification comparisons.

  porcuquine

  committed
  587f6cb

  Copy full SHA for 587f6cb