Code

Arch refactor typechecker#414

Code

Draft

pataei wants to merge 25 commits intomainverified-network-toolchain/petr4:mainfrom arch-refactor-typecheckerverified-network-toolchain/petr4:arch-refactor-typecheckerCopy head branch name to clipboard

+922-12

Commits

Commits on Mar 10, 2023

• starting on surface syntax

  pataei

  committed
  1e602ad

  Copy full SHA for 1e602ad

Commits on Mar 23, 2023

• working on synthesized types syntax

  pataei

  committed
  eeeff1e

  Copy full SHA for eeeff1e

• types syntax

  pataei

  committed
  c4e3ac4

  Copy full SHA for c4e3ac4

• remove unfinished code

  pataei

  committed
  cfa36ae

  Copy full SHA for cfa36ae

Commits on Mar 24, 2023

• fix some errors

  pataei

  committed
  5a45c6b

  Copy full SHA for 5a45c6b

Commits on Mar 28, 2023

• syntax done

  pataei

  committed
  45463ce

  Copy full SHA for 45463ce

• comments

  pataei

  committed
  a94117a

  Copy full SHA for a94117a

• all types in one

  pataei

  committed
  90c41ff

  Copy full SHA for 90c41ff

Commits on Mar 29, 2023

• surface ir to represent before and after type inference

  pataei

  committed
  d1b72e6

  Copy full SHA for d1b72e6

Commits on Mar 30, 2023

• added stmt decl

  pataei

  committed
  b33b964

  Copy full SHA for b33b964

Commits on Apr 2, 2023

• applied comments..inlined tags except for expr stmt and decl

  pataei

  committed
  8c4a377

  Copy full SHA for 8c4a377

Commits on Apr 6, 2023

• syntax fixed

  pataei

  committed
  b83d349

  Copy full SHA for b83d349

Commits on Apr 8, 2023

• putting structure in for simple type checker

  pataei

  committed
  7edd710

  Copy full SHA for 7edd710

• working on expr typing

  pataei

  committed
  a647a5f

  Copy full SHA for a647a5f

• next up membership rules

  pataei

  committed
  981b6fc

  Copy full SHA for 981b6fc

• switching to spec

  pataei

  committed
  4e625e3

  Copy full SHA for 4e625e3

Commits on Apr 9, 2023

• have to clean up exp mem in doc

  pataei

  committed
  ae21c14

  Copy full SHA for ae21c14

• list almost done..only func call and instantiatio left

  pataei

  committed
  b8efdb0

  Copy full SHA for b8efdb0

Commits on Apr 13, 2023

• changes in meeting

  pataei

  committed
  f3cf4c6

  Copy full SHA for f3cf4c6

Commits on Apr 14, 2023

• added some comments

  pataei

  committed
  345aaf8

  Copy full SHA for 345aaf8

Commits on Apr 17, 2023

• added comment

  pataei

  committed
  d564e2c

  Copy full SHA for d564e2c

Commits on May 2, 2023

• break checker and utils

  pataei

  committed
  c18f08b

  Copy full SHA for c18f08b

• binop helper ready for Harim to be filled out

  pataei

  committed
  83561c1

  Copy full SHA for 83561c1

• structure for type eq

  pataei

  committed
  c1f69d8

  Copy full SHA for c1f69d8

• added sufficient comments for all helpers

  pataei

  committed
  0f45e72

  Copy full SHA for 0f45e72