Merge branch 'master' into jf/merge-array-and-slice-types

noir-lang · Jul 28, 2023 · 3a3f242 · 3a3f242
2 parents 37aefbc + 63c4da0
commit 3a3f242
Show file tree

Hide file tree

Showing 658 changed files with 6 additions and 4 deletions.
diff --git a/crates/nargo_cli/build.rs b/crates/nargo_cli/build.rs
@@ -60,8 +60,7 @@ fn generate_tests(test_file: &mut File) {
         Ok(dir) => PathBuf::from(dir),
         Err(_) => std::env::current_dir().unwrap().join("crates").join("nargo_cli"),
     };
-    // Choose the test directory depending on whether we are in the legacy SSA module or not
-    let test_sub_dir = "test_data_ssa_refactor";
+    let test_sub_dir = "test_data";
     let test_data_dir = manifest_dir.join("tests").join(test_sub_dir);
     let config_path = test_data_dir.join("config.toml");
 

diff --git a/...actor/1327_concrete_in_generic/Nargo.toml → ..._data/1327_concrete_in_generic/Nargo.toml b/...actor/1327_concrete_in_generic/Nargo.toml → ..._data/1327_concrete_in_generic/Nargo.toml
diff --git a/...ctor/1327_concrete_in_generic/Prover.toml → ...data/1327_concrete_in_generic/Prover.toml b/...ctor/1327_concrete_in_generic/Prover.toml → ...data/1327_concrete_in_generic/Prover.toml
diff --git a/...ctor/1327_concrete_in_generic/src/main.nr → ...data/1327_concrete_in_generic/src/main.nr b/...ctor/1327_concrete_in_generic/src/main.nr → ...data/1327_concrete_in_generic/src/main.nr
diff --git a/...1327_concrete_in_generic/target/main.json → ...1327_concrete_in_generic/target/main.json b/...1327_concrete_in_generic/target/main.json → ...1327_concrete_in_generic/target/main.json
diff --git a/...327_concrete_in_generic/target/witness.tr → ...327_concrete_in_generic/target/witness.tr b/...327_concrete_in_generic/target/witness.tr → ...327_concrete_in_generic/target/witness.tr
diff --git a/...s/test_data_ssa_refactor/1_mul/Nargo.toml → ...argo_cli/tests/test_data/1_mul/Nargo.toml b/...s/test_data_ssa_refactor/1_mul/Nargo.toml → ...argo_cli/tests/test_data/1_mul/Nargo.toml
diff --git a/.../test_data_ssa_refactor/1_mul/Prover.toml → ...rgo_cli/tests/test_data/1_mul/Prover.toml b/.../test_data_ssa_refactor/1_mul/Prover.toml → ...rgo_cli/tests/test_data/1_mul/Prover.toml
diff --git a/.../test_data_ssa_refactor/1_mul/src/main.nr → ...rgo_cli/tests/test_data/1_mul/src/main.nr b/.../test_data_ssa_refactor/1_mul/src/main.nr → ...rgo_cli/tests/test_data/1_mul/src/main.nr
diff --git a/...est_data_ssa_refactor/1_mul/target/c.json → ...o_cli/tests/test_data/1_mul/target/c.json b/...est_data_ssa_refactor/1_mul/target/c.json → ...o_cli/tests/test_data/1_mul/target/c.json
diff --git a/..._data_ssa_refactor/1_mul/target/main.json → ...li/tests/test_data/1_mul/target/main.json b/..._data_ssa_refactor/1_mul/target/main.json → ...li/tests/test_data/1_mul/target/main.json
diff --git a/...data_ssa_refactor/1_mul/target/witness.tr → ...i/tests/test_data/1_mul/target/witness.tr b/...data_ssa_refactor/1_mul/target/witness.tr → ...i/tests/test_data/1_mul/target/witness.tr
diff --git a/...s/test_data_ssa_refactor/2_div/Nargo.toml → ...argo_cli/tests/test_data/2_div/Nargo.toml b/...s/test_data_ssa_refactor/2_div/Nargo.toml → ...argo_cli/tests/test_data/2_div/Nargo.toml
diff --git a/.../test_data_ssa_refactor/2_div/Prover.toml → ...rgo_cli/tests/test_data/2_div/Prover.toml b/.../test_data_ssa_refactor/2_div/Prover.toml → ...rgo_cli/tests/test_data/2_div/Prover.toml
diff --git a/.../test_data_ssa_refactor/2_div/src/main.nr → ...rgo_cli/tests/test_data/2_div/src/main.nr b/.../test_data_ssa_refactor/2_div/src/main.nr → ...rgo_cli/tests/test_data/2_div/src/main.nr
diff --git a/..._data_ssa_refactor/2_div/target/main.json → ...li/tests/test_data/2_div/target/main.json b/..._data_ssa_refactor/2_div/target/main.json → ...li/tests/test_data/2_div/target/main.json
diff --git a/...data_ssa_refactor/2_div/target/witness.tr → ...i/tests/test_data/2_div/target/witness.tr b/...data_ssa_refactor/2_div/target/witness.tr → ...i/tests/test_data/2_div/target/witness.tr
diff --git a/...s/test_data_ssa_refactor/3_add/Nargo.toml → ...argo_cli/tests/test_data/3_add/Nargo.toml b/...s/test_data_ssa_refactor/3_add/Nargo.toml → ...argo_cli/tests/test_data/3_add/Nargo.toml
diff --git a/.../test_data_ssa_refactor/3_add/Prover.toml → ...rgo_cli/tests/test_data/3_add/Prover.toml b/.../test_data_ssa_refactor/3_add/Prover.toml → ...rgo_cli/tests/test_data/3_add/Prover.toml
diff --git a/.../test_data_ssa_refactor/3_add/src/main.nr → ...rgo_cli/tests/test_data/3_add/src/main.nr b/.../test_data_ssa_refactor/3_add/src/main.nr → ...rgo_cli/tests/test_data/3_add/src/main.nr
diff --git a/..._data_ssa_refactor/3_add/target/main.json → ...li/tests/test_data/3_add/target/main.json b/..._data_ssa_refactor/3_add/target/main.json → ...li/tests/test_data/3_add/target/main.json
diff --git a/...data_ssa_refactor/3_add/target/witness.tr → ...i/tests/test_data/3_add/target/witness.tr b/...data_ssa_refactor/3_add/target/witness.tr → ...i/tests/test_data/3_add/target/witness.tr
diff --git a/...s/test_data_ssa_refactor/4_sub/Nargo.toml → ...argo_cli/tests/test_data/4_sub/Nargo.toml b/...s/test_data_ssa_refactor/4_sub/Nargo.toml → ...argo_cli/tests/test_data/4_sub/Nargo.toml
diff --git a/.../test_data_ssa_refactor/4_sub/Prover.toml → ...rgo_cli/tests/test_data/4_sub/Prover.toml b/.../test_data_ssa_refactor/4_sub/Prover.toml → ...rgo_cli/tests/test_data/4_sub/Prover.toml
diff --git a/.../test_data_ssa_refactor/4_sub/src/main.nr → ...rgo_cli/tests/test_data/4_sub/src/main.nr b/.../test_data_ssa_refactor/4_sub/src/main.nr → ...rgo_cli/tests/test_data/4_sub/src/main.nr
diff --git a/..._data_ssa_refactor/4_sub/target/main.json → ...li/tests/test_data/4_sub/target/main.json b/..._data_ssa_refactor/4_sub/target/main.json → ...li/tests/test_data/4_sub/target/main.json
diff --git a/...data_ssa_refactor/4_sub/target/witness.tr → ...i/tests/test_data/4_sub/target/witness.tr b/...data_ssa_refactor/4_sub/target/witness.tr → ...i/tests/test_data/4_sub/target/witness.tr
diff --git a/.../test_data_ssa_refactor/5_over/Nargo.toml → ...rgo_cli/tests/test_data/5_over/Nargo.toml b/.../test_data_ssa_refactor/5_over/Nargo.toml → ...rgo_cli/tests/test_data/5_over/Nargo.toml
diff --git a/...test_data_ssa_refactor/5_over/Prover.toml → ...go_cli/tests/test_data/5_over/Prover.toml b/...test_data_ssa_refactor/5_over/Prover.toml → ...go_cli/tests/test_data/5_over/Prover.toml
diff --git a/...test_data_ssa_refactor/5_over/src/main.nr → ...go_cli/tests/test_data/5_over/src/main.nr b/...test_data_ssa_refactor/5_over/src/main.nr → ...go_cli/tests/test_data/5_over/src/main.nr
diff --git a/...data_ssa_refactor/5_over/target/main.json → ...i/tests/test_data/5_over/target/main.json b/...data_ssa_refactor/5_over/target/main.json → ...i/tests/test_data/5_over/target/main.json
diff --git a/...ata_ssa_refactor/5_over/target/witness.tr → .../tests/test_data/5_over/target/witness.tr b/...ata_ssa_refactor/5_over/target/witness.tr → .../tests/test_data/5_over/target/witness.tr
diff --git a/...tests/test_data_ssa_refactor/6/Nargo.toml → ...es/nargo_cli/tests/test_data/6/Nargo.toml b/...tests/test_data_ssa_refactor/6/Nargo.toml → ...es/nargo_cli/tests/test_data/6/Nargo.toml
diff --git a/...ests/test_data_ssa_refactor/6/Prover.toml → ...s/nargo_cli/tests/test_data/6/Prover.toml b/...ests/test_data_ssa_refactor/6/Prover.toml → ...s/nargo_cli/tests/test_data/6/Prover.toml
diff --git a/...ests/test_data_ssa_refactor/6/src/main.nr → ...s/nargo_cli/tests/test_data/6/src/main.nr b/...ests/test_data_ssa_refactor/6/src/main.nr → ...s/nargo_cli/tests/test_data/6/src/main.nr
diff --git a/...test_data_ssa_refactor/6/target/main.json → ...go_cli/tests/test_data/6/target/main.json b/...test_data_ssa_refactor/6/target/main.json → ...go_cli/tests/test_data/6/target/main.json
diff --git a/...est_data_ssa_refactor/6/target/witness.tr → ...o_cli/tests/test_data/6/target/witness.tr b/...est_data_ssa_refactor/6/target/witness.tr → ...o_cli/tests/test_data/6/target/witness.tr
diff --git a/...test_data_ssa_refactor/6_array/Nargo.toml → ...go_cli/tests/test_data/6_array/Nargo.toml b/...test_data_ssa_refactor/6_array/Nargo.toml → ...go_cli/tests/test_data/6_array/Nargo.toml
diff --git a/...est_data_ssa_refactor/6_array/Prover.toml → ...o_cli/tests/test_data/6_array/Prover.toml b/...est_data_ssa_refactor/6_array/Prover.toml → ...o_cli/tests/test_data/6_array/Prover.toml
diff --git a/...est_data_ssa_refactor/6_array/src/main.nr → ...o_cli/tests/test_data/6_array/src/main.nr b/...est_data_ssa_refactor/6_array/src/main.nr → ...o_cli/tests/test_data/6_array/src/main.nr
diff --git a/...ata_ssa_refactor/6_array/target/main.json → .../tests/test_data/6_array/target/main.json b/...ata_ssa_refactor/6_array/target/main.json → .../tests/test_data/6_array/target/main.json
diff --git a/...ta_ssa_refactor/6_array/target/witness.tr → ...tests/test_data/6_array/target/witness.tr b/...ta_ssa_refactor/6_array/target/witness.tr → ...tests/test_data/6_array/target/witness.tr
diff --git a/...tests/test_data_ssa_refactor/7/Nargo.toml → ...es/nargo_cli/tests/test_data/7/Nargo.toml b/...tests/test_data_ssa_refactor/7/Nargo.toml → ...es/nargo_cli/tests/test_data/7/Nargo.toml
diff --git a/...ests/test_data_ssa_refactor/7/Prover.toml → ...s/nargo_cli/tests/test_data/7/Prover.toml b/...ests/test_data_ssa_refactor/7/Prover.toml → ...s/nargo_cli/tests/test_data/7/Prover.toml
diff --git a/...ests/test_data_ssa_refactor/7/src/main.nr → ...s/nargo_cli/tests/test_data/7/src/main.nr b/...ests/test_data_ssa_refactor/7/src/main.nr → ...s/nargo_cli/tests/test_data/7/src/main.nr
diff --git a/...test_data_ssa_refactor/7/target/main.json → ...go_cli/tests/test_data/7/target/main.json b/...test_data_ssa_refactor/7/target/main.json → ...go_cli/tests/test_data/7/target/main.json
diff --git a/...est_data_ssa_refactor/7/target/witness.tr → ...o_cli/tests/test_data/7/target/witness.tr b/...est_data_ssa_refactor/7/target/witness.tr → ...o_cli/tests/test_data/7/target/witness.tr
diff --git a/...t_data_ssa_refactor/7_function/Nargo.toml → ...cli/tests/test_data/7_function/Nargo.toml b/...t_data_ssa_refactor/7_function/Nargo.toml → ...cli/tests/test_data/7_function/Nargo.toml
diff --git a/..._data_ssa_refactor/7_function/Prover.toml → ...li/tests/test_data/7_function/Prover.toml b/..._data_ssa_refactor/7_function/Prover.toml → ...li/tests/test_data/7_function/Prover.toml
diff --git a/..._data_ssa_refactor/7_function/src/main.nr → ...li/tests/test_data/7_function/src/main.nr b/..._data_ssa_refactor/7_function/src/main.nr → ...li/tests/test_data/7_function/src/main.nr
diff --git a/..._ssa_refactor/7_function/target/main.json → ...sts/test_data/7_function/target/main.json b/..._ssa_refactor/7_function/target/main.json → ...sts/test_data/7_function/target/main.json
diff --git a/...ssa_refactor/7_function/target/witness.tr → ...ts/test_data/7_function/target/witness.tr b/...ssa_refactor/7_function/target/witness.tr → ...ts/test_data/7_function/target/witness.tr
diff --git a/...ata_ssa_refactor/8_integration/Nargo.toml → .../tests/test_data/8_integration/Nargo.toml b/...ata_ssa_refactor/8_integration/Nargo.toml → .../tests/test_data/8_integration/Nargo.toml
diff --git a/...ta_ssa_refactor/8_integration/Prover.toml → ...tests/test_data/8_integration/Prover.toml b/...ta_ssa_refactor/8_integration/Prover.toml → ...tests/test_data/8_integration/Prover.toml
diff --git a/...ta_ssa_refactor/8_integration/src/main.nr → ...tests/test_data/8_integration/src/main.nr b/...ta_ssa_refactor/8_integration/src/main.nr → ...tests/test_data/8_integration/src/main.nr
diff --git a/...a_refactor/8_integration/target/main.json → .../test_data/8_integration/target/main.json b/...a_refactor/8_integration/target/main.json → .../test_data/8_integration/target/main.json
diff --git a/..._refactor/8_integration/target/witness.tr → ...test_data/8_integration/target/witness.tr b/..._refactor/8_integration/target/witness.tr → ...test_data/8_integration/target/witness.tr
diff --git a/...ata_ssa_refactor/9_conditional/Nargo.toml → .../tests/test_data/9_conditional/Nargo.toml b/...ata_ssa_refactor/9_conditional/Nargo.toml → .../tests/test_data/9_conditional/Nargo.toml
diff --git a/...ta_ssa_refactor/9_conditional/Prover.toml → ...tests/test_data/9_conditional/Prover.toml b/...ta_ssa_refactor/9_conditional/Prover.toml → ...tests/test_data/9_conditional/Prover.toml
diff --git a/...ta_ssa_refactor/9_conditional/src/main.nr → ...tests/test_data/9_conditional/src/main.nr b/...ta_ssa_refactor/9_conditional/src/main.nr → ...tests/test_data/9_conditional/src/main.nr
diff --git a/...a_refactor/9_conditional/target/main.json → .../test_data/9_conditional/target/main.json b/...a_refactor/9_conditional/target/main.json → .../test_data/9_conditional/target/main.json
diff --git a/..._refactor/9_conditional/target/witness.tr → ...test_data/9_conditional/target/witness.tr b/..._refactor/9_conditional/target/witness.tr → ...test_data/9_conditional/target/witness.tr
diff --git a/...r/arithmetic_binary_operations/Nargo.toml → ...a/arithmetic_binary_operations/Nargo.toml b/...r/arithmetic_binary_operations/Nargo.toml → ...a/arithmetic_binary_operations/Nargo.toml
diff --git a/.../arithmetic_binary_operations/Prover.toml → .../arithmetic_binary_operations/Prover.toml b/.../arithmetic_binary_operations/Prover.toml → .../arithmetic_binary_operations/Prover.toml
diff --git a/.../arithmetic_binary_operations/src/main.nr → .../arithmetic_binary_operations/src/main.nr b/.../arithmetic_binary_operations/src/main.nr → .../arithmetic_binary_operations/src/main.nr
diff --git a/...hmetic_binary_operations/target/main.json → ...hmetic_binary_operations/target/main.json b/...hmetic_binary_operations/target/main.json → ...hmetic_binary_operations/target/main.json
diff --git a/...metic_binary_operations/target/witness.tr → ...metic_binary_operations/target/witness.tr b/...metic_binary_operations/target/witness.tr → ...metic_binary_operations/target/witness.tr
diff --git a/...ata_ssa_refactor/array_dynamic/Nargo.toml → .../tests/test_data/array_dynamic/Nargo.toml b/...ata_ssa_refactor/array_dynamic/Nargo.toml → .../tests/test_data/array_dynamic/Nargo.toml
diff --git a/...ta_ssa_refactor/array_dynamic/Prover.toml → ...tests/test_data/array_dynamic/Prover.toml b/...ta_ssa_refactor/array_dynamic/Prover.toml → ...tests/test_data/array_dynamic/Prover.toml
diff --git a/...ta_ssa_refactor/array_dynamic/src/main.nr → ...tests/test_data/array_dynamic/src/main.nr b/...ta_ssa_refactor/array_dynamic/src/main.nr → ...tests/test_data/array_dynamic/src/main.nr
diff --git a/...a_refactor/array_dynamic/target/main.json → .../test_data/array_dynamic/target/main.json b/...a_refactor/array_dynamic/target/main.json → .../test_data/array_dynamic/target/main.json
diff --git a/..._refactor/array_dynamic/target/witness.tr → ...test_data/array_dynamic/target/witness.tr b/..._refactor/array_dynamic/target/witness.tr → ...test_data/array_dynamic/target/witness.tr
diff --git a/...st_data_ssa_refactor/array_len/Nargo.toml → ..._cli/tests/test_data/array_len/Nargo.toml b/...st_data_ssa_refactor/array_len/Nargo.toml → ..._cli/tests/test_data/array_len/Nargo.toml
diff --git a/...t_data_ssa_refactor/array_len/Prover.toml → ...cli/tests/test_data/array_len/Prover.toml b/...t_data_ssa_refactor/array_len/Prover.toml → ...cli/tests/test_data/array_len/Prover.toml
diff --git a/...t_data_ssa_refactor/array_len/src/main.nr → ...cli/tests/test_data/array_len/src/main.nr b/...t_data_ssa_refactor/array_len/src/main.nr → ...cli/tests/test_data/array_len/src/main.nr
diff --git a/...a_ssa_refactor/array_len/target/main.json → ...ests/test_data/array_len/target/main.json b/...a_ssa_refactor/array_len/target/main.json → ...ests/test_data/array_len/target/main.json
diff --git a/..._ssa_refactor/array_len/target/witness.tr → ...sts/test_data/array_len/target/witness.tr b/..._ssa_refactor/array_len/target/witness.tr → ...sts/test_data/array_len/target/witness.tr
diff --git a/...st_data_ssa_refactor/array_neq/Nargo.toml → ..._cli/tests/test_data/array_neq/Nargo.toml b/...st_data_ssa_refactor/array_neq/Nargo.toml → ..._cli/tests/test_data/array_neq/Nargo.toml
diff --git a/...t_data_ssa_refactor/array_neq/Prover.toml → ...cli/tests/test_data/array_neq/Prover.toml b/...t_data_ssa_refactor/array_neq/Prover.toml → ...cli/tests/test_data/array_neq/Prover.toml
diff --git a/...t_data_ssa_refactor/array_neq/src/main.nr → ...cli/tests/test_data/array_neq/src/main.nr b/...t_data_ssa_refactor/array_neq/src/main.nr → ...cli/tests/test_data/array_neq/src/main.nr
diff --git a/...a_ssa_refactor/array_neq/target/main.json → ...ests/test_data/array_neq/target/main.json b/...a_ssa_refactor/array_neq/target/main.json → ...ests/test_data/array_neq/target/main.json
diff --git a/..._ssa_refactor/array_neq/target/witness.tr → ...sts/test_data/array_neq/target/witness.tr b/..._ssa_refactor/array_neq/target/witness.tr → ...sts/test_data/array_neq/target/witness.tr
diff --git a/...t_data_ssa_refactor/array_sort/Nargo.toml → ...cli/tests/test_data/array_sort/Nargo.toml b/...t_data_ssa_refactor/array_sort/Nargo.toml → ...cli/tests/test_data/array_sort/Nargo.toml
diff --git a/..._data_ssa_refactor/array_sort/Prover.toml → ...li/tests/test_data/array_sort/Prover.toml b/..._data_ssa_refactor/array_sort/Prover.toml → ...li/tests/test_data/array_sort/Prover.toml
diff --git a/..._data_ssa_refactor/array_sort/src/main.nr → ...li/tests/test_data/array_sort/src/main.nr b/..._data_ssa_refactor/array_sort/src/main.nr → ...li/tests/test_data/array_sort/src/main.nr
diff --git a/..._ssa_refactor/array_sort/target/main.json → ...sts/test_data/array_sort/target/main.json b/..._ssa_refactor/array_sort/target/main.json → ...sts/test_data/array_sort/target/main.json
diff --git a/...ssa_refactor/array_sort/target/witness.tr → ...ts/test_data/array_sort/target/witness.tr b/...ssa_refactor/array_sort/target/witness.tr → ...ts/test_data/array_sort/target/witness.tr
diff --git a/.../test_data_ssa_refactor/assert/Nargo.toml → ...rgo_cli/tests/test_data/assert/Nargo.toml b/.../test_data_ssa_refactor/assert/Nargo.toml → ...rgo_cli/tests/test_data/assert/Nargo.toml
diff --git a/...test_data_ssa_refactor/assert/Prover.toml → ...go_cli/tests/test_data/assert/Prover.toml b/...test_data_ssa_refactor/assert/Prover.toml → ...go_cli/tests/test_data/assert/Prover.toml
diff --git a/...test_data_ssa_refactor/assert/src/main.nr → ...go_cli/tests/test_data/assert/src/main.nr b/...test_data_ssa_refactor/assert/src/main.nr → ...go_cli/tests/test_data/assert/src/main.nr
diff --git a/...data_ssa_refactor/assert/target/main.json → ...i/tests/test_data/assert/target/main.json b/...data_ssa_refactor/assert/target/main.json → ...i/tests/test_data/assert/target/main.json
diff --git a/...ata_ssa_refactor/assert/target/witness.tr → .../tests/test_data/assert/target/witness.tr b/...ata_ssa_refactor/assert/target/witness.tr → .../tests/test_data/assert/target/witness.tr
diff --git a/..._ssa_refactor/assert_statement/Nargo.toml → ...sts/test_data/assert_statement/Nargo.toml b/..._ssa_refactor/assert_statement/Nargo.toml → ...sts/test_data/assert_statement/Nargo.toml
diff --git a/...ssa_refactor/assert_statement/Prover.toml → ...ts/test_data/assert_statement/Prover.toml b/...ssa_refactor/assert_statement/Prover.toml → ...ts/test_data/assert_statement/Prover.toml
diff --git a/...ssa_refactor/assert_statement/src/main.nr → ...ts/test_data/assert_statement/src/main.nr b/...ssa_refactor/assert_statement/src/main.nr → ...ts/test_data/assert_statement/src/main.nr
diff --git a/...efactor/assert_statement/target/main.json → ...st_data/assert_statement/target/main.json b/...efactor/assert_statement/target/main.json → ...st_data/assert_statement/target/main.json
diff --git a/...factor/assert_statement/target/witness.tr → ...t_data/assert_statement/target/witness.tr b/...factor/assert_statement/target/witness.tr → ...t_data/assert_statement/target/witness.tr
diff --git a/...st_data_ssa_refactor/assign_ex/Nargo.toml → ..._cli/tests/test_data/assign_ex/Nargo.toml b/...st_data_ssa_refactor/assign_ex/Nargo.toml → ..._cli/tests/test_data/assign_ex/Nargo.toml
diff --git a/...t_data_ssa_refactor/assign_ex/Prover.toml → ...cli/tests/test_data/assign_ex/Prover.toml b/...t_data_ssa_refactor/assign_ex/Prover.toml → ...cli/tests/test_data/assign_ex/Prover.toml
diff --git a/...t_data_ssa_refactor/assign_ex/src/main.nr → ...cli/tests/test_data/assign_ex/src/main.nr b/...t_data_ssa_refactor/assign_ex/src/main.nr → ...cli/tests/test_data/assign_ex/src/main.nr
diff --git a/...a_ssa_refactor/assign_ex/target/main.json → ...ests/test_data/assign_ex/target/main.json b/...a_ssa_refactor/assign_ex/target/main.json → ...ests/test_data/assign_ex/target/main.json
diff --git a/..._ssa_refactor/assign_ex/target/witness.tr → ...sts/test_data/assign_ex/target/witness.tr b/..._ssa_refactor/assign_ex/target/witness.tr → ...sts/test_data/assign_ex/target/witness.tr
diff --git a/...test_data_ssa_refactor/bit_and/Nargo.toml → ...go_cli/tests/test_data/bit_and/Nargo.toml b/...test_data_ssa_refactor/bit_and/Nargo.toml → ...go_cli/tests/test_data/bit_and/Nargo.toml
diff --git a/...est_data_ssa_refactor/bit_and/Prover.toml → ...o_cli/tests/test_data/bit_and/Prover.toml b/...est_data_ssa_refactor/bit_and/Prover.toml → ...o_cli/tests/test_data/bit_and/Prover.toml
diff --git a/...est_data_ssa_refactor/bit_and/src/main.nr → ...o_cli/tests/test_data/bit_and/src/main.nr b/...est_data_ssa_refactor/bit_and/src/main.nr → ...o_cli/tests/test_data/bit_and/src/main.nr
diff --git a/...ata_ssa_refactor/bit_and/target/main.json → .../tests/test_data/bit_and/target/main.json b/...ata_ssa_refactor/bit_and/target/main.json → .../tests/test_data/bit_and/target/main.json
diff --git a/...ta_ssa_refactor/bit_and/target/witness.tr → ...tests/test_data/bit_and/target/witness.tr b/...ta_ssa_refactor/bit_and/target/witness.tr → ...tests/test_data/bit_and/target/witness.tr
diff --git a/...a_refactor/bit_shifts_comptime/Nargo.toml → .../test_data/bit_shifts_comptime/Nargo.toml b/...a_refactor/bit_shifts_comptime/Nargo.toml → .../test_data/bit_shifts_comptime/Nargo.toml
diff --git a/..._refactor/bit_shifts_comptime/Prover.toml → ...test_data/bit_shifts_comptime/Prover.toml b/..._refactor/bit_shifts_comptime/Prover.toml → ...test_data/bit_shifts_comptime/Prover.toml
diff --git a/..._refactor/bit_shifts_comptime/src/main.nr → ...test_data/bit_shifts_comptime/src/main.nr b/..._refactor/bit_shifts_comptime/src/main.nr → ...test_data/bit_shifts_comptime/src/main.nr
diff --git a/...ctor/bit_shifts_comptime/target/main.json → ...data/bit_shifts_comptime/target/main.json b/...ctor/bit_shifts_comptime/target/main.json → ...data/bit_shifts_comptime/target/main.json
diff --git a/...tor/bit_shifts_comptime/target/witness.tr → ...ata/bit_shifts_comptime/target/witness.tr b/...tor/bit_shifts_comptime/target/witness.tr → ...ata/bit_shifts_comptime/target/witness.tr
diff --git a/...ctor/blackbox_func_simple_call/Nargo.toml → ...data/blackbox_func_simple_call/Nargo.toml b/...ctor/blackbox_func_simple_call/Nargo.toml → ...data/blackbox_func_simple_call/Nargo.toml
diff --git a/...tor/blackbox_func_simple_call/Prover.toml → ...ata/blackbox_func_simple_call/Prover.toml b/...tor/blackbox_func_simple_call/Prover.toml → ...ata/blackbox_func_simple_call/Prover.toml
diff --git a/...tor/blackbox_func_simple_call/src/main.nr → ...ata/blackbox_func_simple_call/src/main.nr b/...tor/blackbox_func_simple_call/src/main.nr → ...ata/blackbox_func_simple_call/src/main.nr
diff --git a/...lackbox_func_simple_call/target/main.json → ...lackbox_func_simple_call/target/main.json b/...lackbox_func_simple_call/target/main.json → ...lackbox_func_simple_call/target/main.json
diff --git a/...ackbox_func_simple_call/target/witness.tr → ...ackbox_func_simple_call/target/witness.tr b/...ackbox_func_simple_call/target/witness.tr → ...ackbox_func_simple_call/target/witness.tr
diff --git a/...est_data_ssa_refactor/bool_not/Nargo.toml → ...o_cli/tests/test_data/bool_not/Nargo.toml b/...est_data_ssa_refactor/bool_not/Nargo.toml → ...o_cli/tests/test_data/bool_not/Nargo.toml
diff --git a/...st_data_ssa_refactor/bool_not/Prover.toml → ..._cli/tests/test_data/bool_not/Prover.toml b/...st_data_ssa_refactor/bool_not/Prover.toml → ..._cli/tests/test_data/bool_not/Prover.toml
diff --git a/...st_data_ssa_refactor/bool_not/src/main.nr → ..._cli/tests/test_data/bool_not/src/main.nr b/...st_data_ssa_refactor/bool_not/src/main.nr → ..._cli/tests/test_data/bool_not/src/main.nr
diff --git a/...ta_ssa_refactor/bool_not/target/main.json → ...tests/test_data/bool_not/target/main.json b/...ta_ssa_refactor/bool_not/target/main.json → ...tests/test_data/bool_not/target/main.json
diff --git a/...a_ssa_refactor/bool_not/target/witness.tr → ...ests/test_data/bool_not/target/witness.tr b/...a_ssa_refactor/bool_not/target/witness.tr → ...ests/test_data/bool_not/target/witness.tr
diff --git a/...test_data_ssa_refactor/bool_or/Nargo.toml → ...go_cli/tests/test_data/bool_or/Nargo.toml b/...test_data_ssa_refactor/bool_or/Nargo.toml → ...go_cli/tests/test_data/bool_or/Nargo.toml
diff --git a/...est_data_ssa_refactor/bool_or/Prover.toml → ...o_cli/tests/test_data/bool_or/Prover.toml b/...est_data_ssa_refactor/bool_or/Prover.toml → ...o_cli/tests/test_data/bool_or/Prover.toml
diff --git a/...est_data_ssa_refactor/bool_or/src/main.nr → ...o_cli/tests/test_data/bool_or/src/main.nr b/...est_data_ssa_refactor/bool_or/src/main.nr → ...o_cli/tests/test_data/bool_or/src/main.nr
diff --git a/...ata_ssa_refactor/bool_or/target/main.json → .../tests/test_data/bool_or/target/main.json b/...ata_ssa_refactor/bool_or/target/main.json → .../tests/test_data/bool_or/target/main.json
diff --git a/...ta_ssa_refactor/bool_or/target/witness.tr → ...tests/test_data/bool_or/target/witness.tr b/...ta_ssa_refactor/bool_or/target/witness.tr → ...tests/test_data/bool_or/target/witness.tr
diff --git a/...factor/brillig_acir_as_brillig/Nargo.toml → ...t_data/brillig_acir_as_brillig/Nargo.toml b/...factor/brillig_acir_as_brillig/Nargo.toml → ...t_data/brillig_acir_as_brillig/Nargo.toml
diff --git a/...actor/brillig_acir_as_brillig/Prover.toml → ..._data/brillig_acir_as_brillig/Prover.toml b/...actor/brillig_acir_as_brillig/Prover.toml → ..._data/brillig_acir_as_brillig/Prover.toml
diff --git a/...actor/brillig_acir_as_brillig/src/main.nr → ..._data/brillig_acir_as_brillig/src/main.nr b/...actor/brillig_acir_as_brillig/src/main.nr → ..._data/brillig_acir_as_brillig/src/main.nr
diff --git a/.../brillig_acir_as_brillig/target/main.json → .../brillig_acir_as_brillig/target/main.json b/.../brillig_acir_as_brillig/target/main.json → .../brillig_acir_as_brillig/target/main.json
diff --git a/...brillig_acir_as_brillig/target/witness.tr → ...brillig_acir_as_brillig/target/witness.tr b/...brillig_acir_as_brillig/target/witness.tr → ...brillig_acir_as_brillig/target/witness.tr
diff --git a/...ta_ssa_refactor/brillig_arrays/Nargo.toml → ...tests/test_data/brillig_arrays/Nargo.toml b/...ta_ssa_refactor/brillig_arrays/Nargo.toml → ...tests/test_data/brillig_arrays/Nargo.toml
diff --git a/...a_ssa_refactor/brillig_arrays/Prover.toml → ...ests/test_data/brillig_arrays/Prover.toml b/...a_ssa_refactor/brillig_arrays/Prover.toml → ...ests/test_data/brillig_arrays/Prover.toml
diff --git a/...a_ssa_refactor/brillig_arrays/src/main.nr → ...ests/test_data/brillig_arrays/src/main.nr b/...a_ssa_refactor/brillig_arrays/src/main.nr → ...ests/test_data/brillig_arrays/src/main.nr
diff --git a/..._refactor/brillig_arrays/target/main.json → ...test_data/brillig_arrays/target/main.json b/..._refactor/brillig_arrays/target/main.json → ...test_data/brillig_arrays/target/main.json
diff --git a/...refactor/brillig_arrays/target/witness.tr → ...est_data/brillig_arrays/target/witness.tr b/...refactor/brillig_arrays/target/witness.tr → ...est_data/brillig_arrays/target/witness.tr
diff --git a/...ta_ssa_refactor/brillig_assert/Nargo.toml → ...tests/test_data/brillig_assert/Nargo.toml b/...ta_ssa_refactor/brillig_assert/Nargo.toml → ...tests/test_data/brillig_assert/Nargo.toml
diff --git a/...a_ssa_refactor/brillig_assert/Prover.toml → ...ests/test_data/brillig_assert/Prover.toml b/...a_ssa_refactor/brillig_assert/Prover.toml → ...ests/test_data/brillig_assert/Prover.toml
diff --git a/...a_ssa_refactor/brillig_assert/src/main.nr → ...ests/test_data/brillig_assert/src/main.nr b/...a_ssa_refactor/brillig_assert/src/main.nr → ...ests/test_data/brillig_assert/src/main.nr
diff --git a/..._refactor/brillig_assert/target/main.json → ...test_data/brillig_assert/target/main.json b/..._refactor/brillig_assert/target/main.json → ...test_data/brillig_assert/target/main.json
diff --git a/...refactor/brillig_assert/target/witness.tr → ...est_data/brillig_assert/target/witness.tr b/...refactor/brillig_assert/target/witness.tr → ...est_data/brillig_assert/target/witness.tr
diff --git a/...a_refactor/brillig_assert_fail/Nargo.toml → .../test_data/brillig_assert_fail/Nargo.toml b/...a_refactor/brillig_assert_fail/Nargo.toml → .../test_data/brillig_assert_fail/Nargo.toml
diff --git a/..._refactor/brillig_assert_fail/Prover.toml → ...test_data/brillig_assert_fail/Prover.toml b/..._refactor/brillig_assert_fail/Prover.toml → ...test_data/brillig_assert_fail/Prover.toml
diff --git a/..._refactor/brillig_assert_fail/src/main.nr → ...test_data/brillig_assert_fail/src/main.nr b/..._refactor/brillig_assert_fail/src/main.nr → ...test_data/brillig_assert_fail/src/main.nr
diff --git a/...a_ssa_refactor/brillig_blake2s/Nargo.toml → ...ests/test_data/brillig_blake2s/Nargo.toml b/...a_ssa_refactor/brillig_blake2s/Nargo.toml → ...ests/test_data/brillig_blake2s/Nargo.toml
diff --git a/..._ssa_refactor/brillig_blake2s/Prover.toml → ...sts/test_data/brillig_blake2s/Prover.toml b/..._ssa_refactor/brillig_blake2s/Prover.toml → ...sts/test_data/brillig_blake2s/Prover.toml
diff --git a/..._ssa_refactor/brillig_blake2s/src/main.nr → ...sts/test_data/brillig_blake2s/src/main.nr b/..._ssa_refactor/brillig_blake2s/src/main.nr → ...sts/test_data/brillig_blake2s/src/main.nr
diff --git a/...refactor/brillig_blake2s/target/main.json → ...est_data/brillig_blake2s/target/main.json b/...refactor/brillig_blake2s/target/main.json → ...est_data/brillig_blake2s/target/main.json
diff --git a/...efactor/brillig_blake2s/target/witness.tr → ...st_data/brillig_blake2s/target/witness.tr b/...efactor/brillig_blake2s/target/witness.tr → ...st_data/brillig_blake2s/target/witness.tr
diff --git a/...ata_ssa_refactor/brillig_calls/Nargo.toml → .../tests/test_data/brillig_calls/Nargo.toml b/...ata_ssa_refactor/brillig_calls/Nargo.toml → .../tests/test_data/brillig_calls/Nargo.toml
diff --git a/...ta_ssa_refactor/brillig_calls/Prover.toml → ...tests/test_data/brillig_calls/Prover.toml b/...ta_ssa_refactor/brillig_calls/Prover.toml → ...tests/test_data/brillig_calls/Prover.toml
diff --git a/...ta_ssa_refactor/brillig_calls/src/main.nr → ...tests/test_data/brillig_calls/src/main.nr b/...ta_ssa_refactor/brillig_calls/src/main.nr → ...tests/test_data/brillig_calls/src/main.nr
diff --git a/...a_refactor/brillig_calls/target/main.json → .../test_data/brillig_calls/target/main.json b/...a_refactor/brillig_calls/target/main.json → .../test_data/brillig_calls/target/main.json
diff --git a/..._refactor/brillig_calls/target/witness.tr → ...test_data/brillig_calls/target/witness.tr b/..._refactor/brillig_calls/target/witness.tr → ...test_data/brillig_calls/target/witness.tr
diff --git a/...a_refactor/brillig_calls_array/Nargo.toml → .../test_data/brillig_calls_array/Nargo.toml b/...a_refactor/brillig_calls_array/Nargo.toml → .../test_data/brillig_calls_array/Nargo.toml
diff --git a/..._refactor/brillig_calls_array/Prover.toml → ...test_data/brillig_calls_array/Prover.toml b/..._refactor/brillig_calls_array/Prover.toml → ...test_data/brillig_calls_array/Prover.toml
diff --git a/..._refactor/brillig_calls_array/src/main.nr → ...test_data/brillig_calls_array/src/main.nr b/..._refactor/brillig_calls_array/src/main.nr → ...test_data/brillig_calls_array/src/main.nr
diff --git a/...ctor/brillig_calls_array/target/main.json → ...data/brillig_calls_array/target/main.json b/...ctor/brillig_calls_array/target/main.json → ...data/brillig_calls_array/target/main.json
diff --git a/...tor/brillig_calls_array/target/witness.tr → ...ata/brillig_calls_array/target/witness.tr b/...tor/brillig_calls_array/target/witness.tr → ...ata/brillig_calls_array/target/witness.tr
diff --git a/...tor/brillig_calls_conditionals/Nargo.toml → ...ata/brillig_calls_conditionals/Nargo.toml b/...tor/brillig_calls_conditionals/Nargo.toml → ...ata/brillig_calls_conditionals/Nargo.toml
diff --git a/...or/brillig_calls_conditionals/Prover.toml → ...ta/brillig_calls_conditionals/Prover.toml b/...or/brillig_calls_conditionals/Prover.toml → ...ta/brillig_calls_conditionals/Prover.toml
diff --git a/...or/brillig_calls_conditionals/src/main.nr → ...ta/brillig_calls_conditionals/src/main.nr b/...or/brillig_calls_conditionals/src/main.nr → ...ta/brillig_calls_conditionals/src/main.nr
diff --git a/...illig_calls_conditionals/target/main.json → ...illig_calls_conditionals/target/main.json b/...illig_calls_conditionals/target/main.json → ...illig_calls_conditionals/target/main.json
diff --git a/...llig_calls_conditionals/target/witness.tr → ...llig_calls_conditionals/target/witness.tr b/...llig_calls_conditionals/target/witness.tr → ...llig_calls_conditionals/target/witness.tr
diff --git a/...data_ssa_refactor/brillig_cast/Nargo.toml → ...i/tests/test_data/brillig_cast/Nargo.toml b/...data_ssa_refactor/brillig_cast/Nargo.toml → ...i/tests/test_data/brillig_cast/Nargo.toml
diff --git a/...ata_ssa_refactor/brillig_cast/Prover.toml → .../tests/test_data/brillig_cast/Prover.toml b/...ata_ssa_refactor/brillig_cast/Prover.toml → .../tests/test_data/brillig_cast/Prover.toml
diff --git a/...ata_ssa_refactor/brillig_cast/src/main.nr → .../tests/test_data/brillig_cast/src/main.nr b/...ata_ssa_refactor/brillig_cast/src/main.nr → .../tests/test_data/brillig_cast/src/main.nr
diff --git a/...sa_refactor/brillig_cast/target/main.json → ...s/test_data/brillig_cast/target/main.json b/...sa_refactor/brillig_cast/target/main.json → ...s/test_data/brillig_cast/target/main.json
diff --git a/...a_refactor/brillig_cast/target/witness.tr → .../test_data/brillig_cast/target/witness.tr b/...a_refactor/brillig_cast/target/witness.tr → .../test_data/brillig_cast/target/witness.tr
diff --git a/...a_refactor/brillig_conditional/Nargo.toml → .../test_data/brillig_conditional/Nargo.toml b/...a_refactor/brillig_conditional/Nargo.toml → .../test_data/brillig_conditional/Nargo.toml
diff --git a/..._refactor/brillig_conditional/Prover.toml → ...test_data/brillig_conditional/Prover.toml b/..._refactor/brillig_conditional/Prover.toml → ...test_data/brillig_conditional/Prover.toml
diff --git a/..._refactor/brillig_conditional/src/main.nr → ...test_data/brillig_conditional/src/main.nr b/..._refactor/brillig_conditional/src/main.nr → ...test_data/brillig_conditional/src/main.nr
diff --git a/...ctor/brillig_conditional/target/main.json → ...data/brillig_conditional/target/main.json b/...ctor/brillig_conditional/target/main.json → ...data/brillig_conditional/target/main.json
diff --git a/...tor/brillig_conditional/target/witness.tr → ...ata/brillig_conditional/target/witness.tr b/...tor/brillig_conditional/target/witness.tr → ...ata/brillig_conditional/target/witness.tr
diff --git a/...ata_ssa_refactor/brillig_ecdsa/Nargo.toml → .../tests/test_data/brillig_ecdsa/Nargo.toml b/...ata_ssa_refactor/brillig_ecdsa/Nargo.toml → .../tests/test_data/brillig_ecdsa/Nargo.toml
diff --git a/...ta_ssa_refactor/brillig_ecdsa/Prover.toml → ...tests/test_data/brillig_ecdsa/Prover.toml b/...ta_ssa_refactor/brillig_ecdsa/Prover.toml → ...tests/test_data/brillig_ecdsa/Prover.toml
diff --git a/...ta_ssa_refactor/brillig_ecdsa/src/main.nr → ...tests/test_data/brillig_ecdsa/src/main.nr b/...ta_ssa_refactor/brillig_ecdsa/src/main.nr → ...tests/test_data/brillig_ecdsa/src/main.nr
diff --git a/...a_refactor/brillig_ecdsa/target/main.json → .../test_data/brillig_ecdsa/target/main.json b/...a_refactor/brillig_ecdsa/target/main.json → .../test_data/brillig_ecdsa/target/main.json
diff --git a/..._refactor/brillig_ecdsa/target/witness.tr → ...test_data/brillig_ecdsa/target/witness.tr b/..._refactor/brillig_ecdsa/target/witness.tr → ...test_data/brillig_ecdsa/target/witness.tr
diff --git a/...rillig_field_binary_operations/Nargo.toml → ...rillig_field_binary_operations/Nargo.toml b/...rillig_field_binary_operations/Nargo.toml → ...rillig_field_binary_operations/Nargo.toml
diff --git a/...illig_field_binary_operations/Prover.toml → ...illig_field_binary_operations/Prover.toml b/...illig_field_binary_operations/Prover.toml → ...illig_field_binary_operations/Prover.toml
diff --git a/...illig_field_binary_operations/src/main.nr → ...illig_field_binary_operations/src/main.nr b/...illig_field_binary_operations/src/main.nr → ...illig_field_binary_operations/src/main.nr
diff --git a/..._field_binary_operations/target/main.json → ..._field_binary_operations/target/main.json b/..._field_binary_operations/target/main.json → ..._field_binary_operations/target/main.json
diff --git a/...field_binary_operations/target/witness.tr → ...field_binary_operations/target/witness.tr b/...field_binary_operations/target/witness.tr → ...field_binary_operations/target/witness.tr
diff --git a/...refactor/brillig_fns_as_values/Nargo.toml → ...est_data/brillig_fns_as_values/Nargo.toml b/...refactor/brillig_fns_as_values/Nargo.toml → ...est_data/brillig_fns_as_values/Nargo.toml
diff --git a/...efactor/brillig_fns_as_values/Prover.toml → ...st_data/brillig_fns_as_values/Prover.toml b/...efactor/brillig_fns_as_values/Prover.toml → ...st_data/brillig_fns_as_values/Prover.toml
diff --git a/...efactor/brillig_fns_as_values/src/main.nr → ...st_data/brillig_fns_as_values/src/main.nr b/...efactor/brillig_fns_as_values/src/main.nr → ...st_data/brillig_fns_as_values/src/main.nr
diff --git a/...or/brillig_fns_as_values/target/main.json → ...ta/brillig_fns_as_values/target/main.json b/...or/brillig_fns_as_values/target/main.json → ...ta/brillig_fns_as_values/target/main.json
diff --git a/...r/brillig_fns_as_values/target/witness.tr → ...a/brillig_fns_as_values/target/witness.tr b/...r/brillig_fns_as_values/target/witness.tr → ...a/brillig_fns_as_values/target/witness.tr
diff --git a/...refactor/brillig_hash_to_field/Nargo.toml → ...est_data/brillig_hash_to_field/Nargo.toml b/...refactor/brillig_hash_to_field/Nargo.toml → ...est_data/brillig_hash_to_field/Nargo.toml
diff --git a/...efactor/brillig_hash_to_field/Prover.toml → ...st_data/brillig_hash_to_field/Prover.toml b/...efactor/brillig_hash_to_field/Prover.toml → ...st_data/brillig_hash_to_field/Prover.toml
diff --git a/...efactor/brillig_hash_to_field/src/main.nr → ...st_data/brillig_hash_to_field/src/main.nr b/...efactor/brillig_hash_to_field/src/main.nr → ...st_data/brillig_hash_to_field/src/main.nr
diff --git a/...or/brillig_hash_to_field/target/main.json → ...ta/brillig_hash_to_field/target/main.json b/...or/brillig_hash_to_field/target/main.json → ...ta/brillig_hash_to_field/target/main.json
diff --git a/...r/brillig_hash_to_field/target/witness.tr → ...a/brillig_hash_to_field/target/witness.tr b/...r/brillig_hash_to_field/target/witness.tr → ...a/brillig_hash_to_field/target/witness.tr
diff --git a/...ctor/brillig_identity_function/Nargo.toml → ...data/brillig_identity_function/Nargo.toml b/...ctor/brillig_identity_function/Nargo.toml → ...data/brillig_identity_function/Nargo.toml
diff --git a/...tor/brillig_identity_function/Prover.toml → ...ata/brillig_identity_function/Prover.toml b/...tor/brillig_identity_function/Prover.toml → ...ata/brillig_identity_function/Prover.toml
diff --git a/...tor/brillig_identity_function/src/main.nr → ...ata/brillig_identity_function/src/main.nr b/...tor/brillig_identity_function/src/main.nr → ...ata/brillig_identity_function/src/main.nr
diff --git a/...r/brillig_identity_function/target/c.json → ...a/brillig_identity_function/target/c.json b/...r/brillig_identity_function/target/c.json → ...a/brillig_identity_function/target/c.json
diff --git a/...rillig_identity_function/target/main.json → ...rillig_identity_function/target/main.json b/...rillig_identity_function/target/main.json → ...rillig_identity_function/target/main.json
diff --git a/...illig_identity_function/target/witness.tr → ...illig_identity_function/target/witness.tr b/...illig_identity_function/target/witness.tr → ...illig_identity_function/target/witness.tr
diff --git a/...llig_integer_binary_operations/Nargo.toml → ...llig_integer_binary_operations/Nargo.toml b/...llig_integer_binary_operations/Nargo.toml → ...llig_integer_binary_operations/Nargo.toml
diff --git a/...lig_integer_binary_operations/Prover.toml → ...lig_integer_binary_operations/Prover.toml b/...lig_integer_binary_operations/Prover.toml → ...lig_integer_binary_operations/Prover.toml
diff --git a/...lig_integer_binary_operations/src/main.nr → ...lig_integer_binary_operations/src/main.nr b/...lig_integer_binary_operations/src/main.nr → ...lig_integer_binary_operations/src/main.nr
diff --git a/...nteger_binary_operations/target/main.json → ...nteger_binary_operations/target/main.json b/...nteger_binary_operations/target/main.json → ...nteger_binary_operations/target/main.json
diff --git a/...teger_binary_operations/target/witness.tr → ...teger_binary_operations/target/witness.tr b/...teger_binary_operations/target/witness.tr → ...teger_binary_operations/target/witness.tr
diff --git a/...ta_ssa_refactor/brillig_keccak/Nargo.toml → ...tests/test_data/brillig_keccak/Nargo.toml b/...ta_ssa_refactor/brillig_keccak/Nargo.toml → ...tests/test_data/brillig_keccak/Nargo.toml
diff --git a/...a_ssa_refactor/brillig_keccak/Prover.toml → ...ests/test_data/brillig_keccak/Prover.toml b/...a_ssa_refactor/brillig_keccak/Prover.toml → ...ests/test_data/brillig_keccak/Prover.toml
diff --git a/...a_ssa_refactor/brillig_keccak/src/main.nr → ...ests/test_data/brillig_keccak/src/main.nr b/...a_ssa_refactor/brillig_keccak/src/main.nr → ...ests/test_data/brillig_keccak/src/main.nr
diff --git a/..._refactor/brillig_keccak/target/main.json → ...test_data/brillig_keccak/target/main.json b/..._refactor/brillig_keccak/target/main.json → ...test_data/brillig_keccak/target/main.json
diff --git a/...refactor/brillig_keccak/target/witness.tr → ...est_data/brillig_keccak/target/witness.tr b/...refactor/brillig_keccak/target/witness.tr → ...est_data/brillig_keccak/target/witness.tr
diff --git a/...data_ssa_refactor/brillig_loop/Nargo.toml → ...i/tests/test_data/brillig_loop/Nargo.toml b/...data_ssa_refactor/brillig_loop/Nargo.toml → ...i/tests/test_data/brillig_loop/Nargo.toml
diff --git a/...ata_ssa_refactor/brillig_loop/Prover.toml → .../tests/test_data/brillig_loop/Prover.toml b/...ata_ssa_refactor/brillig_loop/Prover.toml → .../tests/test_data/brillig_loop/Prover.toml
diff --git a/...ata_ssa_refactor/brillig_loop/src/main.nr → .../tests/test_data/brillig_loop/src/main.nr b/...ata_ssa_refactor/brillig_loop/src/main.nr → .../tests/test_data/brillig_loop/src/main.nr
diff --git a/...sa_refactor/brillig_loop/target/main.json → ...s/test_data/brillig_loop/target/main.json b/...sa_refactor/brillig_loop/target/main.json → ...s/test_data/brillig_loop/target/main.json
diff --git a/...a_refactor/brillig_loop/target/witness.tr → .../test_data/brillig_loop/target/witness.tr b/...a_refactor/brillig_loop/target/witness.tr → .../test_data/brillig_loop/target/witness.tr
diff --git a/...ta_ssa_refactor/brillig_modulo/Nargo.toml → ...tests/test_data/brillig_modulo/Nargo.toml b/...ta_ssa_refactor/brillig_modulo/Nargo.toml → ...tests/test_data/brillig_modulo/Nargo.toml
diff --git a/...a_ssa_refactor/brillig_modulo/Prover.toml → ...ests/test_data/brillig_modulo/Prover.toml b/...a_ssa_refactor/brillig_modulo/Prover.toml → ...ests/test_data/brillig_modulo/Prover.toml
diff --git a/...a_ssa_refactor/brillig_modulo/src/main.nr → ...ests/test_data/brillig_modulo/src/main.nr b/...a_ssa_refactor/brillig_modulo/src/main.nr → ...ests/test_data/brillig_modulo/src/main.nr
diff --git a/..._refactor/brillig_modulo/target/main.json → ...test_data/brillig_modulo/target/main.json b/..._refactor/brillig_modulo/target/main.json → ...test_data/brillig_modulo/target/main.json
diff --git a/...refactor/brillig_modulo/target/witness.tr → ...est_data/brillig_modulo/target/witness.tr b/...refactor/brillig_modulo/target/witness.tr → ...est_data/brillig_modulo/target/witness.tr
diff --git a/...refactor/brillig_nested_arrays/Nargo.toml → ...est_data/brillig_nested_arrays/Nargo.toml b/...refactor/brillig_nested_arrays/Nargo.toml → ...est_data/brillig_nested_arrays/Nargo.toml
diff --git a/...efactor/brillig_nested_arrays/Prover.toml → ...st_data/brillig_nested_arrays/Prover.toml b/...efactor/brillig_nested_arrays/Prover.toml → ...st_data/brillig_nested_arrays/Prover.toml
diff --git a/...efactor/brillig_nested_arrays/src/main.nr → ...st_data/brillig_nested_arrays/src/main.nr b/...efactor/brillig_nested_arrays/src/main.nr → ...st_data/brillig_nested_arrays/src/main.nr
diff --git a/...or/brillig_nested_arrays/target/main.json → ...ta/brillig_nested_arrays/target/main.json b/...or/brillig_nested_arrays/target/main.json → ...ta/brillig_nested_arrays/target/main.json
diff --git a/...r/brillig_nested_arrays/target/witness.tr → ...a/brillig_nested_arrays/target/witness.tr b/...r/brillig_nested_arrays/target/witness.tr → ...a/brillig_nested_arrays/target/witness.tr
diff --git a/..._data_ssa_refactor/brillig_not/Nargo.toml → ...li/tests/test_data/brillig_not/Nargo.toml b/..._data_ssa_refactor/brillig_not/Nargo.toml → ...li/tests/test_data/brillig_not/Nargo.toml
diff --git a/...data_ssa_refactor/brillig_not/Prover.toml → ...i/tests/test_data/brillig_not/Prover.toml b/...data_ssa_refactor/brillig_not/Prover.toml → ...i/tests/test_data/brillig_not/Prover.toml
diff --git a/...data_ssa_refactor/brillig_not/src/main.nr → ...i/tests/test_data/brillig_not/src/main.nr b/...data_ssa_refactor/brillig_not/src/main.nr → ...i/tests/test_data/brillig_not/src/main.nr
diff --git a/...ssa_refactor/brillig_not/target/main.json → ...ts/test_data/brillig_not/target/main.json b/...ssa_refactor/brillig_not/target/main.json → ...ts/test_data/brillig_not/target/main.json
diff --git a/...sa_refactor/brillig_not/target/witness.tr → ...s/test_data/brillig_not/target/witness.tr b/...sa_refactor/brillig_not/target/witness.tr → ...s/test_data/brillig_not/target/witness.tr
diff --git a/...ta_ssa_refactor/brillig_oracle/Nargo.toml → ...tests/test_data/brillig_oracle/Nargo.toml b/...ta_ssa_refactor/brillig_oracle/Nargo.toml → ...tests/test_data/brillig_oracle/Nargo.toml
diff --git a/...a_ssa_refactor/brillig_oracle/Prover.toml → ...ests/test_data/brillig_oracle/Prover.toml b/...a_ssa_refactor/brillig_oracle/Prover.toml → ...ests/test_data/brillig_oracle/Prover.toml
diff --git a/...a_ssa_refactor/brillig_oracle/src/main.nr → ...ests/test_data/brillig_oracle/src/main.nr b/...a_ssa_refactor/brillig_oracle/src/main.nr → ...ests/test_data/brillig_oracle/src/main.nr
diff --git a/..._refactor/brillig_oracle/target/main.json → ...test_data/brillig_oracle/target/main.json b/..._refactor/brillig_oracle/target/main.json → ...test_data/brillig_oracle/target/main.json
diff --git a/...refactor/brillig_oracle/target/witness.tr → ...est_data/brillig_oracle/target/witness.tr b/...refactor/brillig_oracle/target/witness.tr → ...est_data/brillig_oracle/target/witness.tr
diff --git a/..._ssa_refactor/brillig_pedersen/Nargo.toml → ...sts/test_data/brillig_pedersen/Nargo.toml b/..._ssa_refactor/brillig_pedersen/Nargo.toml → ...sts/test_data/brillig_pedersen/Nargo.toml
diff --git a/...ssa_refactor/brillig_pedersen/Prover.toml → ...ts/test_data/brillig_pedersen/Prover.toml b/...ssa_refactor/brillig_pedersen/Prover.toml → ...ts/test_data/brillig_pedersen/Prover.toml
diff --git a/...ssa_refactor/brillig_pedersen/src/main.nr → ...ts/test_data/brillig_pedersen/src/main.nr b/...ssa_refactor/brillig_pedersen/src/main.nr → ...ts/test_data/brillig_pedersen/src/main.nr
diff --git a/...efactor/brillig_pedersen/target/main.json → ...st_data/brillig_pedersen/target/main.json b/...efactor/brillig_pedersen/target/main.json → ...st_data/brillig_pedersen/target/main.json
diff --git a/...factor/brillig_pedersen/target/witness.tr → ...t_data/brillig_pedersen/target/witness.tr b/...factor/brillig_pedersen/target/witness.tr → ...t_data/brillig_pedersen/target/witness.tr
diff --git a/...ssa_refactor/brillig_recursion/Nargo.toml → ...ts/test_data/brillig_recursion/Nargo.toml b/...ssa_refactor/brillig_recursion/Nargo.toml → ...ts/test_data/brillig_recursion/Nargo.toml
diff --git a/...sa_refactor/brillig_recursion/Prover.toml → ...s/test_data/brillig_recursion/Prover.toml b/...sa_refactor/brillig_recursion/Prover.toml → ...s/test_data/brillig_recursion/Prover.toml
diff --git a/...sa_refactor/brillig_recursion/src/main.nr → ...s/test_data/brillig_recursion/src/main.nr b/...sa_refactor/brillig_recursion/src/main.nr → ...s/test_data/brillig_recursion/src/main.nr
diff --git a/...factor/brillig_recursion/target/main.json → ...t_data/brillig_recursion/target/main.json b/...factor/brillig_recursion/target/main.json → ...t_data/brillig_recursion/target/main.json
diff --git a/...actor/brillig_recursion/target/witness.tr → ..._data/brillig_recursion/target/witness.tr b/...actor/brillig_recursion/target/witness.tr → ..._data/brillig_recursion/target/witness.tr
diff --git a/...sa_refactor/brillig_references/Nargo.toml → ...s/test_data/brillig_references/Nargo.toml b/...sa_refactor/brillig_references/Nargo.toml → ...s/test_data/brillig_references/Nargo.toml
diff --git a/...a_refactor/brillig_references/Prover.toml → .../test_data/brillig_references/Prover.toml b/...a_refactor/brillig_references/Prover.toml → .../test_data/brillig_references/Prover.toml
diff --git a/...a_refactor/brillig_references/src/main.nr → .../test_data/brillig_references/src/main.nr b/...a_refactor/brillig_references/src/main.nr → .../test_data/brillig_references/src/main.nr
diff --git a/...actor/brillig_references/target/main.json → ..._data/brillig_references/target/main.json b/...actor/brillig_references/target/main.json → ..._data/brillig_references/target/main.json
diff --git a/...ctor/brillig_references/target/witness.tr → ...data/brillig_references/target/witness.tr b/...ctor/brillig_references/target/witness.tr → ...data/brillig_references/target/witness.tr
diff --git a/...sa_refactor/brillig_scalar_mul/Nargo.toml → ...s/test_data/brillig_scalar_mul/Nargo.toml b/...sa_refactor/brillig_scalar_mul/Nargo.toml → ...s/test_data/brillig_scalar_mul/Nargo.toml
diff --git a/...a_refactor/brillig_scalar_mul/Prover.toml → .../test_data/brillig_scalar_mul/Prover.toml b/...a_refactor/brillig_scalar_mul/Prover.toml → .../test_data/brillig_scalar_mul/Prover.toml
diff --git a/...a_refactor/brillig_scalar_mul/src/main.nr → .../test_data/brillig_scalar_mul/src/main.nr b/...a_refactor/brillig_scalar_mul/src/main.nr → .../test_data/brillig_scalar_mul/src/main.nr
diff --git a/...actor/brillig_scalar_mul/target/main.json → ..._data/brillig_scalar_mul/target/main.json b/...actor/brillig_scalar_mul/target/main.json → ..._data/brillig_scalar_mul/target/main.json
diff --git a/...ctor/brillig_scalar_mul/target/witness.tr → ...data/brillig_scalar_mul/target/witness.tr b/...ctor/brillig_scalar_mul/target/witness.tr → ...data/brillig_scalar_mul/target/witness.tr
diff --git a/...a_ssa_refactor/brillig_schnorr/Nargo.toml → ...ests/test_data/brillig_schnorr/Nargo.toml b/...a_ssa_refactor/brillig_schnorr/Nargo.toml → ...ests/test_data/brillig_schnorr/Nargo.toml
diff --git a/..._ssa_refactor/brillig_schnorr/Prover.toml → ...sts/test_data/brillig_schnorr/Prover.toml b/..._ssa_refactor/brillig_schnorr/Prover.toml → ...sts/test_data/brillig_schnorr/Prover.toml
diff --git a/..._ssa_refactor/brillig_schnorr/src/main.nr → ...sts/test_data/brillig_schnorr/src/main.nr b/..._ssa_refactor/brillig_schnorr/src/main.nr → ...sts/test_data/brillig_schnorr/src/main.nr
diff --git a/...refactor/brillig_schnorr/target/main.json → ...est_data/brillig_schnorr/target/main.json b/...refactor/brillig_schnorr/target/main.json → ...est_data/brillig_schnorr/target/main.json
diff --git a/...efactor/brillig_schnorr/target/witness.tr → ...st_data/brillig_schnorr/target/witness.tr b/...efactor/brillig_schnorr/target/witness.tr → ...st_data/brillig_schnorr/target/witness.tr
diff --git a/...ta_ssa_refactor/brillig_sha256/Nargo.toml → ...tests/test_data/brillig_sha256/Nargo.toml b/...ta_ssa_refactor/brillig_sha256/Nargo.toml → ...tests/test_data/brillig_sha256/Nargo.toml
diff --git a/...a_ssa_refactor/brillig_sha256/Prover.toml → ...ests/test_data/brillig_sha256/Prover.toml b/...a_ssa_refactor/brillig_sha256/Prover.toml → ...ests/test_data/brillig_sha256/Prover.toml
diff --git a/...a_ssa_refactor/brillig_sha256/src/main.nr → ...ests/test_data/brillig_sha256/src/main.nr b/...a_ssa_refactor/brillig_sha256/src/main.nr → ...ests/test_data/brillig_sha256/src/main.nr
diff --git a/..._refactor/brillig_sha256/target/main.json → ...test_data/brillig_sha256/target/main.json b/..._refactor/brillig_sha256/target/main.json → ...test_data/brillig_sha256/target/main.json
diff --git a/...refactor/brillig_sha256/target/witness.tr → ...est_data/brillig_sha256/target/witness.tr b/...refactor/brillig_sha256/target/witness.tr → ...est_data/brillig_sha256/target/witness.tr
diff --git a/...ta_ssa_refactor/brillig_slices/Nargo.toml → ...tests/test_data/brillig_slices/Nargo.toml b/...ta_ssa_refactor/brillig_slices/Nargo.toml → ...tests/test_data/brillig_slices/Nargo.toml
diff --git a/...a_ssa_refactor/brillig_slices/Prover.toml → ...ests/test_data/brillig_slices/Prover.toml b/...a_ssa_refactor/brillig_slices/Prover.toml → ...ests/test_data/brillig_slices/Prover.toml
diff --git a/...a_ssa_refactor/brillig_slices/src/main.nr → ...ests/test_data/brillig_slices/src/main.nr b/...a_ssa_refactor/brillig_slices/src/main.nr → ...ests/test_data/brillig_slices/src/main.nr
diff --git a/..._refactor/brillig_slices/target/main.json → ...test_data/brillig_slices/target/main.json b/..._refactor/brillig_slices/target/main.json → ...test_data/brillig_slices/target/main.json
diff --git a/...refactor/brillig_slices/target/witness.tr → ...est_data/brillig_slices/target/witness.tr b/...refactor/brillig_slices/target/witness.tr → ...est_data/brillig_slices/target/witness.tr
diff --git a/...a_refactor/brillig_to_be_bytes/Nargo.toml → .../test_data/brillig_to_be_bytes/Nargo.toml b/...a_refactor/brillig_to_be_bytes/Nargo.toml → .../test_data/brillig_to_be_bytes/Nargo.toml
diff --git a/..._refactor/brillig_to_be_bytes/Prover.toml → ...test_data/brillig_to_be_bytes/Prover.toml b/..._refactor/brillig_to_be_bytes/Prover.toml → ...test_data/brillig_to_be_bytes/Prover.toml
diff --git a/..._refactor/brillig_to_be_bytes/src/main.nr → ...test_data/brillig_to_be_bytes/src/main.nr b/..._refactor/brillig_to_be_bytes/src/main.nr → ...test_data/brillig_to_be_bytes/src/main.nr
diff --git a/...ctor/brillig_to_be_bytes/target/main.json → ...data/brillig_to_be_bytes/target/main.json b/...ctor/brillig_to_be_bytes/target/main.json → ...data/brillig_to_be_bytes/target/main.json
diff --git a/...tor/brillig_to_be_bytes/target/witness.tr → ...ata/brillig_to_be_bytes/target/witness.tr b/...tor/brillig_to_be_bytes/target/witness.tr → ...ata/brillig_to_be_bytes/target/witness.tr
diff --git a/...a_ssa_refactor/brillig_to_bits/Nargo.toml → ...ests/test_data/brillig_to_bits/Nargo.toml b/...a_ssa_refactor/brillig_to_bits/Nargo.toml → ...ests/test_data/brillig_to_bits/Nargo.toml
diff --git a/..._ssa_refactor/brillig_to_bits/src/main.nr → ...sts/test_data/brillig_to_bits/src/main.nr b/..._ssa_refactor/brillig_to_bits/src/main.nr → ...sts/test_data/brillig_to_bits/src/main.nr
diff --git a/...refactor/brillig_to_bits/target/main.json → ...est_data/brillig_to_bits/target/main.json b/...refactor/brillig_to_bits/target/main.json → ...est_data/brillig_to_bits/target/main.json
diff --git a/...efactor/brillig_to_bits/target/witness.tr → ...st_data/brillig_to_bits/target/witness.tr b/...efactor/brillig_to_bits/target/witness.tr → ...st_data/brillig_to_bits/target/witness.tr
diff --git a/...r/brillig_to_bytes_integration/Nargo.toml → ...a/brillig_to_bytes_integration/Nargo.toml b/...r/brillig_to_bytes_integration/Nargo.toml → ...a/brillig_to_bytes_integration/Nargo.toml
diff --git a/.../brillig_to_bytes_integration/Prover.toml → .../brillig_to_bytes_integration/Prover.toml b/.../brillig_to_bytes_integration/Prover.toml → .../brillig_to_bytes_integration/Prover.toml
diff --git a/.../brillig_to_bytes_integration/src/main.nr → .../brillig_to_bytes_integration/src/main.nr b/.../brillig_to_bytes_integration/src/main.nr → .../brillig_to_bytes_integration/src/main.nr
diff --git a/...lig_to_bytes_integration/target/main.json → ...lig_to_bytes_integration/target/main.json b/...lig_to_bytes_integration/target/main.json → ...lig_to_bytes_integration/target/main.json
diff --git a/...ig_to_bytes_integration/target/witness.tr → ...ig_to_bytes_integration/target/witness.tr b/...ig_to_bytes_integration/target/witness.tr → ...ig_to_bytes_integration/target/witness.tr
diff --git a/...a_refactor/brillig_to_le_bytes/Nargo.toml → .../test_data/brillig_to_le_bytes/Nargo.toml b/...a_refactor/brillig_to_le_bytes/Nargo.toml → .../test_data/brillig_to_le_bytes/Nargo.toml
diff --git a/..._refactor/brillig_to_le_bytes/Prover.toml → ...test_data/brillig_to_le_bytes/Prover.toml b/..._refactor/brillig_to_le_bytes/Prover.toml → ...test_data/brillig_to_le_bytes/Prover.toml
diff --git a/..._refactor/brillig_to_le_bytes/src/main.nr → ...test_data/brillig_to_le_bytes/src/main.nr b/..._refactor/brillig_to_le_bytes/src/main.nr → ...test_data/brillig_to_le_bytes/src/main.nr
diff --git a/...ctor/brillig_to_le_bytes/target/main.json → ...data/brillig_to_le_bytes/target/main.json b/...ctor/brillig_to_le_bytes/target/main.json → ...data/brillig_to_le_bytes/target/main.json
diff --git a/...tor/brillig_to_le_bytes/target/witness.tr → ...ata/brillig_to_le_bytes/target/witness.tr b/...tor/brillig_to_le_bytes/target/witness.tr → ...ata/brillig_to_le_bytes/target/witness.tr
diff --git a/...ssa_refactor/brillig_top_level/Nargo.toml → ...ts/test_data/brillig_top_level/Nargo.toml b/...ssa_refactor/brillig_top_level/Nargo.toml → ...ts/test_data/brillig_top_level/Nargo.toml
diff --git a/...sa_refactor/brillig_top_level/Prover.toml → ...s/test_data/brillig_top_level/Prover.toml b/...sa_refactor/brillig_top_level/Prover.toml → ...s/test_data/brillig_top_level/Prover.toml
diff --git a/...sa_refactor/brillig_top_level/src/main.nr → ...s/test_data/brillig_top_level/src/main.nr b/...sa_refactor/brillig_top_level/src/main.nr → ...s/test_data/brillig_top_level/src/main.nr
diff --git a/...factor/brillig_top_level/target/main.json → ...t_data/brillig_top_level/target/main.json b/...factor/brillig_top_level/target/main.json → ...t_data/brillig_top_level/target/main.json
diff --git a/...actor/brillig_top_level/target/witness.tr → ..._data/brillig_top_level/target/witness.tr b/...actor/brillig_top_level/target/witness.tr → ..._data/brillig_top_level/target/witness.tr
diff --git a/...st_data_ssa_refactor/cast_bool/Nargo.toml → ..._cli/tests/test_data/cast_bool/Nargo.toml b/...st_data_ssa_refactor/cast_bool/Nargo.toml → ..._cli/tests/test_data/cast_bool/Nargo.toml
diff --git a/...t_data_ssa_refactor/cast_bool/Prover.toml → ...cli/tests/test_data/cast_bool/Prover.toml b/...t_data_ssa_refactor/cast_bool/Prover.toml → ...cli/tests/test_data/cast_bool/Prover.toml
diff --git a/...t_data_ssa_refactor/cast_bool/src/main.nr → ...cli/tests/test_data/cast_bool/src/main.nr b/...t_data_ssa_refactor/cast_bool/src/main.nr → ...cli/tests/test_data/cast_bool/src/main.nr
diff --git a/...a_ssa_refactor/cast_bool/target/main.json → ...ests/test_data/cast_bool/target/main.json b/...a_ssa_refactor/cast_bool/target/main.json → ...ests/test_data/cast_bool/target/main.json
diff --git a/..._ssa_refactor/cast_bool/target/witness.tr → ...sts/test_data/cast_bool/target/witness.tr b/..._ssa_refactor/cast_bool/target/witness.tr → ...sts/test_data/cast_bool/target/witness.tr