verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
75 stars 21 forks source link

remove InferMemberTypes pass #429

Closed ericthewry closed 1 year ago

ericthewry commented 1 year ago

This pass is outdated & was introducing type errors in the generated p4cub code, so I removed it.

hackedy commented 1 year ago

Thanks, this was causing @Calvin-S problems on the leapfrog compiler branch