Code

Generalize over field variable type#861

Code

Merged

dannywillems merged 14 commits intomastero1-labs/snarky:masterfrom feature/generalize-cvaro1-labs/snarky:feature/generalize-cvarCopy head branch name to clipboardJan 8, 2025

+269-307

Commits

Commits on Jan 2, 2025

• Remove redundant functor

  mrmr1993

  committed
  b243a1f

  Copy full SHA for b243a1f

• Use field and field_var from Types module

  mrmr1993

  committed
  9151622

  Copy full SHA for 9151622

• Remove use of Cvar.t constructors

  mrmr1993

  committed
  4f954e9

  Copy full SHA for 4f954e9

Commits on Jan 6, 2025

• Hoist generalized functions

  mrmr1993

  committed
  2d40946

  Copy full SHA for 2d40946

• Hoist Cvar_intf

  mrmr1993

  committed
  5676db4

  Copy full SHA for 5676db4

• Include Cvar in Backend_intf

  mrmr1993

  committed
  b1997ff

  Copy full SHA for b1997ff

• Explicitly use Cvar.t for field_var alias

  mrmr1993

  committed
  4a7dff5

  Copy full SHA for 4a7dff5

• Relax As_prover0 interface

  mrmr1993

  committed
  918ed8a

  Copy full SHA for 918ed8a

• Use Backend.Cvar methods in Utils

  mrmr1993

  committed
  573a7b3

  Copy full SHA for 573a7b3

• Use Cvar helper functions instead of constructors in Snark0

  mrmr1993

  committed
  53232ba

  Copy full SHA for 53232ba

• Move misplaced comment

  mrmr1993

  committed
  c3b1c46

  Copy full SHA for c3b1c46

• Introduce field_var in Snark_intf

  mrmr1993

  committed
  b9f1a2c

  Copy full SHA for b9f1a2c

Commits on Jan 7, 2025

• Generalize over field_var type

  mrmr1993

  committed
  a608ed9

  Copy full SHA for a608ed9

• Merge branch 'master' into feature/generalize-cvar

  mrmr1993

  authored
  010a954

  Copy full SHA for 010a954