Update version to 1.3.0 for release

bazel/example/WORKSPACE.bazel

@@ -11,8 +11,8 @@ local_repository(
 
 # http_archive(
 # name = "com_github_p4lang_p4runtime",
-# urls = ["https://github.com/p4lang/p4runtime/archive/v1.2.0.tar.gz"],
-# strip_prefix = "p4runtime-1.2.0/proto",
+# urls = ["https://github.com/p4lang/p4runtime/archive/v1.3.0.tar.gz"],
+# strip_prefix = "p4runtime-1.3.0/proto",
 # # sha256 = "<insert hash value here>",
 # )
 

docs/v1/P4Runtime-Spec.mdk

@@ -1,5 +1,5 @@
 Title : P4Runtime Specification
-Title Note: version 1.2.0
+Title Note: version 1.3.0
 Title Footer: &date;
 Author: The P4.org API Working Group
 Heading depth: 5
@@ -223,7 +223,7 @@ protocol-independent runtime APIs for P4-defined or P4-described data
 planes. This document specifies one such API, called *P4Runtime*. It is meant to
 disambiguate and augment the programmatic API definition expressed in Protobuf
 format and available at
-[https://github.com/p4lang/p4runtime/tree/v1.2.0/proto](https://github.com/p4lang/p4runtime/tree/v1.2.0/proto).
+[https://github.com/p4lang/p4runtime/tree/v1.3.0/proto](https://github.com/p4lang/p4runtime/tree/v1.3.0/proto).
 
 ## P4 Language Version Applicability
 
@@ -1240,7 +1240,7 @@ processing, as it allows tools to point out the precise source of errors for
 invalid annotations.
 
 The `SourceLocation` message associated with an annotation holds the location of
-the `@` symbol introducing the annotation in the P4 source code; the message can
+the `@` symbol introducing the annotation in the P4 source code; the message can
 be found in the following place:
 
 * For **unstructured annotations**, every message containing a field
@@ -6103,6 +6103,8 @@ properties, but we may include on in future versions of the API.
  using the watch port feature with the `p4runtime_translation` feature.
 * Replace master, slave, master arbitration with more inclusive language:
  primary, backup, and client arbitration
+* Clarify that source locations for annotations are optional in the P4Info
+ message.
 
 ### Changes in v1.2.0
 

docs/v1/guidance-for-generating-p4info.md

@@ -38,7 +38,7 @@ representing the name of the library, its major version, etc.
 
 ## Handling P4_16 `type` and the `p4runtime_translation` annotation
 
-The P4Runtime v1.2 specification restricts the types that it supports
+The P4Runtime v1.3 specification restricts the types that it supports
 for the following kinds of things:
 
 + table search key fields, defined in the P4Info message in a
@@ -54,13 +54,13 @@ for the following kinds of things:
 
 Later in this section, we will use the term "constrained value" for
 brevity, instead of repeating all of the kinds of objects listed
-above. For such values, the P4Runtime specification v1.2 supports all
+above. For such values, the P4Runtime specification v1.3 supports all
 of the following types, but currently no others:
 
 + `bit<W>`
 + an `enum` with an underlying type of `bit<W>`, also called a
  serializable `enum` (TBD whether all of the pieces needed to make
- this work are actually supported for P4Runtime 1.2)
+ this work are actually supported for P4Runtime 1.3)
 + a `typedef` or `type` name that, when "followed back" to the lowest
  base type, is one of the above. (As of the P4_16 language
  specification version 1.2.1, it is not required to support a `type`
@@ -100,7 +100,7 @@ type_list(x) {
 Note that `type_list(x)` always starts with zero or more `type` names,
 and always ends with one type that is neither a `type` nor `typedef`
 name, e.g. `bit<W>`, a header type, struct type, etc. It never
-contains the name of a type declared using `typedef`. P4Runtime v1.2
+contains the name of a type declared using `typedef`. P4Runtime v1.3
 only supports `p4runtime_translation` annotations on `type`
 definitions. If any such annotations occur on a `typedef` definition,
 they should be ignored.
@@ -111,7 +111,7 @@ of type names. In order to create such a cycle, the first `type` or
 type name, and this is not allowed.
 
 If the last type is not `bit<W>` or `enum bit<W>`, that is an error
-for P4Runtime v1.2. The "base" type must always be one of those for
+for P4Runtime v1.3. The "base" type must always be one of those for
 every constrained value.