Code

feat: implement corset type checker#431

Code

Merged

DavePearce merged 16 commits intomainConsensys/go-corset:mainfrom 393-implement-corset-type-checkerConsensys/go-corset:393-implement-corset-type-checkerCopy head branch name to clipboardDec 13, 2024

+3,419-837

Commits

Commits on Dec 13, 2024

• Add Tests for Typing

  Show description for 871e9b1
  DavePearce

  committed
  871e9b1

• Distinguish loobean / boolean semantics

  Show description for 9ffc057
  DavePearce

  committed
  9ffc057

• Support primitive type inference

  Show description for 5e3d361
  DavePearce

  committed
  5e3d361

• Enable Resolution of If

  Show description for 72c96ac
  DavePearce

  committed
  72c96ac

• Enable checking guards are boolean

  Show description for e8fec55
  DavePearce

  committed
  e8fec55

• Fix (now broken) tests

  Show description for 144e25b
  DavePearce

  committed
  144e25b

• Support Function Return Types

  Show description for 00a996f
  DavePearce

  committed
  00a996f

• Rework Memory Example

  Show description for 81f95e5
  DavePearce

  committed
  81f95e5

• Update byte-decomposition example

  DavePearce

  committed
  aafa4b4

• Implement type inference

  Show description for 83e29eb
  DavePearce

  committed
  83e29eb

• Support type inference through invocations

  Show description for a544600
  DavePearce

  committed
  a544600

• Fix Declaration Finalisation

  Show description for 67d6b61
  DavePearce

  committed
  67d6b61

• Fixes for Quick Tests

  Show description for 65a1a9a
  DavePearce

  committed
  65a1a9a

• Update standard library

  Show description for f737b77
  DavePearce

  committed
  f737b77

• Update Slow Tests

  Show description for 404a7eb
  DavePearce

  committed
  404a7eb

• Minor fixes

  Show description for 858a490
  DavePearce

  committed
  858a490