Code

Roll Back recent merge #100

Code

Closed

hadasz wants to merge 15 commits intoroll_backvalida-xyz/valida:roll_backfrom mainvalida-xyz/valida:mainCopy head branch name to clipboard

+465-120

Commits

Commits on Dec 17, 2023

• start of manual implementation of Machine trait for BasicMachine

  hadasz

  committed
  c42c63b

  Copy full SHA for c42c63b

• implemented chip proof function, generalized Machine trait so it can be explicitly implemented, began explicit implementation for BasicMachine

  hadasz

  committed
  669aace

  Copy full SHA for 669aace

• removed sumcheck

  hadasz

  committed
  f509c9a

  Copy full SHA for f509c9a

Commits on Dec 20, 2023

• prove in machine implementation for basic machine

  hadasz

  committed
  014c195

  Copy full SHA for 014c195

Commits on Jan 8, 2024

• prover done except for accessing commitments to put in proof object

  hadasz

  committed
  9abe475

  Copy full SHA for 9abe475

Commits on Jan 10, 2024

• prover for basic machine

  hadasz

  committed
  6bc2cd2

  Copy full SHA for 6bc2cd2

Commits on Jan 12, 2024

• merge and modularized prover

  hadasz

  committed
  6aae53c

  Copy full SHA for 6aae53c

Commits on Jan 17, 2024

• lint

  hadasz

  committed
  563419f

  Copy full SHA for 563419f

• Merge branch 'main' into prove

  hadasz

  authored
  c223409

  Copy full SHA for c223409

• Renames + ordering fixes

  dlubarov

  committed
  9bfe764

  Copy full SHA for 9bfe764

• smoke test for prover

  hadasz

  committed
  e2262b1

  Copy full SHA for e2262b1

• clippy

  hadasz

  committed
  009d801

  Copy full SHA for 009d801

• fmt

  hadasz

  committed
  23ecec1

  Copy full SHA for 23ecec1

Commits on Jan 18, 2024

• merge conflicts

  hadasz

  committed
  9e911a1

  Copy full SHA for 9e911a1

• Merge pull request #96 from lita-xyz/prove

  Show description for 50f0505
  morganthomas

  authored
  50f0505

  Copy full SHA for 50f0505