IsValid Bugfix - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

73 stars 20 forks source link

Closed ericthewry closed 1 year ago

ericthewry commented 1 year ago

Small Bugfix to translate isValid() occurrences after they've been lifted out of expressions.

ericthewry commented 1 year ago

rebase error sorry:(