search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
73 stars 20 forks source link

Value Projection #423

Closed zachary-kent closed 1 year ago

zachary-kent commented 1 year ago

Implements and verified projection of P4Light values. Depends on #421.