-
Notifications
You must be signed in to change notification settings - Fork 80
Issues: p4lang/p4-spec
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Consider adding Verilog style
:
(and possibly -:
) slice operator(s)
future enhancement
#1304
opened Sep 5, 2024 by
ChrisDodd
Consider AsciiDoc for future format of source for P4 language specification
#1298
opened Aug 5, 2024 by
jafingerhut
Misleading code example for 8.24. Operations on types that are type variables
#1295
opened Jul 31, 2024 by
jaehyun1ee
Document restriction that numeric priorities may not be specified within
const entries
#1292
opened Jul 10, 2024 by
jafingerhut
Investigate whether PDF/HTML generated for all versions are in git repo history
#1287
opened Jun 23, 2024 by
jafingerhut
Allow compile-time resolvable expressions for switch labels?
question
#1281
opened May 9, 2024 by
fruffy
remove overflow warning when using signed integer literals of same representation size?
#1269
opened Dec 19, 2023 by
AndrzejSawula
Language for specifying P4_16 architectures
future enhancement
#1268
opened Oct 2, 2023 by
jafingerhut
Should it be legal to have a reference of an extern type name within the definition of that extern?
#1262
opened Jul 25, 2023 by
jafingerhut
Introduce compile-time bounded for loops and if statements inside of
entries
table property
#1261
opened Jul 23, 2023 by
jafingerhut
5 of 9 tasks
Should this proposed
encrypt_inline
extern object method require a parameter of type packet_in
?
PNA
#1192
opened Nov 26, 2022 by
jfingerh
Add some description of
assert
and assume
to body of PSA spec
Fixed
portable switch architecture
#1185
opened Nov 13, 2022 by
jfingerh
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.