From 23bc56f92e29c4a3c70e5c8b21d1480001f8a7c3 Mon Sep 17 00:00:00 2001 From: Nate Foster Date: Mon, 26 Nov 2018 15:24:34 -0500 Subject: [PATCH 1/2] P4_16 v1.1.0 and P4_14 v1.0.5 release --- p4-14/v1.0.5/tex/p4.pt | 2 +- p4-16/spec/P4-16-spec.mdk | 6 ++++-- 2 files changed, 5 insertions(+), 3 deletions(-) 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..e45e6ba087 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,7 +6973,7 @@ 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` | +| 1.1.0 | November 26, 2018 | Added top-level functions, optional and named parameters, `enum` | | | | representations, parser value sets, type definitions, saturating | | | | saturating arithmetic, and structured annotations. | | | | Removed `globalname` annotation and added a table `size` property. | @@ -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 } From 4a32458468cb8002e1a71dc9c73233fdc529abb1 Mon Sep 17 00:00:00 2001 From: Nate Foster Date: Mon, 26 Nov 2018 15:48:40 -0500 Subject: [PATCH 2/2] Remove redundant saturating --- p4-16/spec/P4-16-spec.mdk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/p4-16/spec/P4-16-spec.mdk b/p4-16/spec/P4-16-spec.mdk index e45e6ba087..e3038a5794 100644 --- a/p4-16/spec/P4-16-spec.mdk +++ b/p4-16/spec/P4-16-spec.mdk @@ -6974,7 +6974,7 @@ The P4 compiler should provide: | 1.0.0 | May 17, 2017 | Initial version. | |-----|-----|-----| | 1.1.0 | November 26, 2018 | Added top-level functions, optional and named parameters, `enum` | -| | | representations, parser value sets, type definitions, saturating | +| | | 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 |