Script updating gh-pages from bf7f796. [ci skip]

cfrg · Jan 5, 2025 · c237d3b · c237d3b
1 parent 5fa9aed
commit c237d3b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/proofreading/draft-irtf-cfrg-aegis-aead.html b/proofreading/draft-irtf-cfrg-aegis-aead.html
@@ -3461,7 +3461,7 @@ <h4 id="name-the-finalizemac-function">
 
 tags = {}
 if tag_len_bits == 128:
-    for i in 0..D:  # tag from state 0 is included
+    for i in 0..D: # tag from state 0 is included
         ti = V[0,i] ^ V[1,i] ^ V[2,i] ^ V[3,i] ^ V[4,i] ^ V[5,i] ^ V[6,i]
         tags = tags || ti
 
@@ -3541,7 +3541,7 @@ <h4 id="name-the-finalizemac-function-2">
 
 tags = {}
 if tag_len_bits == 128:
-    for i in 1..D:   # tag from state 0 is skipped
+    for i in 1..D: # tag from state 0 is skipped
         ti = V[0,i] ^ V[1,i] ^ V[2,i] ^ V[3,i] ^ V[4,i] ^ V[5,i]
         tags = tags || ti
 

diff --git a/proofreading/draft-irtf-cfrg-aegis-aead.txt b/proofreading/draft-irtf-cfrg-aegis-aead.txt
@@ -1730,7 +1730,7 @@ Repeat(7, Update(t, t))
 
 tags = {}
 if tag_len_bits == 128:
-    for i in 0..D:  # tag from state 0 is included
+    for i in 0..D: # tag from state 0 is included
         ti = V[0,i] ^ V[1,i] ^ V[2,i] ^ V[3,i] ^ V[4,i] ^ V[5,i] ^ V[6,i]
         tags = tags || ti
 
@@ -1794,7 +1794,7 @@ return tag
 
    tags = {}
    if tag_len_bits == 128:
-       for i in 1..D:   # tag from state 0 is skipped
+       for i in 1..D: # tag from state 0 is skipped
            ti = V[0,i] ^ V[1,i] ^ V[2,i] ^ V[3,i] ^ V[4,i] ^ V[5,i]
            tags = tags || ti