#include "barretenberg/vm2/tracegen/execution_trace.hpp"
#include <algorithm>
#include <array>
#include <cstddef>
#include <numeric>
#include <ranges>
#include <stdexcept>
#include "barretenberg/vm2/common/addressing.hpp"
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/common/instruction_spec.hpp"
#include "barretenberg/vm2/common/set.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
#include "barretenberg/vm2/generated/relations/lookups_addressing.hpp"
#include "barretenberg/vm2/generated/relations/lookups_context.hpp"
#include "barretenberg/vm2/generated/relations/lookups_emit_notehash.hpp"
#include "barretenberg/vm2/generated/relations/lookups_emit_nullifier.hpp"
#include "barretenberg/vm2/generated/relations/lookups_execution.hpp"
#include "barretenberg/vm2/generated/relations/lookups_external_call.hpp"
#include "barretenberg/vm2/generated/relations/lookups_gas.hpp"
#include "barretenberg/vm2/generated/relations/lookups_get_env_var.hpp"
#include "barretenberg/vm2/generated/relations/lookups_internal_call.hpp"
#include "barretenberg/vm2/generated/relations/lookups_l1_to_l2_message_exists.hpp"
#include "barretenberg/vm2/generated/relations/lookups_notehash_exists.hpp"
#include "barretenberg/vm2/generated/relations/lookups_nullifier_exists.hpp"
#include "barretenberg/vm2/generated/relations/lookups_send_l2_to_l1_msg.hpp"
#include "barretenberg/vm2/generated/relations/lookups_sload.hpp"
#include "barretenberg/vm2/generated/relations/lookups_sstore.hpp"
#include "barretenberg/vm2/generated/relations/perms_execution.hpp"
#include "barretenberg/vm2/tracegen/lib/get_env_var_spec.hpp"
#include "barretenberg/vm2/tracegen/lib/instruction_spec.hpp"

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

namespace	bb::avm2

namespace	bb::avm2::tracegen

Typedefs
using	C = bb::avm2::Column

Typedef Documentation

◆ C

using C = bb::avm2::Column

Definition at line 35 of file execution_trace.cpp.

Variable Documentation

◆ app_logic_exit_context_id

uint32_t app_logic_exit_context_id = 0

Definition at line 190 of file execution_trace.cpp.

◆ app_logic_failure

bool app_logic_failure = false

Definition at line 188 of file execution_trace.cpp.

◆ does_context_fail

unordered_flat_set<uint32_t> does_context_fail

Definition at line 192 of file execution_trace.cpp.

◆ teardown_exit_context_id

uint32_t teardown_exit_context_id = 0

Definition at line 191 of file execution_trace.cpp.

◆ teardown_failure

bool teardown_failure = false

Definition at line 189 of file execution_trace.cpp.

Namespaces

Typedefs