Merge pull request #47 from VanhGer/master

fix memory padding function
aszepieniec · Jul 10, 2024 · f8e4300 · f8e4300
2 parents 13f674f + fb828bd
commit f8e4300
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/code/memory_table.py b/code/memory_table.py
@@ -40,8 +40,8 @@ def derive_matrix(processor_matrix):
     def pad(self):
         one = self.matrix[0][MemoryTable.cycle].field.one()
         while len(self.matrix) & (len(self.matrix) - 1) != 0:
-            self.matrix += [self.matrix[-1][MemoryTable.cycle] + one, self.matrix[-1]
-                            [MemoryTable.memory_pointer], self.matrix[-1][MemoryTable.memory_value], one]
+            self.matrix.append([self.matrix[-1][MemoryTable.cycle] + one, self.matrix[-1]
+                            [MemoryTable.memory_pointer], self.matrix[-1][MemoryTable.memory_value], one])
 
     @staticmethod
     def transition_constraints_afo_named_variables(cycle, address, value, dummy, cycle_next, address_next, value_next, dummy_next):