issues
search
verified-network-toolchain
/
petr4
Petr4: Formal Semantics for P4
Apache License 2.0
74
stars
20
forks
source link
Refactor info
#347
Closed
pataei
closed
2 years ago
pataei
commented
2 years ago
info is renamed to tags when passed. the info module is still named info.
tags is a record's field across all data types.
it is also polymorphic. so
pblah
is the polymorphic type and
blah
then instantiates it with Info.
make ci-test is added to the build CI.
the runtime values ignore the tags. when we have the time it'd be preferable to refactor them so that the tags aren't being passed to them.
jnfoster
commented
2 years ago
Yay!
pblah
is the polymorphic type andblah
then instantiates it with Info.