Skip to content

No labels!

There aren’t any labels for this repository quite yet.

25 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
addToP4SpecPR
addToP4SpecPR
contains todos to be added to informal P4 spec
2
bad-test
bad-test
10
bug
bug
Something isn't working
dependency-management
dependency-management
documentation
documentation
1
doublecheck
doublecheck
if the issue needs to be double checked
1
duplicate
duplicate
This issue or pull request already exists
easy
easy
This bug seems straightforward to fix.
1
elaborator
elaborator
enhancement
enhancement
New feature or request
interpreter
interpreter
11
invalid
invalid
This doesn't seem right
next release
next release
parser
parser
performance
performance
1
Petr4NeedsToBeFixed
Petr4NeedsToBeFixed
2
proof-troubles
proof-troubles
related to proofs about the formal semantics
refactor-type-sys
refactor-type-sys
2
stf-testing
stf-testing
43
syntaxCategorization
syntaxCategorization
testing
testing
1
typechecker
typechecker
28
unsupported
unsupported
18
vs.P4
vs.P4
Petr4 limitation compared to P4
14
wontfix
wontfix
This will not be worked on