Skip to content

Commit 77059ec

Browse files
authored
Merge pull request #938 from p4lang/final-changes-1.2.2
Update change log and version number for version 1.2.2
2 parents b053cfb + 31f3232 commit 77059ec

File tree

1 file changed

+16
-15
lines changed

1 file changed

+16
-15
lines changed

p4-16/spec/P4-16-spec.mdk

Lines changed: 16 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Title : P4~16~ Language Specification
2-
Title Note: version 1.2.1
2+
Title Note: version 1.2.2
33
Title Footer: &date;
44
Author: The P4 Language Consortium
55
Heading depth: 5
@@ -8080,25 +8080,26 @@ The P4 compiler should provide:
80808080
| | | semantics of invalid header stacks; clarified initialization |
80818081
| | | semantics; fixed several small issues in grammar. |
80828082
|-----|-----|-----|
8083+
| 1.2.2 | May 17, 2021 |
8084+
|-----|-----|-----|
80838085

80848086
## Summary of changes made in version 1.2.2
80858087

8086-
* support for tuple field access (Section [#sec-tuple-exprs]).
8087-
* Support for generic structures (Section [#sec-type-spec]).
8088-
* Generalize `switch` statements to allow expressions with integer,
8089-
`enum`, or `error` types (Section [#sec-switch-stmt]).
8088+
* Fixed several typos and inconsistencies in grammar (Section [#sec-grammar]).
8089+
* Clarified that `default_action` is `NoAction` if otherwise unspecified (Section [#sec-tables]).
8090+
* Added support for accessing tuple fields (Section [#sec-tuple-exprs]).
8091+
* Added support for generic structures (Section [#sec-type-spec]).
8092+
* Generalize `switch` statements to allow expressions with integer, `enum`, or `error` types (Section [#sec-switch-stmt]).
80908093
* Clarified representation of Booleans in headers (Section [#sec-header-types]).
80918094
* Clarified representation of empty types (Section [#sec-uninitialized-values-and-writing-invalid-headers]).
8092-
* Clarify that action data can be specified by the control plane,
8093-
`default_action` table property, or `const entries` table property (Section [#sec-actions]).
8094-
* Support for more kinds of enumerations (Section [#sec-enum-types]).
8095-
* Specify the types of expressions permitted as an index to a header stack (Section [#sec-expr-hs]).
8096-
* Add description of abstract methods (Section [#sec-abstract-methods]).
8097-
* Allow conditional statements in parsers
8098-
* Allow casts from `int` to `bool`
8099-
* Allow 0-width bitstrings, varbits (Section [#sec-uninitialized-values-and-writing-invalid-headers]).
8100-
* Allow empty statements in parsers
8101-
* Eliminate annotations on `const` entries in grammar
8095+
* Clarified that action data can be specified by the control plane, `default_action` table property, or `const entries` table property (Section [#sec-actions]).
8096+
* Added support for additional enumeration types (Section [#sec-enum-types]).
8097+
* Specified the types of expressions that may be used as indexes for header stacks (Section [#sec-expr-hs]).
8098+
* Added description of abstract methods (Section [#sec-abstract-methods]).
8099+
* Added support for conditional statements and empty statements in parsers (Section [#sec-parsers]).
8100+
* Added support for casts from `int` to `bool`.
8101+
* Added support for 0-width bitstrings and varbits (Section [#sec-uninitialized-values-and-writing-invalid-headers]).
8102+
* Eliminated annotations on `const` entries in grammar.
81028103

81038104
## Summary of changes made in version 1.2.1
81048105

0 commit comments

Comments
 (0)