search

verified-network-toolchain / petr4

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

Properly Merge Switch Statements #294

Closed ericthewry closed 2 years ago

ericthewry commented 2 years ago

Reconcile conflicts between #290 and #286 that broke poulet4, necessitating #292.

Essentially #286 removed BareNames in some places that cause MultiProtocol.v not to build.

They've been fixed, and it builds for me now.