issues
search
verified-network-toolchain
/
petr4
Petr4: Formal Semantics for P4
Apache License 2.0
73
stars
20
forks
source link
Petr4 is missing maxSizeInBits and maxSizeInBytes
#406
Open
pataei
opened
1 year ago
pataei
commented
1 year ago
The title says it all.
The title says it all.