# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2024"
rust-version = "1.89"
name = "triton-isa"
version = "2.0.0"
authors = ["Triton Software AG"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = """
The instruction set architecture for Triton VM.
"""
homepage = "https://triton-vm.org/"
documentation = "https://triton-vm.org/spec/"
readme = "README.md"
license = "MIT OR Apache-2.0"
repository = "https://github.com/TritonVM/triton-vm"
resolver = "2"

[lib]
name = "triton_isa"
path = "src/lib.rs"

[dependencies.arbitrary]
version = "1"
features = ["derive"]

[dependencies.get-size2]
version = "0.7"
features = ["derive"]

[dependencies.itertools]
version = "0.14"

[dependencies.lazy_static]
version = "1.5"

[dependencies.nom]
version = "8.0.0"

[dependencies.nom-language]
version = "0.1.0"

[dependencies.num-traits]
version = "0.2"

[dependencies.serde]
version = "1"
features = ["derive"]

[dependencies.strum]
version = "0.27"
features = ["derive"]

[dependencies.thiserror]
version = "2.0"

[dependencies.twenty-first]
version = "1.1.0"

[dev-dependencies.assert2]
version = "0.3"

[dev-dependencies.proptest]
version = "1.7"

[dev-dependencies.proptest-arbitrary-interop]
version = "0.1"

[dev-dependencies.rand]
version = "0.9.1"

[dev-dependencies.test-strategy]
version = "0.4.2"

[lints.clippy]
cast_lossless = "warn"
cloned_instead_of_copied = "warn"
copy_iterator = "warn"
default_trait_access = "warn"
doc_link_with_quotes = "warn"
enum_glob_use = "warn"
expl_impl_clone_on_copy = "warn"
explicit_into_iter_loop = "warn"
explicit_iter_loop = "warn"
filter_map_next = "warn"
flat_map_option = "warn"
fn_params_excessive_bools = "warn"
from_iter_instead_of_collect = "warn"
if_not_else = "warn"
implicit_clone = "warn"
inconsistent_struct_constructor = "warn"
inefficient_to_string = "warn"
invalid_upcast_comparisons = "warn"
items_after_statements = "warn"
large_digit_groups = "warn"
macro_use_imports = "warn"
manual_assert = "warn"
manual_instant_elapsed = "warn"
manual_let_else = "warn"
manual_ok_or = "warn"
manual_string_new = "warn"
many_single_char_names = "warn"
map_unwrap_or = "warn"
match_wild_err_arm = "warn"
match_wildcard_for_single_variants = "warn"
mismatching_type_param_order = "warn"
mut_mut = "warn"
needless_continue = "warn"
needless_for_each = "warn"
no_effect_underscore_binding = "warn"
option_option = "warn"
range_minus_one = "warn"
range_plus_one = "warn"
redundant_else = "warn"
ref_binding_to_reference = "warn"
ref_option_ref = "warn"
return_self_not_must_use = "warn"
same_functions_in_if_condition = "warn"
should_panic_without_expect = "warn"
stable_sort_primitive = "warn"
struct_field_names = "warn"
trivially_copy_pass_by_ref = "warn"
unchecked_duration_subtraction = "warn"
uninlined_format_args = "warn"
unnecessary_box_returns = "warn"
unnecessary_join = "warn"
unnecessary_wraps = "warn"
unnested_or_patterns = "warn"
unused_async = "warn"
used_underscore_binding = "warn"
verbose_bit_mask = "warn"
wildcard_imports = "warn"

[lints.rust]
let_underscore_drop = "warn"
missing_copy_implementations = "warn"
missing_debug_implementations = "warn"

[lints.rust.unexpected_cfgs]
level = "warn"
priority = 0
check-cfg = ["cfg(coverage,coverage_nightly)"]

Homonyms

cyb/Cargo.toml
neural/rs/Cargo.toml
warriors/erga/Cargo.toml
soft3/tru/Cargo.toml
soft3/mudra/Cargo.toml
warriors/trisha/Cargo.toml
cyb/evy/Cargo.toml
cyb/wysm/Cargo.toml
soft3/zheng/Cargo.toml
cyb/shell/Cargo.toml
soft3/hemera/Cargo.toml
cyb/core/Cargo.toml
soft3/glia/Cargo.toml
cyb/optica/Cargo.toml
soft3/cybergraph/Cargo.toml
soft3/strata/Cargo.toml
neural/rune/Cargo.toml
cyb/honeycrisp/Cargo.toml
cyb/prysm/Cargo.toml
cyberia/cyberia-my/Cargo.toml
soft3/foculus/Cargo.toml
neural/trident/Cargo.toml
soft3/radio/Cargo.toml
cyb/apps/Cargo.toml
soft3/crate/Cargo.toml
cyb/cli/Cargo.toml
soft3/lens/Cargo.toml
soft3/mir/Cargo.toml
soft3/nox/Cargo.toml
neural/eidos/Cargo.toml
soft3/radio/iroh-relay/Cargo.toml
soft3/lens/core/Cargo.toml
warriors/trisha/honeycrisp/Cargo.toml
soft3/radio/iroh-car/Cargo.toml
soft3/hemera/cli/Cargo.toml
neural/rune/cli/Cargo.toml
soft3/strata/src/Cargo.toml
cyb/wysm/fuzz/Cargo.toml
soft3/tru/rs/Cargo.toml
soft3/hemera/bench/Cargo.toml
cyb/crates/cyb-reserve/Cargo.toml
neural/rs/cli/Cargo.toml
cyb/honeycrisp/aruminium/Cargo.toml
soft3/strata/proof/Cargo.toml
soft3/nox/cli/Cargo.toml
warriors/trisha/wgpu/Cargo.toml
soft3/soma/kernel/Cargo.toml
cyb/honeycrisp/unimem/Cargo.toml
neural/inf/rs/Cargo.toml
soft3/radio/nettools/Cargo.toml
cyb/honeycrisp/acpu/Cargo.toml
soft3/radio/iroh/Cargo.toml
soft3/tru/cli/Cargo.toml
soft3/lens/src/Cargo.toml
neural/rs/link/Cargo.toml
neural/rs/dialect/Cargo.toml
soft3/lens/porphyry/Cargo.toml
soft3/lens/brakedown/Cargo.toml
soft3/cybergraph/cli/Cargo.toml
soft3/radio/iroh-dns-server/Cargo.toml
soft3/glia/import/Cargo.toml
soft3/lens/binius/Cargo.toml
soft3/bbg/rs/Cargo.toml
neural/rs/mir-format/Cargo.toml
cyberia/research/cyberia-my/Cargo.toml
soft3/lens/cli/Cargo.toml
soft3/lytics/rs/Cargo.toml
neural/eidos/rs/Cargo.toml
soft3/strata/cli/Cargo.toml
neural/rs/pure-rust-check/Cargo.toml
neural/rs/rsc/Cargo.toml
neural/rs/core/Cargo.toml
soft3/glia/cli/Cargo.toml
soft3/radio/iroh-base/Cargo.toml
soft3/radio/particle/Cargo.toml
neural/rs/darwin-sys/Cargo.toml
cyb/honeycrisp/rane/Cargo.toml
soft3/glia/run/Cargo.toml
soft3/tok/rs/Cargo.toml
soft3/radio/iroh-ffi/Cargo.toml
cyb/crates/cyb/Cargo.toml
soft3/zheng/rs/Cargo.toml
soft3/radio/iroh-gossip/Cargo.toml
soft3/hemera/rs/Cargo.toml
soft3/radio/iroh-willow/Cargo.toml
cyb/prysm/cli/Cargo.toml
soft3/radio/radio-cli/Cargo.toml
soft3/lens/ikat/Cargo.toml
soft3/lens/assayer/Cargo.toml
soft3/nox/rs/Cargo.toml
soft3/radio/quinn/Cargo.toml
soft3/conformance/rs/Cargo.toml
soft3/strata/core/Cargo.toml
soft3/radio/iroh-blobs/Cargo.toml
soft3/radio/iroh-docs/Cargo.toml
warriors/trisha/cli/Cargo.toml
soft3/bbg/cli/Cargo.toml
neural/rs/codegen/Cargo.toml
warriors/trisha/rs/Cargo.toml
soft3/hemera/wgsl/Cargo.toml
neural/rs/macros/Cargo.toml
soft3/zheng/cli/Cargo.toml
warriors/erga/cli/Cargo.toml
soft3/radio/cyber-bao/Cargo.toml
soft3/strata/ext/Cargo.toml
neural/rs/sigil/Cargo.toml
neural/eidos/cli/Cargo.toml
soft3/strata/compute/Cargo.toml
neural/rs/macho-linker/Cargo.toml
soft3/radio/iroh/bench/Cargo.toml
soft3/strata/genies/rs/Cargo.toml
cyb/honeycrisp/aruminium/benches/Cargo.toml
cyb/wysm/crates/collections/Cargo.toml
neural/inf/rs/lex/Cargo.toml
warriors/erga/rs/miner/Cargo.toml
cyb/wysm/crates/fuzz/Cargo.toml
warriors/erga/rs/mine-bench/Cargo.toml
soft3/strata/trop/wgsl/Cargo.toml
soft3/strata/kuro/cli/Cargo.toml
soft3/strata/jali/cli/Cargo.toml
cyb/wysm/crates/ir/Cargo.toml
soft3/strata/jali/wgsl/Cargo.toml
neural/inf/rs/source/Cargo.toml
cyb/wysm/crates/wasi/Cargo.toml
neural/inf/rs/oracle/Cargo.toml
warriors/erga/rs/autolykos/Cargo.toml
cyb/evy/forks/naga/Cargo.toml
soft3/tape/impl/rust/Cargo.toml
soft3/strata/nebu/cli/Cargo.toml
soft3/radio/quinn/fuzz/Cargo.toml
soft3/radio/tests/integration/Cargo.toml
soft3/radio/nettools/netwatch/Cargo.toml
soft3/strata/genies/cli/Cargo.toml
soft3/radio/quinn/quinn-proto/Cargo.toml
neural/inf/rs/ast/Cargo.toml
cyb/evy/forks/bevy_image/Cargo.toml
cyb/evy/forks/bevy_pbr/Cargo.toml
neural/trident/editor/zed/Cargo.toml
neural/rune/rs/lex/Cargo.toml
neural/rune/rs/compile/Cargo.toml
warriors/trisha/.vendor/triton-constraint-builder/Cargo.toml
warriors/erga/rs/pool/Cargo.toml
cyb/evy/forks/bevy_tasks/Cargo.toml
soft3/strata/kuro/rs/Cargo.toml
cyb/wysm/crates/wast/Cargo.toml
soft3/radio/iroh-ffi/iroh-js/Cargo.toml
neural/inf/rs/cli/Cargo.toml
cyb/evy/forks/bevy_diagnostic/Cargo.toml
neural/rs/tests/macro-integration/Cargo.toml
cyb/evy/crates/evy_diagnostic/Cargo.toml
soft3/strata/genies/wgsl/Cargo.toml
soft3/strata/nebu/wgsl/Cargo.toml
cyb/evy/forks/bevy_animation/Cargo.toml
neural/rune/rs/ast/Cargo.toml
soft3/radio/nettools/portmapper/Cargo.toml
cyb/wysm/crates/core/Cargo.toml
cyb/evy/crates/evy_engine_dispatch/Cargo.toml
soft3/lytics/rs/event/Cargo.toml
neural/rune/rs/interp/Cargo.toml
soft3/strata/nebu/rs/Cargo.toml
warriors/erga/rs/rtable-bench/Cargo.toml
soft3/lytics/rs/agent/Cargo.toml
warriors/erga/rs/app/Cargo.toml
cyb/evy/forks/bevy_core_pipeline/Cargo.toml
cyb/evy/forks/bevy_anti_alias/Cargo.toml
cyb/evy/crates/evy_dialect/Cargo.toml
neural/rune/rs/prysm/Cargo.toml
cyb/evy/forks/bevy_mesh/Cargo.toml
soft3/lytics/rs/core/Cargo.toml
cyb/evy/forks/bevy_sprite/Cargo.toml
soft3/strata/trop/cli/Cargo.toml
neural/inf/rs/eval/Cargo.toml
warriors/trisha/.vendor/triton-constraint-circuit/Cargo.toml
soft3/radio/quinn/perf/Cargo.toml
neural/rune/rs/lower/Cargo.toml
warriors/trisha/.vendor/triton-air/Cargo.toml
cyb/evy/crates/evy_prysm_core/Cargo.toml
cyb/evy/crates/evy_engine_core/Cargo.toml
warriors/trisha/.vendor/twenty-first/Cargo.toml
soft3/radio/quinn/quinn/Cargo.toml
neural/rune/rs/subject/Cargo.toml
cyb/evy/crates/evy_platform_caps/Cargo.toml
cyb/evy/crates/evy_ecs_storage/Cargo.toml
warriors/trisha/.vendor/triton-vm/Cargo.toml
warriors/erga/rs/blake-bench/Cargo.toml
cyb/evy/forks/bevy_transform/Cargo.toml
cyb/wysm/crates/cli/Cargo.toml
soft3/strata/jali/rs/Cargo.toml
neural/rune/rs/parse/Cargo.toml
neural/rune/rs/mold/Cargo.toml
soft3/radio/quinn/quinn-udp/Cargo.toml
cyb/wysm/crates/c_api/Cargo.toml
soft3/radio/quinn/bench/Cargo.toml
neural/inf/rs/plan/Cargo.toml
soft3/strata/trop/rs/Cargo.toml
cyb/evy/forks/bevy_post_process/Cargo.toml
soft3/lytics/rs/ingest/Cargo.toml
cyb/evy/crates/evy_engine_tasks/Cargo.toml
soft3/strata/kuro/wgsl/Cargo.toml
cyb/wysm/crates/wasmi/Cargo.toml
cyb/evy/forks/bevy_render/Cargo.toml
cyb/honeycrisp/rane/benches/Cargo.toml
neural/inf/rs/value/Cargo.toml
cyb/evy/crates/evy_radio/Cargo.toml
cyb/evy/forks/bevy_sprite_render/Cargo.toml
cyb/evy/forks/bevy_ecs/Cargo.toml
neural/rune/rs/parse-pure/Cargo.toml
neural/inf/rs/cozo/Cargo.toml
neural/inf/rs/parse/Cargo.toml
cyb/evy/forks/bevy_gizmos_render/Cargo.toml
warriors/erga/rs/wallet/Cargo.toml
neural/inf/rs/lower/Cargo.toml
cyb/evy/forks/bevy_gizmos/Cargo.toml
neural/inf/rs/cozo/cozo-bin/Cargo.toml
neural/inf/rs/cozo/cozo-core/Cargo.toml
cyb/wysm/crates/c_api/macro/Cargo.toml
cyb/honeycrisp/unimem/experiments/iosurface_probe/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/Cargo.toml
neural/inf/rs/cozo/cozo-lib-c/Cargo.toml
neural/inf/rs/cozo/cozo-lib-java/Cargo.toml
soft3/radio/quinn/docs/book/Cargo.toml
cyb/honeycrisp/unimem/experiments/hyp_probe/Cargo.toml
neural/inf/rs/cozo/cozo-lib-nodejs/Cargo.toml
cyb/wysm/crates/c_api/artifact/Cargo.toml
neural/inf/rs/cozo/cozorocks/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/Cargo.toml
neural/inf/rs/cozo/cozo-lib-wasm/Cargo.toml
neural/inf/rs/cozo/cozo-lib-swift/Cargo.toml
neural/inf/rs/cozo/cozo-lib-python/Cargo.toml
neural/inf/rs/cozo/cozo-core-examples/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/rane/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/unimem/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/unimem/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/acpu/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/aruminium/Cargo.toml
cyb/honeycrisp/unimem/experiments/dext_contiguous_alloc/client/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/rane/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/acpu/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/aruminium/Cargo.toml
cyb/honeycrisp/unimem/experiments/dext_iosurface_pa/client/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/rane/benches/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/rane/benches/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/aruminium/benches/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/aruminium/benches/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/unimem/experiments/hyp_probe/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/unimem/experiments/iosurface_probe/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/unimem/experiments/iosurface_probe/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/unimem/experiments/hyp_probe/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/unimem/experiments/dext_iosurface_pa/client/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/unimem/experiments/dext_iosurface_pa/client/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-aa1259cb10112b22a/unimem/experiments/dext_contiguous_alloc/client/Cargo.toml
cyb/honeycrisp/.claude/worktrees/agent-ad6c77c38e86bc291/unimem/experiments/dext_contiguous_alloc/client/Cargo.toml

Graph