Skip to content

Commit

Permalink
refactor(avm): group lookups and perms per file (#11509)
Browse files Browse the repository at this point in the history
Please read [contributing guidelines](CONTRIBUTING.md) and remove this
line.
  • Loading branch information
fcarreiro authored Jan 26, 2025
1 parent 43780ba commit a27dd66
Show file tree
Hide file tree
Showing 85 changed files with 3,903 additions and 4,377 deletions.
69 changes: 14 additions & 55 deletions barretenberg/cpp/src/barretenberg/vm/avm/generated/flavor.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -34,61 +34,20 @@
#include "relations/sha256.hpp"

// Lookup and permutation relations
#include "relations/incl_main_tag_err.hpp"
#include "relations/incl_mem_tag_err.hpp"
#include "relations/lookup_byte_lengths.hpp"
#include "relations/lookup_byte_operations.hpp"
#include "relations/lookup_cd_value.hpp"
#include "relations/lookup_da_gas_rng_chk_0.hpp"
#include "relations/lookup_da_gas_rng_chk_1.hpp"
#include "relations/lookup_l2_gas_rng_chk_0.hpp"
#include "relations/lookup_l2_gas_rng_chk_1.hpp"
#include "relations/lookup_mem_rng_chk_0.hpp"
#include "relations/lookup_mem_rng_chk_1.hpp"
#include "relations/lookup_mem_rng_chk_2.hpp"
#include "relations/lookup_opcode_gas.hpp"
#include "relations/lookup_pow_2_0.hpp"
#include "relations/lookup_pow_2_1.hpp"
#include "relations/lookup_ret_value.hpp"
#include "relations/lookup_rng_chk_0.hpp"
#include "relations/lookup_rng_chk_1.hpp"
#include "relations/lookup_rng_chk_2.hpp"
#include "relations/lookup_rng_chk_3.hpp"
#include "relations/lookup_rng_chk_4.hpp"
#include "relations/lookup_rng_chk_5.hpp"
#include "relations/lookup_rng_chk_6.hpp"
#include "relations/lookup_rng_chk_7.hpp"
#include "relations/lookup_rng_chk_diff.hpp"
#include "relations/lookup_rng_chk_pow_2.hpp"
#include "relations/perm_cmp_alu.hpp"
#include "relations/perm_main_alu.hpp"
#include "relations/perm_main_bin.hpp"
#include "relations/perm_main_conv.hpp"
#include "relations/perm_main_mem_a.hpp"
#include "relations/perm_main_mem_b.hpp"
#include "relations/perm_main_mem_c.hpp"
#include "relations/perm_main_mem_d.hpp"
#include "relations/perm_main_mem_ind_addr_a.hpp"
#include "relations/perm_main_mem_ind_addr_b.hpp"
#include "relations/perm_main_mem_ind_addr_c.hpp"
#include "relations/perm_main_mem_ind_addr_d.hpp"
#include "relations/perm_main_pos2_perm.hpp"
#include "relations/perm_main_sha256.hpp"
#include "relations/perm_merkle_poseidon2.hpp"
#include "relations/perm_pos2_fixed_pos2_perm.hpp"
#include "relations/perm_pos_mem_read_a.hpp"
#include "relations/perm_pos_mem_read_b.hpp"
#include "relations/perm_pos_mem_read_c.hpp"
#include "relations/perm_pos_mem_read_d.hpp"
#include "relations/perm_pos_mem_write_a.hpp"
#include "relations/perm_pos_mem_write_b.hpp"
#include "relations/perm_pos_mem_write_c.hpp"
#include "relations/perm_pos_mem_write_d.hpp"
#include "relations/perm_rng_alu.hpp"
#include "relations/perm_rng_cmp_hi.hpp"
#include "relations/perm_rng_cmp_lo.hpp"
#include "relations/perm_rng_non_ff_cmp.hpp"
#include "relations/perm_slice_mem.hpp"
#include "relations/lookups_alu.hpp"
#include "relations/lookups_binary.hpp"
#include "relations/lookups_gas.hpp"
#include "relations/lookups_main.hpp"
#include "relations/lookups_mem.hpp"
#include "relations/lookups_mem_slice.hpp"
#include "relations/lookups_range_check.hpp"
#include "relations/perms_alu.hpp"
#include "relations/perms_cmp.hpp"
#include "relations/perms_main.hpp"
#include "relations/perms_mem_slice.hpp"
#include "relations/perms_merkle_tree.hpp"
#include "relations/perms_poseidon2.hpp"
#include "relations/perms_poseidon2_full.hpp"

// Metaprogramming to concatenate tuple types.
template <typename... input_t> using tuple_cat_t = decltype(std::tuple_cat(std::declval<input_t>()...));
Expand Down

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

Loading

0 comments on commit a27dd66

Please sign in to comment.