search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
75 stars 21 forks source link

Pattern Embedding #408

Closed zachary-kent closed 1 year ago

zachary-kent commented 1 year ago

Implements and verifies the soundness & completeness of a function embedding P4cub patterns into ValueSets.