P4cub Expression Interpreter

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Closed zachary-kent closed 1 year ago

zachary-kent commented 1 year ago

Implements and verifies an interpreter for P4Cub expressions.

zachary-kent commented 1 year ago

Looks like the build was already broken on poulet4

hackedy commented 1 year ago

looks great!