Code

Add scarb prove#1900

Code

Open

DelevoXDG wants to merge 42 commits intomainsoftware-mansion/scarb:mainfrom zdobnikau/stwo-provesoftware-mansion/scarb:zdobnikau/stwo-proveCopy head branch name to clipboard

+1,471-106

Commits

Commits on Jan 15, 2025

• feat: executable command

  Show description for c658194
  

  FroyaTheHen

  authored and

  maciektr

  committed
  c658194

  Copy full SHA for c658194

Commits on Jan 17, 2025

• Initial cairo-prove

  DelevoXDG

  committed
  af5414d

  Copy full SHA for af5414d

• Support prover config; Restructure args

  DelevoXDG

  committed
  ccc3aa3

  Copy full SHA for ccc3aa3

• Restructure cairo-execute output directories

  Show description for 972acdd
  DelevoXDG

  committed
  972acdd

  Copy full SHA for 972acdd

• Refactor; Improve error messages; Improve args

  DelevoXDG

  committed
  6036329

  Copy full SHA for 6036329

• Add tests

  DelevoXDG

  committed
  0a404e4

  Copy full SHA for 0a404e4

• Refactor

  DelevoXDG

  committed
  55525ed

  Copy full SHA for 55525ed

• Format

  DelevoXDG

  committed
  0da153d

  Copy full SHA for 0da153d

Commits on Jan 18, 2025

• Add --execute flag to run execution before prove

  DelevoXDG

  committed
  cb4b7fb

  Copy full SHA for cb4b7fb

• Refactor: add helper functions; Simplify execution_number extraction logic

  DelevoXDG

  committed
  3946387

  Copy full SHA for 3946387

• Improve error messages in line with scarb execute changes

  DelevoXDG

  committed
  951e3d7

  Copy full SHA for 951e3d7

• use lossy utf8 conversion

  DelevoXDG

  committed
  ff83e91

  Copy full SHA for ff83e91

• misc: rename test

  DelevoXDG

  committed
  3c31623

  Copy full SHA for 3c31623

• rename all "execution number" mentions to execution_id

  DelevoXDG

  committed
  5bb3424

  Copy full SHA for 5bb3424

• Add verbosity settings

  DelevoXDG

  committed
  01070f1

  Copy full SHA for 01070f1

• fix tests (--execution-id)

  DelevoXDG

  committed
  e02f52d

  Copy full SHA for e02f52d

• Disable scarb execute output for quiet verbosity

  DelevoXDG

  committed
  e82596a

  Copy full SHA for e82596a

• Stream AND write output of subcommand on the fly

  DelevoXDG

  committed
  39f1f70

  Copy full SHA for 39f1f70

• Format

  DelevoXDG

  committed
  de0d76d

  Copy full SHA for de0d76d

• improve approach to streaming stdout of nested commands

  Show description for 72e223b
  DelevoXDG

  committed
  72e223b

  Copy full SHA for 72e223b

• refactor: rename scarb-cairo-{execute,prove} to scarb-{execute,prove}

  DelevoXDG

  committed
  2ab30cd

  Copy full SHA for 2ab30cd

• finish scarb-cairo-{execute,prove} -> scarb-{execute,prove}`

  DelevoXDG

  committed
  e6556de

  Copy full SHA for e6556de

• Merge branch 'main' into zdobnikau/stwo-prove

  DelevoXDG

  committed
  c7e0dc6

  Copy full SHA for c7e0dc6

• format

  DelevoXDG

  committed
  242e179

  Copy full SHA for 242e179

• lock

  DelevoXDG

  committed
  48a1399

  Copy full SHA for 48a1399

Commits on Jan 20, 2025

• update ci

  DelevoXDG

  committed
  375195c

  Copy full SHA for 375195c

Commits on Jan 21, 2025

• fix scarb execute tests

  DelevoXDG

  committed
  a9e7e28

  Copy full SHA for a9e7e28

• --exclude not supported by rustfmt

  DelevoXDG

  committed
  d19a6e1

  Copy full SHA for d19a6e1

• install components in check-rust-scarb-prove

  DelevoXDG

  committed
  03593e3

  Copy full SHA for 03593e3

• Fix build in test-scarb-prove

  DelevoXDG

  committed
  e9e2a15

  Copy full SHA for e9e2a15

• fmt

  DelevoXDG

  committed
  60de69f

  Copy full SHA for 60de69f

• fix check-rust

  DelevoXDG

  committed
  e42b960

  Copy full SHA for e42b960

• fix test-scarb-prove

  DelevoXDG

  committed
  eea251e

  Copy full SHA for eea251e

• fmt

  DelevoXDG

  committed
  21a899c

  Copy full SHA for 21a899c

• remove config.toml

  DelevoXDG

  committed
  a1e1fe2

  Copy full SHA for a1e1fe2

• fix clippy ci

  DelevoXDG

  committed
  fa3ddf4

  Copy full SHA for fa3ddf4

• fix tests

  DelevoXDG

  committed
  6936618

  Copy full SHA for 6936618

• fix ci

  DelevoXDG

  committed
  a3ce3a4

  Copy full SHA for a3ce3a4

• support arguments file

  DelevoXDG

  committed
  d783d03

  Copy full SHA for d783d03

• fmt

  DelevoXDG

  committed
  57839d4

  Copy full SHA for 57839d4

• fmt

  DelevoXDG

  committed
  1eb0f34

  Copy full SHA for 1eb0f34

• update extract_execution_id

  DelevoXDG

  committed
  4218467

  Copy full SHA for 4218467