search

verified-network-toolchain / petr4

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

Petr4 doesn't have generic headers #398

Closed pataei closed 1 year ago

pataei commented 1 year ago

Petr4 doesn't have generic headers. Not sure if and when we want to add them. They will affect the type inference.

hackedy commented 1 year ago

There is already an issue for this #305

pataei commented 1 year ago

Thanks for mentioning it's been issued before.