P4cub p4light 2.0 - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Closed rudynicolop closed 2 years ago

rudynicolop commented 2 years ago

Merging Natalie's embedding implementation into p4cub refactoring branch.

jnfoster commented 2 years ago

Nicely done!