diff --git a/p4-14/v1.0.5/tex/p4.pt b/p4-14/v1.0.5/tex/p4.pt index 58e10a3e7a..5c9f39c3fe 100755 --- a/p4-14/v1.0.5/tex/p4.pt +++ b/p4-14/v1.0.5/tex/p4.pt @@ -40,7 +40,7 @@ \vspace{3mm} \centerline{\sffamily\Large Version 1.0.5} \vspace{3mm} -\centerline{\sffamily\large May 31, 2018} +\centerline{\sffamily\large November 26, 2018} \vspace{8mm} \centerline{\sffamily\large The P4 Language Consortium} diff --git a/p4-16/spec/P4-16-spec.mdk b/p4-16/spec/P4-16-spec.mdk index 0af2110696..e3038a5794 100644 --- a/p4-16/spec/P4-16-spec.mdk +++ b/p4-16/spec/P4-16-spec.mdk @@ -1,5 +1,5 @@ Title : P4~16~ Language Specification -Title Note: version 1.1.0-rc +Title Note: version 1.1.0 Title Footer: &date; Author: The P4 Language Consortium Heading depth: 5 @@ -6973,8 +6973,8 @@ The P4 compiler should provide: |-----|-----|-----| | 1.0.0 | May 17, 2017 | Initial version. | |-----|-----|-----| -| 1.1.0 | June 5, 2018 | Added top-level functions, optional and named parameters, `enum` | -| | | representations, parser value sets, type definitions, saturating | +| 1.1.0 | November 26, 2018 | Added top-level functions, optional and named parameters, `enum` | +| | | representations, parser value sets, type definitions, | | | | saturating arithmetic, and structured annotations. | | | | Removed `globalname` annotation and added a table `size` property. | | | | Clarified semantics of operations on invalid headers, added restrictions | @@ -7007,6 +7007,8 @@ The P4 compiler should provide: - Added restrictions on kinds of values that may be passed as arguments to calls. * Bitwise operator precedence (Section [#sec-grammar]) - Modified precedence conventions so that bitwise operators `&` `|` and `^` have higher precedence than relation operators `<` `>` `<=` `>=`. +* Computed bitwidths (Section [#sec-base-types]) + - Added support for specifying widths using expressions in `bit` and `varbit` types. # Appendix: P4 reserved keywords { #sec-p4-keywords }