Cub inout args - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

73 stars 20 forks source link

Closed rudynicolop closed 1 year ago

rudynicolop commented 1 year ago

P4cub now separates in and out parameters/arguments into different lists.

rudynicolop commented 1 year ago

@hackedy and @ericthewry ready for review!

hackedy commented 1 year ago

Thank you for splitting up action parameters into ctrl/data params!