Fix Issues with Extern Lookups and Argument Elaboration

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Closed ericthewry closed 2 years ago

ericthewry commented 2 years ago

This PR

Improves how externs are resolved in P4light->P4cub compiler
Improves argument elaboration in extern function calls in P4cub->GCL compiler
Adds 2 test cases: Flowlet.v and LinearRoad.v
Fixes bug in exportp4.ml where type arguments were printed as T rather than as {| str:="T"; tags:=..... |}