parser, control, package types defined

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

75 stars 21 forks source link

parser, control, package types defined #420

Closed Harim-H closed 1 year ago

Harim-H commented 1 year ago

Implemented parser, control, package type decl and well-formed

pataei commented 1 year ago

Added this PR in P4 formalization, but didn't merge it since the notation has changed significantly from then. Also, added extensions of the environments and some extra checks that were missing here.