Deploying to gh-pages from @ b67841b 🚀

shilangyu · Jan 28, 2024 · 1fb60b2 · 1fb60b2
1 parent 544931c
commit 1fb60b2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/assets/index-4wdRaRuy.js → assets/index-N8PZPH4L.js b/assets/index-4wdRaRuy.js → assets/index-N8PZPH4L.js
@@ -58,11 +58,11 @@
         t := 0
       
       func Read()
-        for j = 1..N
+        for j in 1..N
           (t[j], x[j]) := RReg[i, j].read()
         (t[0], x[0]) := WReg[i].read()
         (t', x') := highest(t, x)
-        for j = 1..N
+        for j in 1..N
           RReg[i, j].write((t', x'))
         return x
       
@@ -75,13 +75,13 @@
         Reg[1..N] := (0, 0)
       
       func Read()
-        for j = 1..N
+        for j in 1..N
           (t[j], x[j]) := Reg[j].read()
         (t', x') := highest(t, x)
         return x
         
       func Write(v)
-        for j = 1..N
+        for j in 1..N
           (t[j], x[j]) := Reg[j].read()
         (t', x') := highest(t, x)
         Reg[i].write((t' + 1, v))

diff --git a/index.html b/index.html
@@ -5,7 +5,7 @@
     <link rel="icon" type="image/svg+xml" href="/register-transformations/favicon.svg" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>Registers transformations</title>
-    <script type="module" crossorigin src="/register-transformations/assets/index-4wdRaRuy.js"></script>
+    <script type="module" crossorigin src="/register-transformations/assets/index-N8PZPH4L.js"></script>
     <link rel="stylesheet" crossorigin href="/register-transformations/assets/index-Z6VEQm-o.css">
   </head>
   <body>