verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
74 stars 20 forks source link

Supporting `bit<0>` #359

Closed jnfoster closed 1 year ago

jnfoster commented 1 year ago

P4 supports zero-length numerics. But Petr4 currently rejects them, expecting the width to be a positive integer.