SetValid is now a statement in cub

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

73 stars 20 forks source link

SetValid is now a statement in cub #428

Closed rudynicolop closed 1 year ago

rudynicolop commented 1 year ago

P4cub changed SetValid from a unary operation to a statement.

Adjustments were made in the GCL library to get petr4 to build that probably are not correct so @ericthewry feel free to make changes and corrections.