Code

P4 formalization#442

Code

Open

pataei wants to merge 85 commits intomainverified-network-toolchain/petr4:mainfrom p4-formalizationverified-network-toolchain/petr4:p4-formalizationCopy head branch name to clipboard

+3,304-2,243

Commits

Commits on Jul 6, 2023

• test

  pataei

  committed
  d715791

• Completed struct: well-formed and decl

  

  Harim-H

  authored and

  pataei

  committed
  7635f32

• header union ops

  pataei

  committed
  a5ae252

• well formed header stack

  pataei

  committed
  8c6e64e

• struct well typed and decl done but removed for later compare with Harim

  pataei

  committed
  951ae26

• typedef decl underway

  pataei

  committed
  25599f7

• try out for harim

  pataei

  committed
  4d2a490

• struct decl and well-formed

  pataei

  committed
  c21d80a

• fixed header stack well-formed

  pataei

  committed
  caf5a33

• add struct to has eq

  

  Harim-H

  authored and

  pataei

  committed
  ca91566

• implemented struct field access

  

  Harim-H

  authored and

  pataei

  committed
  0ecd857

• ops on struct like types..almost done

  pataei

  committed
  ae42710

• ..

  pataei

  committed
  c18a34f

• minor grammatical changes

  

  Harim-H

  authored and

  pataei

  committed
  cbd0c2a

• declared types syntax underway

  pataei

  committed
  419ba76

• fixed typo in struct sntax

  pataei

  committed
  086590f

• fix func ret

  pataei

  committed
  e430fff

• remove parametrization of surface type

  pataei

  committed
  24a44ec

• added note

  pataei

  committed
  d4fa296

• clean up

  pataei

  committed
  f9ec886

• fix typo

  pataei

  committed
  734b760

• error decl done

  pataei

  committed
  e246660

• cleaned up membership rules

  pataei

  committed
  34cd31d

• switching

  pataei

  committed
  0e4d874

• add arch

  pataei

  committed
  8e3da1b

• add figs

  pataei

  committed
  dca21d2

• added small example for p4 workshop

  pataei

  committed
  0b0a572

• added small example for p4 workshop

  pataei

  committed
  f12b55a

• new arch

  pataei

  committed
  75194ba

• p4 talk

  pataei

  committed
  eef9be0

• removed typo

  pataei

  committed
  67d7aac

• restructuring ...

  pataei

  committed
  a587038

• add all figs

  pataei

  committed
  c0609bc

• ast done

  pataei

  committed
  9f5ea3e

• working on type checker conventions

  pataei

  committed
  6580e43

• remove typo

  pataei

  committed
  905bdd4

• fixed typo

  pataei

  committed
  4994c77

• type checker envs

  pataei

  committed
  083cdc1

• formal notation sec done

  pataei

  committed
  2e4f426

• have to restart..save changes

  pataei

  committed
  986313e

• working on type well-formed rules + non-formal

  pataei

  committed
  68f9e12

• add notation + fix typos

  pataei

  committed
  bdf32d5

• working on enum well-formed

  pataei

  committed
  00d0dc2

• working on header type well-formed..four todos to write

  pataei

  committed
  4a63b51

• header well-formed done

  pataei

  committed
  92b9f57

• header union well-formed done

  pataei

  committed
  a4bf5be

• struct well-formed done

  pataei

  committed
  7c751f7

• deleting stuff that was for p4 workshop

  pataei

  committed
  773b881

• working on exp type checker ...array access underway

  pataei

  committed
  ebaa123

• binary ops macros fixed

  pataei

  committed
  21afa9d

• helpers are linkable..have to add the links where they are used

  pataei

  committed
  54656da

• rewrote the informal part of type well-formed

  pataei

  committed
  c08397c

• binary op informal done

  pataei

  committed
  629e6d6

• removed the in-progress parts from the older version

  pataei

  committed
  05b8f53

• working on casting rules

  pataei

  committed
  c5df2c6

• casting judgment done

  pataei

  committed
  124454e

• cast exp done

  pataei

  committed
  77f8d76

• conditional done

  pataei

  committed
  49ce8b1

• enum type decl done

  pataei

  committed
  4b57041

• enum decls done

  pataei

  committed
  d729841

• header, struct, header union, error decl done

  pataei

  committed
  7d379f6

• implementing type sys done

  pataei

  committed
  586e2ee

• types edit done

  pataei

  committed
  6f057cf

• spell checking done

  pataei

  committed
  7b82efa

• exp halfway

  pataei

  committed
  a4cb60c

• exp edit done

  pataei

  committed
  5f34ff6

• decls edit done

  pataei

  committed
  13bd181

• litlle edits

  pataei

  committed
  75737db

• valid param done

  pataei

  committed
  0acbb33

• parser control well-typed done

  pataei

  committed
  9241e47

• working on parser control package dcl

  pataei

  committed
  442c909

Commits on Jul 7, 2023

• package type dcl

  pataei

  committed
  d3d4745

Commits on Jul 20, 2023

• ctxt + todos done

  pataei

  committed
  fd6a42b

• fix typos

  pataei

  committed
  3667e67

Commits on Jul 21, 2023

• working on type well-formed and decl

  pataei

  committed
  dd20413

Commits on Jul 24, 2023

• more type well-formed

  pataei

  committed
  5123702

Commits on Jul 25, 2023

• type well-formed done..some might change after dcl type checking

  pataei

  committed
  07dc73b

Commits on Jul 26, 2023

• todos done

  pataei

  committed
  4df93ee

Commits on Jul 27, 2023

• added todo for the rest ofthe week

  pataei

  committed
  a60eedd

Commits on Aug 14, 2023

• update todos

  pataei

  committed
  e85eb01

Commits on Aug 28, 2023

• membership type checking

  pataei

  committed
  eaf0ee2

• fixed exp mem

  pataei

  committed
  7f92683

• clean out for P4 LDWG meeting

  pataei

  committed
  d19bcad

Commits on Sep 11, 2023

• anonym inst

  pataei

  committed
  2c23428

Commits on Oct 12, 2023

• statements done

  pataei

  committed
  52db397