Merge pull request #697 from jnfoster/final-release-candidate

P4_16 v1.1.0 and P4_14 v1.0.5 release

Author: jnfoster

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}
 

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 }