Add semicolon in public_inputs, trace_columns, periodic_columns & ran…

…dom_values
massalabs · Aug 7, 2024 · 1993fd3 · 1993fd3
1 parent 70031bc
commit 1993fd3
Show file tree

Hide file tree

Showing 57 changed files with 485 additions and 485 deletions.
diff --git a/air-script/tests/aux_trace/aux_trace.air b/air-script/tests/aux_trace/aux_trace.air
@@ -1,16 +1,16 @@
 def AuxiliaryAir
 
 trace_columns {
-    main: [a, b, c]
-    aux: [p0, p1]
+    main: [a, b, c];
+    aux: [p0, p1];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 random_values {
-    rand: [2]
+    rand: [2];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/binary/binary.air b/air-script/tests/binary/binary.air
@@ -1,11 +1,11 @@
 def BinaryAir
 
 trace_columns {
-    main: [a, b]
+    main: [a, b];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/bitwise/bitwise.air b/air-script/tests/bitwise/bitwise.air
@@ -1,16 +1,16 @@
 def BitwiseAir
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 trace_columns {
-    main: [s, a, b, a0, a1, a2, a3, b0, b1, b2, b3, zp, z, dummy]
+    main: [s, a, b, a0, a1, a2, a3, b0, b1, b2, b3, zp, z, dummy];
 }
 
 periodic_columns {
-    k0: [1, 0, 0, 0, 0, 0, 0, 0]
-    k1: [1, 1, 1, 1, 1, 1, 1, 0]
+    k0: [1, 0, 0, 0, 0, 0, 0, 0];
+    k1: [1, 1, 1, 1, 1, 1, 1, 0];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/constants/constants.air b/air-script/tests/constants/constants.air
@@ -5,15 +5,15 @@ const B = [0, 1];
 const C = [[1, 2], [2, 0]];
 
 trace_columns {
-    main: [a, b, c, d]
-    aux: [e, f, g]
+    main: [a, b, c, d];
+    aux: [e, f, g];
 }
 
 public_inputs {
-    program_hash: [4]
-    stack_inputs: [4]
-    stack_outputs: [20]
-    overflow_addrs: [4]
+    program_hash: [4];
+    stack_inputs: [4];
+    stack_outputs: [20];
+    overflow_addrs: [4];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/constraint_comprehension/cc_with_evaluators.air b/air-script/tests/constraint_comprehension/cc_with_evaluators.air
@@ -5,12 +5,12 @@ ev are_equal([], [x, y]) {
 }
 
 trace_columns {
-    main: [clk, fmp[2], ctx]
-    aux: [a, b, c[4], d[4]]
+    main: [clk, fmp[2], ctx];
+    aux: [a, b, c[4], d[4]];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/constraint_comprehension/constraint_comprehension.air b/air-script/tests/constraint_comprehension/constraint_comprehension.air
@@ -1,12 +1,12 @@
 def ConstraintComprehensionAir
 
 trace_columns {
-    main: [clk, fmp[2], ctx]
-    aux: [a, b, c[4], d[4]]
+    main: [clk, fmp[2], ctx];
+    aux: [a, b, c[4], d[4]];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/evaluators/evaluators.air b/air-script/tests/evaluators/evaluators.air
@@ -15,11 +15,11 @@ ev are_all_binary([c[3]]) {
 }
 
 trace_columns {
-    main: [b, c[3], d[3]]
+    main: [b, c[3], d[3]];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/indexed_trace_access/indexed_trace_access.air b/air-script/tests/indexed_trace_access/indexed_trace_access.air
@@ -1,12 +1,12 @@
 def TraceAccessAir
 
 trace_columns {
-    main: [a, b]
-    aux: [c, d]
+    main: [a, b];
+    aux: [c, d];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 integrity_constraints {

diff --git a/air-script/tests/list_comprehension/list_comprehension.air b/air-script/tests/list_comprehension/list_comprehension.air
@@ -1,12 +1,12 @@
 def ListComprehensionAir
 
 trace_columns {
-    main: [clk, fmp[2], ctx]
-    aux: [a, b[3], c[4], d[4]]
+    main: [clk, fmp[2], ctx];
+    aux: [a, b[3], c[4], d[4]];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/list_folding/list_folding.air b/air-script/tests/list_folding/list_folding.air
@@ -1,12 +1,12 @@
 def ListFoldingAir
 
 trace_columns {
-    main: [clk, fmp[2], ctx]
-    aux: [a, b[4], c[4], d[4]]
+    main: [clk, fmp[2], ctx];
+    aux: [a, b[4], c[4], d[4]];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/periodic_columns/periodic_columns.air b/air-script/tests/periodic_columns/periodic_columns.air
@@ -1,16 +1,16 @@
 def PeriodicColumnsAir
 
 trace_columns {
-    main: [a, b, c]
+    main: [a, b, c];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 periodic_columns {
-    k0: [1, 0, 0, 0]
-    k1: [1, 1, 1, 1, 1, 1, 1, 0]
+    k0: [1, 0, 0, 0];
+    k1: [1, 1, 1, 1, 1, 1, 1, 0];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/pub_inputs/pub_inputs.air b/air-script/tests/pub_inputs/pub_inputs.air
@@ -1,14 +1,14 @@
 def PubInputsAir
 
 trace_columns {
-    main: [a, b, c, d]
+    main: [a, b, c, d];
 }
 
 public_inputs {
-    program_hash: [4]
-    stack_inputs: [4]
-    stack_outputs: [20]
-    overflow_addrs: [4]
+    program_hash: [4];
+    stack_inputs: [4];
+    stack_outputs: [20];
+    overflow_addrs: [4];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/random_values/random_values_bindings.air b/air-script/tests/random_values/random_values_bindings.air
@@ -1,16 +1,16 @@
 def RandomValuesAir
 
 trace_columns {
-    main: [a, b]
-    aux: [c, d]
+    main: [a, b];
+    aux: [c, d];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 random_values {
-    alphas: [x, y[14], z]
+    alphas: [x, y[14], z];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/random_values/random_values_simple.air b/air-script/tests/random_values/random_values_simple.air
@@ -1,16 +1,16 @@
 def RandomValuesAir
 
 trace_columns {
-    main: [a, b]
-    aux: [c, d]
+    main: [a, b];
+    aux: [c, d];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 random_values {
-    rand: [16]
+    rand: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/selectors/selectors.air b/air-script/tests/selectors/selectors.air
@@ -1,11 +1,11 @@
 def SelectorsAir
 
 trace_columns {
-    main: [s[3], clk]
+    main: [s[3], clk];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/selectors/selectors_with_evaluators.air b/air-script/tests/selectors/selectors_with_evaluators.air
@@ -13,11 +13,11 @@ ev next_is_one([clk]) {
 }
 
 trace_columns {
-    main: [s[3], clk]
+    main: [s[3], clk];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {

diff --git a/air-script/tests/system/system.air b/air-script/tests/system/system.air
@@ -1,11 +1,11 @@
 def SystemAir
 
 trace_columns {
-    main: [clk, fmp, ctx]
+    main: [clk, fmp, ctx];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 integrity_constraints {

diff --git a/air-script/tests/trace_col_groups/trace_col_groups.air b/air-script/tests/trace_col_groups/trace_col_groups.air
@@ -1,12 +1,12 @@
 def TraceColGroupAir
 
 trace_columns {
-    main: [clk, fmp[2], ctx]
-    aux: [a, b, c[3]]
+    main: [clk, fmp[2], ctx];
+    aux: [a, b, c[3]];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 integrity_constraints {

diff --git a/air-script/tests/variables/variables.air b/air-script/tests/variables/variables.air
@@ -3,21 +3,21 @@
 def VariablesAir
 
 trace_columns {
-    main: [s, a, b, c]
-    aux: [p]
+    main: [s, a, b, c];
+    aux: [p];
 }
 
 public_inputs {
-    stack_inputs: [16]
-    stack_outputs: [16]
+    stack_inputs: [16];
+    stack_outputs: [16];
 }
 
 periodic_columns {
-    k0: [1, 1, 1, 1, 1, 1, 1, 0]
+    k0: [1, 1, 1, 1, 1, 1, 1, 0];
 }
 
 random_values {
-    rand: [1]
+    rand: [1];
 }
 
 boundary_constraints {

diff --git a/codegen/masm/tests/test_aux.rs b/codegen/masm/tests/test_aux.rs
@@ -12,12 +12,12 @@ static SIMPLE_AUX_AIR: &str = "
 def SimpleAux
 
 trace_columns {
-    main: [a]
-    aux: [b]
+    main: [a];
+    aux: [b];
 }
 
 public_inputs {
-    stack_inputs: [16]
+    stack_inputs: [16];
 }
 
 boundary_constraints {