Code

Hub consistency arguments#565

Code

Open

OlivierBBB wants to merge 6 commits intomasterConsensys/linea-constraints:masterfrom HUB-consistency-argumentsConsensys/linea-constraints:HUB-consistency-argumentsCopy head branch name to clipboard

+389-284

Commits

Commits on Jan 16, 2025

• feat: using new corst functions

  OlivierBBB

  committed
  5eb1b0a

  Copy full SHA for 5eb1b0a

• ras: make it compile + .gitignore

  OlivierBBB

  committed
  537500c

  Copy full SHA for 537500c

• Merge branch 'master' into HUB-consistency-arguments

  OlivierBBB

  authored
  0b06806

  Copy full SHA for 0b06806

• ras: remove deprecated file

  OlivierBBB

  committed
  9a3afae

  Copy full SHA for 9a3afae

Commits on Jan 17, 2025

• fix: add consistency arguments to the HUB in the Makefile

  OlivierBBB

  committed
  fadfc1c

  Copy full SHA for fadfc1c

Commits on Jan 18, 2025

• update makefile targets

  Show description for 35d6ca0
  DavePearce

  committed
  35d6ca0

  Copy full SHA for 35d6ca0