Skip to content

Commit

Permalink
Merge pull request #872 from p4lang/v1.2.1-formatting
Browse files Browse the repository at this point in the history
Fix small formatting issues in v1.2.1
  • Loading branch information
jnfoster authored Jun 11, 2020
2 parents ba78398 + 387b7fc commit 47f0405
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions p4-16/spec/P4-16-spec.mdk
Original file line number Diff line number Diff line change
Expand Up @@ -7767,13 +7767,13 @@ The P4 compiler should provide:
| | | tuples, `@deprecated` annotation, free-form annotations, `int` type |
| | | `table.apply().miss`, `string` type. |
|-----|-----|-----|
| 1.2.1 | June 11, 2020 | Added structure-value expressions, default values, concatenation, |
| | | | structured annotations; standardized several new annotations; |
| | | | generalized typing rule for masks; restricted typing rule for |
| | | | shifts with infinite-precistion operands; clarified evaluation |
| | | | order for table keys; clarified copy-out behavior; clarified |
| | | | semantics of invalid header stacks; clarified initialization |
| | | | semantics; fixed several small issues in grammar. |
| 1.2.1 | June 11, 2020 | Added structure-value expressions, default values, concatenation, |
| | | structured annotations; standardized several new annotations; |
| | | generalized typing rule for masks; restricted typing rule for |
| | | shifts with infinite-precistion operands; clarified evaluation |
| | | order for table keys; clarified copy-out behavior; clarified |
| | | semantics of invalid header stacks; clarified initialization |
| | | semantics; fixed several small issues in grammar. |
|-----|-----|-----|

## Summary of changes made in version 1.2.1
Expand All @@ -7787,7 +7787,7 @@ The P4 compiler should provide:
[#sec-concatenation]).

* Added key-value and list-structured annotations (Section
[#annotations]).
[#sec-annotations]).

* Added `@pure` and `@noSideEffects` annotations (Section
[#sec-extern-annotations]).
Expand Down

0 comments on commit 47f0405

Please sign in to comment.