search

verified-network-toolchain / petr4

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

isValid Bugfix #432

Closed ericthewry closed 1 year ago

ericthewry commented 1 year ago

This fixes an issue with the SimplExpr change in #427.

IsValid is now a function call that needs to be analyzed, not a member.