Code

feat: improved check reporting#304

Code

Merged

DavePearce merged 5 commits intomainConsensys/go-corset:mainfrom 146-improved-check-reportingConsensys/go-corset:146-improved-check-reportingCopy head branch name to clipboardSep 9, 2024

+1,011-180

Commits

Commits on Sep 9, 2024

• Report multiple constraint failures

  Show description for fb3f3eb
  DavePearce

  committed
  fb3f3eb

  Copy full SHA for fb3f3eb

• Support (simplistic) structural failure information

  Show description for b784c4c
  DavePearce

  committed
  b784c4c

  Copy full SHA for b784c4c

• Support AnySortedSet

  Show description for abbc66a
  DavePearce

  committed
  abbc66a

  Copy full SHA for abbc66a

• Implement RequiredCells()

  Show description for 29f14ec
  DavePearce

  committed
  29f14ec

  Copy full SHA for 29f14ec

• Report generation for vanishing constraints

  Show description for 73cf8de
  DavePearce

  committed
  73cf8de

  Copy full SHA for 73cf8de