Skip to content

Commit

Permalink
chore(avm): codegen improvements
Browse files Browse the repository at this point in the history
  • Loading branch information
@fcarreiro
fcarreiro committed Jul 31, 2024
1 parent b6f6f83 commit f74e5c7
Show file tree
Hide file tree
Showing 108 changed files with 2,416 additions and 2,249 deletions.
2 changes: 1 addition & 1 deletion barretenberg/cpp/src/barretenberg/bb/main.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
#ifndef DISABLE_AZTEC_VM
#include "barretenberg/vm/avm_trace/avm_common.hpp"
#include "barretenberg/vm/avm_trace/avm_execution.hpp"
#include "barretenberg/vm/avm_trace/stats.hpp"
#include "barretenberg/vm/stats.hpp"
#endif
#include "config.hpp"
#include "get_bn254_crs.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/alu.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/binary.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/conversion.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/gas.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/incl_main_tag_err.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/incl_mem_tag_err.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/keccakf1600.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/kernel.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/kernel_output_lookup.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_byte_lengths.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_byte_operations.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_cd_value.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_0.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_1.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_2.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_3.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_4.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_5.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_6.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_div_u16_7.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_into_kernel.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_mem_rng_chk_hi.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_mem_rng_chk_lo.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_mem_rng_chk_mid.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_opcode_gas.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_pow_2_0.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_pow_2_1.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_ret_value.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_0.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_1.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_10.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_11.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_12.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_13.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_14.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_2.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_3.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_4.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_5.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_6.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_7.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_8.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u16_9.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u8_0.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/lookup_u8_1.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/main.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/mem.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/mem_slice.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/pedersen.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_alu.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_bin.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_conv.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_mem_a.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_mem_b.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_mem_c.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_mem_d.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_mem_ind_addr_a.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_mem_ind_addr_b.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_mem_ind_addr_c.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_mem_ind_addr_d.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_pedersen.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_pos2_perm.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_main_slice.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/perm_slice_mem.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/poseidon2.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/powers.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/range_check_da_gas_hi.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/range_check_da_gas_lo.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/range_check_l2_gas_hi.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/range_check_l2_gas_lo.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generic_lookup/generic_lookup_relation.hpp"
Expand Down
1 change: 1 addition & 0 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/sha256.hpp
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// AUTOGENERATED FILE
#pragma once

#include "barretenberg/relations/generated/avm/declare_views.hpp"
Expand Down
2 changes: 1 addition & 1 deletion barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_execution.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,11 +12,11 @@
#include "barretenberg/vm/avm_trace/avm_trace.hpp"
#include "barretenberg/vm/avm_trace/aztec_constants.hpp"
#include "barretenberg/vm/avm_trace/constants.hpp"
#include "barretenberg/vm/avm_trace/stats.hpp"
#include "barretenberg/vm/generated/avm_circuit_builder.hpp"
#include "barretenberg/vm/generated/avm_composer.hpp"
#include "barretenberg/vm/generated/avm_flavor.hpp"
#include "barretenberg/vm/generated/avm_verifier.hpp"
#include "barretenberg/vm/stats.hpp"

#include <cassert>
#include <cstddef>
Expand Down
2 changes: 1 addition & 1 deletion barretenberg/cpp/src/barretenberg/vm/avm_trace/avm_trace.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
#include "barretenberg/vm/avm_trace/fixed_gas.hpp"
#include "barretenberg/vm/avm_trace/fixed_powers.hpp"
#include "barretenberg/vm/avm_trace/gadgets/avm_slice_trace.hpp"
#include "barretenberg/vm/avm_trace/stats.hpp"
#include "barretenberg/vm/stats.hpp"

namespace bb::avm_trace {

Expand Down
Loading

0 comments on commit f74e5c7

Please sign in to comment.