# 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.70"
name = "mirrc"
version = "0.3.0"
authors = ["Brandon <brandonfromph@users.noreply.github.com>"]
build = "build.rs"
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "MIRR compiler — a safety-critical DSL for hardware-software co-design targeting SystemVerilog RTL"
readme = "README.md"
keywords = [
    "compiler",
    "hardware",
    "safety-critical",
    "verilog",
    "dsl",
]
categories = [
    "compilers",
    "embedded",
    "hardware-support",
]
license = "Apache-2.0"
repository = "https://github.com/brandonfromph/mirr-project"

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

[[bin]]
name = "debug_hydration"
path = "src/bin/debug_hydration.rs"

[[bin]]
name = "generate_mirr_stress"
path = "src/bin/generate_mirr_stress.rs"

[[bin]]
name = "mirr-audit"
path = "src/bin/mirr-audit.rs"

[[bin]]
name = "mirr-brain"
path = "src/bin/mirr-brain.rs"

[[bin]]
name = "mirr-compile"
path = "src/bin/mirr-compile/main.rs"

[[bin]]
name = "mirr-diff"
path = "src/bin/mirr-diff/main.rs"

[[bin]]
name = "mirr-explain"
path = "src/bin/mirr-explain/main.rs"

[[bin]]
name = "mirr-general"
path = "src/bin/mirr-general.rs"

[[bin]]
name = "mirr-hydrate"
path = "src/bin/mirr-hydrate.rs"

[[bin]]
name = "mirr-lsp"
path = "src/bin/mirr-lsp.rs"

[[bin]]
name = "mirr-proof-audit"
path = "src/bin/mirr-proof-audit.rs"

[[bin]]
name = "mirr-simplify"
path = "src/bin/mirr-simplify.rs"

[[bin]]
name = "mirr-simulate"
path = "src/bin/mirr-simulate.rs"

[[bin]]
name = "mirr-wave"
path = "src/bin/mirr-wave.rs"

[[bin]]
name = "mirr-width"
path = "src/bin/mirr-width.rs"

[[bin]]
name = "mirrc"
path = "src/bin/mirrc.rs"

[[bin]]
name = "run_lexer"
path = "src/bin/run_lexer.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[test]]
name = "cycles_tests"
path = "tests/expand/cycles_tests.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[test]]
name = "hydration_tests"
path = "tests/ecs/hydration_tests.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[test]]
name = "registry_core_tests"
path = "tests/ecs/registry_core_tests.rs"

[[test]]
name = "renaming_tests"
path = "tests/expand/renaming_tests.rs"

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

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

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

[[test]]
name = "scoping_tests"
path = "tests/expand/scoping_tests.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[test]]
name = "substitution_tests"
path = "tests/expand/substitution_tests.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

[[test]]
name = "systems_execution_tests"
path = "tests/ecs/systems_execution_tests.rs"

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

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

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

[[test]]
name = "temporal_synthesis_tests"
path = "tests/ecs/temporal_synthesis_tests.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[bench]]
name = "emit_analysis_bench"
path = "benches/emit_analysis_bench.rs"
harness = false

[[bench]]
name = "pattern_bench"
path = "benches/pattern_bench.rs"

[[bench]]
name = "pipeline_bench"
path = "benches/pipeline_bench.rs"
harness = false

[[bench]]
name = "rspu_bench"
path = "benches/rspu_bench.rs"
harness = false

[[bench]]
name = "sexpr_bench"
path = "benches/sexpr_bench.rs"
harness = false

[[bench]]
name = "temporal_bench"
path = "benches/temporal_bench.rs"

[dependencies.anyhow]
version = "1.0.102"

[dependencies.chrono]
version = "0.4"
features = ["serde"]

[dependencies.clap]
version = "4.6.0"
features = [
    "derive",
    "env",
]

[dependencies.ed25519-dalek]
version = "2.1.1"
features = ["rand_core"]

[dependencies.futures]
version = "0.3.32"

[dependencies.glob]
version = "0.3.3"

[dependencies.num_cpus]
version = "1.16"

[dependencies.rand]
version = "0.10.0"

[dependencies.rayon]
version = "1.10.0"

[dependencies.regex]
version = "1.12.3"

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

[dependencies.serde_json]
version = "1.0"

[dependencies.sha2]
version = "0.11.0"

[dependencies.walkdir]
version = "2"

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

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

[dev-dependencies.proptest-derive]
version = "0.4.0"

[dev-dependencies.tempfile]
version = "3.27.0"

[target.'cfg(not(target_arch = "wasm32"))'.dependencies.mirr-kb-native]
version = "0.1.0"

[target.'cfg(not(target_arch = "wasm32"))'.dependencies.rusqlite]
version = "0.39.0"
features = ["bundled"]

[target.'cfg(not(target_arch = "wasm32"))'.dependencies.tokio]
version = "1"
features = [
    "time",
    "sync",
    "rt",
    "macros",
    "full",
]

[target.'cfg(target_arch = "wasm32")'.dependencies.getrandom]
version = "0.2"
features = ["js"]

[target.'cfg(target_arch = "wasm32")'.dependencies.getrandom_03]
version = "0.3"
features = ["wasm_js"]
package = "getrandom"

[target.'cfg(target_arch = "wasm32")'.dependencies.getrandom_04]
version = "0.4"
features = ["wasm_js"]
package = "getrandom"

[profile.dev]
opt-level = 0
incremental = true

[profile.release]
opt-level = "s"
lto = "fat"
codegen-units = 1
debug = 2
panic = "abort"
incremental = false

[profile.test]
opt-level = 0
debug = 1
overflow-checks = true
incremental = true
