Code

Refactor verify_secure_runner#768

Code

Merged

fmoletta merged 50 commits intomainlambdaclass/cairo-vm:mainfrom refactor-verify-secure-runnerlambdaclass/cairo-vm:refactor-verify-secure-runnerCopy head branch name to clipboardJan 25, 2023

+336-150

Commits

Commits on Jan 23, 2023

• Start re-implementing BuiltinRunner::run_security_checks

  fmoletta

  committed
  a7b6827

  Copy full SHA for a7b6827

• Add method verify_auto_deductions_for_addr + finish re-implementation

  fmoletta

  committed
  5373b21

  Copy full SHA for 5373b21

• Fix loop variable

  fmoletta

  committed
  6f11822

  Copy full SHA for 6f11822

• Clippy

  fmoletta

  committed
  64ac435

  Copy full SHA for 64ac435

• Style

  fmoletta

  committed
  40b3cec

  Copy full SHA for 40b3cec

• Fix math + add missing check

  fmoletta

  committed
  35385f7

  Copy full SHA for 35385f7

• Fix logic

  fmoletta

  committed
  59b421e

  Copy full SHA for 59b421e

• Add test + repurpose test

  fmoletta

  committed
  b4e703e

  Copy full SHA for b4e703e

• Fix test

  fmoletta

  committed
  7d5e2c8

  Copy full SHA for 7d5e2c8

• Fix potential substraction with overflow

  fmoletta

  committed
  1d93388

  Copy full SHA for 1d93388

• Remove test inconsistencies

  fmoletta

  committed
  261b428

  Copy full SHA for 261b428

• Use iterators for offset_max & offset_len

  fmoletta

  committed
  0c2a12d

  Copy full SHA for 0c2a12d

• Use assumption for max_offset

  fmoletta

  committed
  290d83a

  Copy full SHA for 290d83a

• Add misc tests

  fmoletta

  committed
  c33a2fc

  Copy full SHA for c33a2fc

• Add more tests

  fmoletta

  committed
  d159160

  Copy full SHA for d159160

• Merge branch 'main' of github.com:lambdaclass/cairo-rs into clean-builtin-code

  fmoletta

  committed
  6d97641

  Copy full SHA for 6d97641

• More exhaustive clippy

  fmoletta

  committed
  96dc92c

  Copy full SHA for 96dc92c

• Merge branch 'main' of github.com:lambdaclass/cairo-rs into clean-builtin-code

  fmoletta

  committed
  e58e3fd

  Copy full SHA for e58e3fd

• Save initial progress

  fmoletta

  committed
  9ea5006

  Copy full SHA for 9ea5006

• Save progress

  fmoletta

  committed
  bf79dbb

  Copy full SHA for bf79dbb

Commits on Jan 24, 2023

• Return early ok if empty builtin segment

  fmoletta

  committed
  c2a5147

  Copy full SHA for c2a5147

• Fix comparison bounds

  fmoletta

  committed
  f7fbf42

  Copy full SHA for f7fbf42

• Merge branch 'clean-builtin-code' into refactor-verify-secure-runner

  fmoletta

  committed
  6a33860

  Copy full SHA for 6a33860

• Remove uneeded mut

  fmoletta

  committed
  d343038

  Copy full SHA for d343038

• Merge branch 'clean-builtin-code' into refactor-verify-secure-runner

  fmoletta

  committed
  bdeb8bf

  Copy full SHA for bdeb8bf

• Add warning, fix comparison, add tests

  fmoletta

  committed
  61bc4c6

  Copy full SHA for 61bc4c6

• Fix test

  fmoletta

  committed
  b0b1d61

  Copy full SHA for b0b1d61

• Fix tests

  fmoletta

  committed
  6ccd5d4

  Copy full SHA for 6ccd5d4

• Quick solution for stop_ptr not being updated

  fmoletta

  committed
  aeeb763

  Copy full SHA for aeeb763

• Fix error variant

  fmoletta

  committed
  0472302

  Copy full SHA for 0472302

• Save progress

  fmoletta

  committed
  d5cc3db

  Copy full SHA for d5cc3db

• Fix error varaint in test

  fmoletta

  committed
  b0220ad

  Copy full SHA for b0220ad

• Fix test

  fmoletta

  committed
  5c31f2c

  Copy full SHA for 5c31f2c

• Add temporary addresses check

  fmoletta

  committed
  88316fb

  Copy full SHA for 88316fb

• Add tests for temporary addresses check

  fmoletta

  committed
  66f0cc6

  Copy full SHA for 66f0cc6

• Remove previous implementation

  fmoletta

  committed
  77c6604

  Copy full SHA for 77c6604

• Simplify segment info + clippy

  fmoletta

  committed
  5fbd565

  Copy full SHA for 5fbd565

• Style

  fmoletta

  committed
  d931b1e

  Copy full SHA for d931b1e

• Merge branch 'main' of github.com:lambdaclass/cairo-rs into refactor-verify-secure-runner

  fmoletta

  committed
  51607a1

  Copy full SHA for 51607a1

• Fix

  fmoletta

  committed
  1dcae18

  Copy full SHA for 1dcae18

• Fix error strings

  fmoletta

  committed
  390ba6a

  Copy full SHA for 390ba6a

• Add comment

  fmoletta

  committed
  ad7ea94

  Copy full SHA for ad7ea94

• Add changelog entry

  fmoletta

  committed
  735aa54

  Copy full SHA for 735aa54

• Add tests for read_return_values

  fmoletta

  committed
  7c22341

  Copy full SHA for 7c22341

• Clippy tests

  fmoletta

  committed
  dd92a4c

  Copy full SHA for dd92a4c

• Update CHANGELOG.md

  fmoletta

  authored
  b0bc964

  Copy full SHA for b0bc964

Commits on Jan 25, 2023

• Change return of get_segment_info to vec

  fmoletta

  committed
  6ac05b3

  Copy full SHA for 6ac05b3

• Merge branch 'refactor-verify-secure-runner' of github.com:lambdaclass/cairo-rs into refactor-verify-secure-runner

  fmoletta

  committed
  5f7eb38

  Copy full SHA for 5f7eb38

• Fix typos

  fmoletta

  committed
  14b6d3a

  Copy full SHA for 14b6d3a

• Add FIXME comment

  fmoletta

  committed
  d4396b8

  Copy full SHA for d4396b8