docs for

docs/P4-16-working-spec.html

@@ -657,7 +657,7 @@
 <h1>P4<sub>16</sub> Language Specification : The P4 Language Consortium</h1>
 <div class="details">
 <span id="revnumber">version v1.2.5,</span>
-<span id="revdate">2025-01-14</span>
+<span id="revdate">2025-01-24</span>
 </div>
 <div id="toc" class="toc2">
 <div id="toctitle">Contents</div>
@@ -11901,6 +11901,12 @@ <h3 id="sec-compile-time-known">18.1. Compile-time known and local compile-time
 <p>Legal casts applied to local compile-time known values.</p>
 </li>
 <li>
+<p>Indexing a local compile-time known stack or tuple value with a local compile-time known index.</p>
+</li>
+<li>
+<p>Accessing a field of a local compile-time known struct, header, or header union value.</p>
+</li>
+<li>
 <p>The following expressions (<code>`, `-`, `||</code>, <code>|-|</code>, <code>*</code>, <code>/ `, `%</code>, <code>!</code>, <code>&amp;</code>, <code>|</code>, <code>^</code>, <code>&amp;&amp;</code>, <code>||</code>, <code>&lt;&lt; `, `&gt;&gt;</code>, <code>~</code>, <code>/</code>, <code>&gt;</code>, <code>&lt;</code>, <code>==</code>, <code>!=</code>, <code>&#8656;</code>, <code>&gt;=</code>, <code>++</code>, <code>[:]</code>, <code>?:</code>) when their operands are all local compile-time known values.</p>
 </li>
 <li>
@@ -11935,6 +11941,12 @@ <h3 id="sec-compile-time-known">18.1. Compile-time known and local compile-time
 <p>Legal casts applied to compile-time known values.</p>
 </li>
 <li>
+<p>Indexing a compile-time known stack or tuple value with a compile-time known index.</p>
+</li>
+<li>
+<p>Accessing a field of a compile-time known struct, header, or header union value.</p>
+</li>
+<li>
 <p>The following expressions (<code>`, `-`, `||</code>, <code>|-|</code>, <code>*</code>, <code>/ `, `%</code>, <code>cast</code>, <code>!</code>, <code>&amp;</code>, <code>|</code>, <code>^</code>, <code>&amp;&amp;</code>, <code>||</code>, <code>&lt;&lt; `, `&gt;&gt; `, `~</code>, <code>/</code>, <code>&gt;</code>, <code>&lt;</code>, <code>==</code>, <code>!=</code>, <code>&#8656;</code>, <code>&gt;=</code>, <code>++</code>, <code>[:]</code>, <code>?:</code>) when their operands are all compile-time known values.</p>
 </li>
 <li>
@@ -15467,7 +15479,7 @@ <h2 id="sec-grammar">Appendix G: P4 grammar</h2>
 <div id="footer">
 <div id="footer-text">
 Version v1.2.5<br>
-Last updated 2025-01-14 20:55:04 UTC
+Last updated 2025-01-24 17:19:32 UTC
 </div>
 </div>
 </body>

docs/P4_Arch_Charter.html

@@ -656,7 +656,7 @@
 <div id="header">
 <h1>P4 Architecture Working Group Charter</h1>
 <div class="details">
-<span id="revdate">2025-01-14</span>
+<span id="revdate">2025-01-24</span>
 </div>
 </div>
 <div id="content">
@@ -761,7 +761,7 @@ <h2 id="_logistics">Logistics</h2>
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2025-01-14 20:55:04 UTC
+Last updated 2025-01-24 17:19:32 UTC
 </div>
 </div>
 </body>

docs/PSA.html

@@ -657,7 +657,7 @@
 <h1>P4<sub>16</sub> Portable Switch Architecture (PSA)</h1>
 <div class="details">
 <span id="revnumber">version v1.2,</span>
-<span id="revdate">2025-01-14</span>
+<span id="revdate">2025-01-24</span>
 </div>
 <div id="toc" class="toc2">
 <div id="toctitle">Contents</div>
@@ -6517,7 +6517,7 @@ <h4 id="_changes_to_example_psa_programs_in_the_p4_16psaexamples_directory">H.2.
 <div id="footer">
 <div id="footer-text">
 Version v1.2<br>
-Last updated 2025-01-14 20:55:04 UTC
+Last updated 2025-01-24 17:19:32 UTC
 </div>
 </div>
 <script type="text/x-mathjax-config">