decy-core 2.1.0

# 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"
name = "decy-core"
version = "2.1.0"
authors = ["Decy Contributors"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Core transpilation pipeline for C-to-Rust conversion"
homepage = "https://github.com/paiml/decy"
documentation = "https://docs.rs/decy"
readme = false
keywords = [
    "c",
    "rust",
    "transpiler",
    "compiler",
    "static-analysis",
]
categories = [
    "development-tools",
    "compilers",
    "command-line-utilities",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/paiml/decy"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[dependencies.anyhow]
version = "1.0"

[dependencies.decy-analyzer]
version = "2.0.0"

[dependencies.decy-codegen]
version = "2.0.0"

[dependencies.decy-hir]
version = "2.0.0"

[dependencies.decy-ownership]
version = "2.0.0"

[dependencies.decy-parser]
version = "2.0.0"

[dependencies.decy-stdlib]
version = "2.0.0"

[dependencies.decy-verify]
version = "2.0.0"

[dependencies.petgraph]
version = "0.6"

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

[dependencies.serde_json]
version = "1.0"

[dependencies.sha2]
version = "0.10"

[dependencies.thiserror]
version = "2.0"

[dependencies.tracing]
version = "0.1"

[dev-dependencies.criterion]
version = "0.5"

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

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