Use single counter for name dispenser for performance reasons.

2023-10-03 13:03:40 +00:00 · 2018-11-07 23:09:33 +01:00
parent deed8e21f6
commit 845899e305
16 changed files with 67 additions and 67 deletions
@@ -13,11 +13,11 @@
 //     {
 //         let b_1 := add(b, a)
 //         b := b_1
-//         let c_1 := add(c, b_1)
-//         c := c_1
-//         let d_1 := add(d, c_1)
-//         d := d_1
-//         let a_1 := add(a, d_1)
-//         a := a_1
+//         let c_2 := add(c, b_1)
+//         c := c_2
+//         let d_3 := add(d, c_2)
+//         d := d_3
+//         let a_4 := add(a, d_3)
+//         a := a_4
 //     }
 // }