Code

some HUB constraints debugging#485

Code

Merged

OlivierBBB merged 28 commits intomasterConsensys/linea-constraints:masterfrom 484-add-hub-constraintsConsensys/linea-constraints:484-add-hub-constraintsCopy head branch name to clipboardNov 4, 2024

+225-195

Commits

Commits on Oct 30, 2024

• add HUB constraints

  Show description for 4ba5621
  letypequividelespoubelles

  committed
  4ba5621

  Copy full SHA for 4ba5621

• typo

  Show description for 8bd3f94
  letypequividelespoubelles

  committed
  8bd3f94

  Copy full SHA for 8bd3f94

• typo

  Show description for a2234f6
  letypequividelespoubelles

  committed
  a2234f6

  Copy full SHA for a2234f6

• fix: removed stack consistency constraints

  OlivierBBB

  committed
  837f08e

  Copy full SHA for 837f08e

• fix: make the constraints compile

  Show description for 16d3740
  OlivierBBB

  committed
  16d3740

  Copy full SHA for 16d3740

• Merge branch 'master' into 484-add-hub-constraints

  OlivierBBB

  committed
  47fe220

  Copy full SHA for 47fe220

• fix: context consistency constraints

  OlivierBBB

  committed
  182ad13

  Copy full SHA for 182ad13

• fix: unexceptional RETURN's from message calls now always provide return data (even in the root)

  OlivierBBB

  committed
  7e018d1

  Copy full SHA for 7e018d1

• fix: unexceptional REVERT's now always provide return data, even in the root

  OlivierBBB

  committed
  b639c86

  Copy full SHA for b639c86

Commits on Oct 31, 2024

• fix: splitting the "REVERT setting context" constraint in two

  Show description for d04e219
  OlivierBBB

  committed
  d04e219

  Copy full SHA for d04e219

• fix: simplified GAS_COST for CALLDATACOPY + split the constraint

  OlivierBBB

  committed
  eb6bfec

  Copy full SHA for eb6bfec

• fix: split GAS_COST for RETURNDATACOPY into SANS/WITH_COMPUTATION cases

  OlivierBBB

  committed
  b3790cf

  Copy full SHA for b3790cf

• fix: splitting GAS_COST for CODECOPY

  OlivierBBB

  committed
  e3d7047

  Copy full SHA for e3d7047

• fix: spliting GAS_COST for EXTCODECOPY

  OlivierBBB

  committed
  0f5f552

  Copy full SHA for 0f5f552

• fix: debug constraint had issue

  OlivierBBB

  committed
  1eb747f

  Copy full SHA for 1eb747f

• fix: TXN instruction family now uses is_ORIGIN and is_GASPRICE flags

  OlivierBBB

  committed
  96f7c56

  Copy full SHA for 96f7c56

• ras

  OlivierBBB

  committed
  b6464f6

  Copy full SHA for b6464f6

• fix: mix up in SLOAD/SSTORE flags

  Show description for dc16d76
  OlivierBBB

  committed
  dc16d76

  Copy full SHA for dc16d76

• ras: splitting up the storage-instruction's "setting-values" into 3

  Show description for 1399625
  OlivierBBB

  committed
  1399625

  Copy full SHA for 1399625

• ras: formatting + removed empty file

  OlivierBBB

  committed
  b58578e

  Copy full SHA for b58578e

Commits on Nov 1, 2024

• ras splitting of hub/generalities constraint

  Show description for 409aa98
  OlivierBBB

  committed
  409aa98

  Copy full SHA for 409aa98

• fix: some renaming of jump instruction constriants

  OlivierBBB

  committed
  91b79e9

  Copy full SHA for 91b79e9

• fix: splitting the MACHINE_STATE's "setting-stack-value" constraint in 3

  OlivierBBB

  committed
  74d9408

  Copy full SHA for 74d9408

• fix: remain faithful to spec

  Show description for 171c644
  OlivierBBB

  committed
  171c644

  Copy full SHA for 171c644

• fix: implemented the correct formula for MSIZE

  OlivierBBB

  committed
  4ee0ff8

  Copy full SHA for 4ee0ff8

• fix: create stack pattern STACK_STAMP typo for CREATE2's + renaming

  Show description for fb233c7
  OlivierBBB

  committed
  fb233c7

  Copy full SHA for fb233c7

Commits on Nov 4, 2024

• switch off HUB constraints

  Show description for 25d242c
  letypequividelespoubelles

  authored
  25d242c

  Copy full SHA for 25d242c

• Merge branch 'master' into 484-add-hub-constraints

  OlivierBBB

  authored
  1f0fbab

  Copy full SHA for 1f0fbab