vyre-reference 0.6.2

# 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 = "2021"
rust-version = "1.85"
name = "vyre-reference"
version = "0.6.2"
authors = ["Santh Project <contact@santh.dev>"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Pure-Rust CPU reference interpreter for vyre IR; byte-identical oracle for backend conformance"
homepage = "https://github.com/santhsecurity/vyre"
documentation = "https://docs.rs/vyre-reference"
readme = "README.md"
keywords = [
    "gpu",
    "ir",
    "reference",
    "interpreter",
    "vyre",
]
categories = [
    "algorithms",
    "api-bindings",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/santhsecurity/vyre"

[package.metadata.docs.rs]
all-features = true
rustdoc-args = [
    "--cfg",
    "docsrs",
]

[features]
default = ["subgroup-ops"]
subgroup-ops = []

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

[[example]]
name = "vyre_reference_release_surface"
path = "examples/vyre_reference_release_surface.rs"

[[test]]
name = "adversarial_empty"
path = "tests/adversarial_empty.rs"

[[test]]
name = "adversarial_gaps"
path = "tests/adversarial_gaps.rs"

[[test]]
name = "assign_semantics"
path = "tests/assign_semantics.rs"

[[test]]
name = "atomic_law_property_contracts"
path = "tests/atomic_law_property_contracts.rs"

[[test]]
name = "atomic_oracle_contract"
path = "tests/atomic_oracle_contract.rs"

[[test]]
name = "atomic_property_contracts"
path = "tests/atomic_property_contracts.rs"

[[test]]
name = "byte_prefix_property_contracts"
path = "tests/byte_prefix_property_contracts.rs"

[[test]]
name = "dual_arith_reference_contracts"
path = "tests/dual_arith_reference_contracts.rs"

[[test]]
name = "dual_reference_parity"
path = "tests/dual_reference_parity.rs"

[[test]]
name = "dual_reference_property_contracts"
path = "tests/dual_reference_property_contracts.rs"

[[test]]
name = "dual_registry_adversarial_contract"
path = "tests/dual_registry_adversarial_contract.rs"

[[test]]
name = "dual_scalar_evaluator_generated_matrix"
path = "tests/dual_scalar_evaluator_generated_matrix.rs"

[[test]]
name = "expr_adversarial_proptest"
path = "tests/expr_adversarial_proptest.rs"

[[test]]
name = "f32_comparison_property_contracts"
path = "tests/f32_comparison_property_contracts.rs"

[[test]]
name = "fixed_width_value_property_contracts"
path = "tests/fixed_width_value_property_contracts.rs"

[[test]]
name = "flat_cpu_input_contract"
path = "tests/flat_cpu_input_contract.rs"

[[test]]
name = "gap_transcendentals_parity"
path = "tests/gap_transcendentals_parity.rs"

[[test]]
name = "hashmap_async_and_indirect_contracts"
path = "tests/hashmap_async_and_indirect_contracts.rs"

[[test]]
name = "hashmap_buffer_size_contracts"
path = "tests/hashmap_buffer_size_contracts.rs"

[[test]]
name = "hashmap_invocation_size_contracts"
path = "tests/hashmap_invocation_size_contracts.rs"

[[test]]
name = "oracle_program_edges"
path = "tests/oracle_program_edges.rs"

[[test]]
name = "quantized_buffer_contract"
path = "tests/quantized_buffer_contract.rs"

[[test]]
name = "reference_eval_fma_select_generated"
path = "tests/reference_eval_fma_select_generated.rs"

[[test]]
name = "region_frame_lifetime"
path = "tests/region_frame_lifetime.rs"

[[test]]
name = "region_gate"
path = "tests/region_gate.rs"

[[test]]
name = "saturating_binops_contract"
path = "tests/saturating_binops_contract.rs"

[[test]]
name = "single_rank_collective_reference"
path = "tests/single_rank_collective_reference.rs"

[[test]]
name = "storage_graph_generated_adversarial"
path = "tests/storage_graph_generated_adversarial.rs"

[[test]]
name = "storage_graph_i32_f32_semantics_generated"
path = "tests/storage_graph_i32_f32_semantics_generated.rs"

[[test]]
name = "storage_graph_scalar_semantics_generated"
path = "tests/storage_graph_scalar_semantics_generated.rs"

[[test]]
name = "storage_graph_u64_semantics_generated"
path = "tests/storage_graph_u64_semantics_generated.rs"

[[test]]
name = "subgroup_edge_contract"
path = "tests/subgroup_edge_contract.rs"

[[test]]
name = "subnormal_contract"
path = "tests/subnormal_contract.rs"

[[test]]
name = "sweep_dual_arith_oracle_matrix"
path = "tests/sweep_dual_arith_oracle_matrix.rs"

[[test]]
name = "sweep_dual_bitwise_and_volume_oracle_matrix"
path = "tests/sweep_dual_bitwise_and_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_bitwise_clz_volume_oracle_matrix"
path = "tests/sweep_dual_bitwise_clz_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_bitwise_not_volume_oracle_matrix"
path = "tests/sweep_dual_bitwise_not_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_bitwise_or_volume_oracle_matrix"
path = "tests/sweep_dual_bitwise_or_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_bitwise_popcount_volume_oracle_matrix"
path = "tests/sweep_dual_bitwise_popcount_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_bitwise_shift_left_volume_oracle_matrix"
path = "tests/sweep_dual_bitwise_shift_left_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_bitwise_shift_right_volume_oracle_matrix"
path = "tests/sweep_dual_bitwise_shift_right_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_bitwise_xor_volume_oracle_matrix"
path = "tests/sweep_dual_bitwise_xor_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_compare_eq_volume_oracle_matrix"
path = "tests/sweep_dual_compare_eq_volume_oracle_matrix.rs"

[[test]]
name = "sweep_dual_compare_lt_volume_oracle_matrix"
path = "tests/sweep_dual_compare_lt_volume_oracle_matrix.rs"

[[test]]
name = "test_fnv1a32_zero"
path = "tests/fnv1a32_zero.rs"

[[test]]
name = "value_array_property_contracts"
path = "tests/value_array_property_contracts.rs"

[[test]]
name = "value_byte_property_contracts"
path = "tests/value_byte_property_contracts.rs"

[[test]]
name = "value_datatype_generated_matrix"
path = "tests/value_datatype_generated_matrix.rs"

[[test]]
name = "value_encoding_contract"
path = "tests/value_encoding_contract.rs"

[[test]]
name = "value_extend_bytes_width_generated"
path = "tests/value_extend_bytes_width_generated.rs"

[[test]]
name = "value_float_property_contracts"
path = "tests/value_float_property_contracts.rs"

[[test]]
name = "value_narrowing_property_contracts"
path = "tests/value_narrowing_property_contracts.rs"

[[test]]
name = "value_signed_narrowing_property_contracts"
path = "tests/value_signed_narrowing_property_contracts.rs"

[[test]]
name = "value_truthiness_property_contracts"
path = "tests/value_truthiness_property_contracts.rs"

[[test]]
name = "value_write_bytes_width_generated"
path = "tests/value_write_bytes_width_generated.rs"

[[test]]
name = "vector_cast_generated_matrix"
path = "tests/vector_cast_generated_matrix.rs"

[dependencies.blake3]
version = "=1.8.5"

[dependencies.bytemuck]
version = "=1.25.0"
features = ["derive"]

[dependencies.im]
version = "=15.1.0"

[dependencies.libm]
version = "=0.2.16"

[dependencies.rayon]
version = "=1.12.0"

[dependencies.rustc-hash]
version = "=2.1.2"

[dependencies.smallvec]
version = "^1.15.1"
features = ["serde"]

[dependencies.vyre-foundation]
version = "0.6.2"

[dependencies.vyre-primitives]
version = "0.6.2"
features = ["hash"]
default-features = false

[dependencies.vyre-spec]
version = "0.6.2"

[dev-dependencies.criterion]
version = "=0.8.2"
features = ["html_reports"]

[dev-dependencies.fnv]
version = "=1.0.7"

[dev-dependencies.hex]
version = "=0.4.3"

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

[dev-dependencies.regex-automata]
version = "=0.4.14"

[lints.clippy]
bind_instead_of_map = "allow"
cast_lossless = "allow"
cast_possible_truncation = "allow"
collapsible_if = "allow"
collapsible_match = "allow"
comparison_chain = "allow"
derivable_impls = "allow"
doc_lazy_continuation = "allow"
doc_overindented_list_items = "allow"
double_must_use = "allow"
dropping_copy_types = "allow"
erasing_op = "allow"
field_reassign_with_default = "allow"
identity_op = "allow"
if_same_then_else = "allow"
large_enum_variant = "allow"
manual_c_str_literals = "allow"
manual_div_ceil = "allow"
manual_map = "allow"
manual_range_contains = "allow"
manual_slice_size_calculation = "allow"
map_entry = "allow"
map_identity = "allow"
match_like_matches_macro = "allow"
match_single_binding = "allow"
needless_borrow = "allow"
needless_borrows_for_generic_args = "allow"
needless_lifetimes = "allow"
needless_range_loop = "allow"
nonminimal_bool = "allow"
option_map_or_none = "allow"
redundant_closure = "allow"
ref_option = "allow"
result_large_err = "allow"
slow_vector_initialization = "allow"
too_many_arguments = "allow"
unnecessary_lazy_evaluations = "allow"
unnecessary_map_on_constructor = "allow"
vec_init_then_push = "allow"

[lints.rust]
dead_code = "allow"
missing_docs = "deny"
unreachable_pub = "warn"
unsafe_code = "deny"
unused_variables = "allow"

[lints.rust.nonstandard_style]
level = "warn"
priority = -1

[lints.rust.rust_2018_idioms]
level = "warn"
priority = -1

[lints.rustdoc]
broken_intra_doc_links = "deny"
private_intra_doc_links = "warn"