decy 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"
version = "2.1.0"
authors = ["Decy Contributors"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "CLI tool for C-to-Rust transpilation with EXTREME quality standards"
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"

[features]
citl = [
    "oracle",
    "decy-oracle/citl",
]
default = []
oracle = ["decy-oracle"]

[[bin]]
name = "decy"
path = "src/main.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[dependencies.anyhow]
version = "1.0"

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

[dependencies.console]
version = "0.15"

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

[dependencies.decy-oracle]
version = "2.0.0"
optional = true

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

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

[dependencies.indicatif]
version = "0.17"

[dependencies.rustyline]
version = "13.0"

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

[dependencies.serde_json]
version = "1.0"

[dependencies.thiserror]
version = "2.0"

[dependencies.tracing]
version = "0.1"

[dependencies.tracing-subscriber]
version = "0.3"

[dependencies.walkdir]
version = "2.4"

[dev-dependencies.assert_cmd]
version = "2.0"

[dev-dependencies.predicates]
version = "3.0"

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

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