p4lang / p4-spec

p4lang/p4-spec Issues

Design syntax and semantics to indicate persistent storage of per-table-entry data across packets, modifiable in data plane
Updated 2 months ago29
remove overflow warning when using signed integer literals of same representation size?
Updated 5 months ago4
Should it be legal to have a reference of an extern type name within the definition of that extern?
Updated 6 months ago7
Confusing note about `action_run` switch
Updated 7 months ago4
Support for generic list types and list literals
Closed 7 months ago2
Accept more operations for int values
Closed 7 months ago1
action_run with an action that shadows in the global namespace and the local namespace
Closed 7 months ago1
Is there any specific timing method defined in p4 language?
Closed 7 months ago5
Add support for generic arrays and applyonall/forall
Closed 7 months ago9
@optional annotation wording is confusing
Closed 7 months ago1
Add assert and assume extern functions to core.p4
Closed 7 months ago6
key element not being scalar is not mentioned in the spec
Closed 7 months ago1
Question about extern declaration grammar
Closed 7 months ago5
Loose description of implicit cast
Closed 7 months ago4
Add log_msg extern functions to core.p4
Closed 7 months ago10
Define "initial entries" for P4 tables, in addition to currently defined "const entries"
Closed 7 months ago3
Language for specifying P4_16 architectures
Updated 8 months ago1
Add dynamic array to P4
Closed 9 months ago13
Streaming the payload
Closed 9 months ago1
Several definitions of grammar rules in P4-16-spec.mdk that differ from those in grammar.mdk file
Closed 9 months ago1
language evolution: "optional" should be a keyword
Closed 9 months ago4
Spec should make a list of all things that a particular target should precisely specify
Closed 9 months ago1
Allow easier casting of serializable enum to a different bit width
Closed 9 months ago5
Introduce compile-time bounded for loops and if statements inside of `entries` table property
Updated 9 months ago15
All spec links from p4.org are broken
Closed 10 months ago2
Rationale for allowing 0-width type `bit<0>` ?
Closed a year ago6
Original source of editable figures in the language spec?
Closed a year ago3
The spec for header union operations seems incomplete
Closed a year ago7
Include no-op casts (t -> t) in list of explicit casts
Closed a year ago1
Enhancement to P4 tables to enable "lookup" method with no side effects, and can be called from within P4 actions
Closed a year ago14
Add expression to represent an invalid header_union value
Closed a year ago3
Should this proposed `encrypt_inline` extern object method require a parameter of type `packet_in`?
Updated a year ago6
There is no section on "operations on extern objects"
Closed a year ago4
Reason for limiting fixed-length types to have a constant width
Closed a year ago5
Sum QoS throughout
Closed a year ago3
Should switch statements and select expressions be unified?
Closed a year ago3
Can we allow trailing comma in P4?
Closed a year ago3
Compiler should not expand stack copying in parsers
Closed a year ago
Open to a few changes to grammar.mdk file to make it easier to compare to grammar in p4c?
Closed a year ago10
Minor omission: `string` is missing from appendix B reserved keywords list
Closed a year ago
Add list type to P4
Closed a year ago2
PSA (and PNA): what types are valid for the hash extern object type params
Updated 2 years ago4
Discuss adding namespace to P4-16 spec
Closed 2 years ago3
Add some description of `assert` and `assume` to body of PSA spec
Updated 2 years ago2
https://p4.org/p4-spec/docs/P4-16-working-spec.html is not being generated correctly or stopped being generated
Closed 2 years ago5
Duplicated table properties
Closed 2 years ago2
PSA: Add documentation to spec on assert and assume extern functions
Closed 2 years ago1
headerstack.last should not be a lvalue but the spec is not clear it is not one
Closed 2 years ago1
Change to Conditional operator was wrong
Closed 2 years ago
Unclear woring of `inout` parameters vs. initialization
Closed 2 years ago3