Code

Proof mode, second draft#1488

Code

Closed

MauroToscano wants to merge 6 commits intomainlambdaclass/cairo-vm:mainfrom cairo1_proof_modelambdaclass/cairo-vm:cairo1_proof_modeCopy head branch name to clipboard

+101-11

Commits

Commits on Nov 19, 2023

• proof mode for add u8

  MauroToscano

  committed
  4be23ec

  Copy full SHA for 4be23ec

• proof mode 2

  MauroToscano

  committed
  ff104eb

  Copy full SHA for ff104eb

• Improved code readability, upper bounded ap

  MauroToscano

  committed
  cfb5e0a

  Copy full SHA for cfb5e0a

• Dynamic builtins

  MauroToscano

  committed
  95c32a7

  Copy full SHA for 95c32a7

Commits on Nov 22, 2023

• Generalized the code to work with and without gas builtins

  MauroToscano

  committed
  ee577ff

  Copy full SHA for ee577ff

Commits on Nov 23, 2023

• Fix comments

  MauroToscano

  committed
  c4fe882

  Copy full SHA for c4fe882