Semantics of writing and setting invalid of a header member of a header union

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

76 stars 21 forks source link

Semantics of writing and setting invalid of a header member of a header union #299

Open QinshiWang opened 2 years ago

QinshiWang commented 2 years ago

We postpone merging this PR, because the specification of this behavior is under discussion by the P4 language team.

QinshiWang commented 2 years ago

https://github.com/p4lang/p4-spec/issues/995

hackedy commented 1 year ago

Is this mergeable now? I don't know if there's a related p4-spec issue or anything like that?

QinshiWang commented 1 year ago

The discussion in p4-spec is linked above. It shows the discussion is put aside, so I don't know how to handle this PR. Maybe we should juts follow what the current Spec says?