Labels

• addToP4SpecPR

  contains todos to be added to informal P4 spec
• bad-test
• bug

  Something isn't working
• dependency-management
• documentation
• doublecheck

  if the issue needs to be double checked
• duplicate

  This issue or pull request already exists
• easy

  This bug seems straightforward to fix.
• elaborator
• enhancement

  New feature or request
• interpreter
• invalid

  This doesn't seem right
• next release
• parser
• performance
• Petr4NeedsToBeFixed
• proof-troubles

  related to proofs about the formal semantics
• refactor-type-sys
• stf-testing
• syntaxCategorization
• testing
• typechecker
• unsupported
• vs.P4

  Petr4 limitation compared to P4
• wontfix

  This will not be worked on