verificar 0.5.0

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

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

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

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

[dependencies.aprender]
optional = true
version = "0.14"

[dependencies.arrow]
optional = true
version = "57.0"

[dependencies.clap]
features = ["derive"]
version = "4.5"

[dependencies.entrenar]
optional = true
version = "0.2"

[dependencies.indicatif]
version = "0.18"

[dependencies.parquet]
optional = true
version = "57.0"

[dependencies.pest]
optional = true
version = "2.7"

[dependencies.pest_derive]
optional = true
version = "2.7"

[dependencies.rand]
version = "0.9"

[dependencies.rand_distr]
version = "0.5"

[dependencies.rayon]
version = "1.10"

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

[dependencies.serde_json]
version = "1.0"

[dependencies.thiserror]
version = "2.0"

[dependencies.tree-sitter]
optional = true
version = "0.25"

[dependencies.tree-sitter-c]
optional = true
version = "0.24"

[dependencies.tree-sitter-python]
optional = true
version = "0.25"

[dependencies.tree-sitter-typescript]
optional = true
version = "0.23"

[dependencies.trueno]
version = "0.7.3"

[dependencies.uuid]
features = ["v4", "serde"]
version = "1.11"

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

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

[dev-dependencies.renacer]
version = "0.7"

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

[[example]]
name = "backend_selector"
path = "examples/backend_selector.rs"
required-features = ["ml"]

[[example]]
name = "experiment_tracking"
path = "examples/experiment_tracking.rs"
required-features = ["ml"]

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

[[example]]
name = "grammar_validation"
path = "examples/grammar_validation.rs"
required-features = ["tree-sitter"]

[features]
chaos-basic = []
chaos-byzantine = ["chaos-basic"]
chaos-full = ["chaos-network", "chaos-byzantine"]
chaos-network = ["chaos-basic"]
default = []
full = ["parquet", "tree-sitter", "pest", "ml", "llm"]
llm = ["dep:entrenar"]
ml = ["dep:aprender"]
parquet = ["dep:parquet", "dep:arrow"]
pest = ["dep:pest", "dep:pest_derive"]
tree-sitter = ["dep:tree-sitter", "dep:tree-sitter-python", "dep:tree-sitter-c", "dep:tree-sitter-typescript"]

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

[lints.clippy]
cast_possible_truncation = "allow"
cast_precision_loss = "allow"
derivable_impls = "allow"
doc_markdown = "allow"
expect_used = "warn"
explicit_iter_loop = "warn"
inefficient_to_string = "warn"
match_same_arms = "allow"
module_name_repetitions = "allow"
must_use_candidate = "allow"
needless_pass_by_value = "allow"
panic = "warn"
similar_names = "allow"
trivially_copy_pass_by_ref = "allow"
unnecessary_wraps = "allow"
unreachable = "warn"
unused_self = "allow"
unwrap_used = "warn"

[lints.clippy.all]
level = "warn"
priority = -1

[lints.clippy.complexity]
level = "warn"
priority = -1

[lints.clippy.correctness]
level = "deny"
priority = -1

[lints.clippy.pedantic]
level = "warn"
priority = -1

[lints.clippy.perf]
level = "warn"
priority = -1

[lints.clippy.style]
level = "warn"
priority = -1

[lints.clippy.suspicious]
level = "warn"
priority = -1

[lints.rust]
missing_debug_implementations = "warn"
missing_docs = "warn"
trivial_casts = "warn"
trivial_numeric_casts = "warn"
unreachable_pub = "warn"
unsafe_code = "forbid"
unsafe_op_in_unsafe_fn = "warn"
unused_import_braces = "warn"
unused_lifetimes = "warn"
unused_qualifications = "warn"

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

[package]
authors = ["Pragmatic AI Labs"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["development-tools::testing", "compilers"]
description = "Synthetic Data Factory for Domain-Specific Code Intelligence"
documentation = "https://docs.rs/verificar"
edition = "2021"
keywords = ["testing", "code-generation", "transpiler", "verification", "synthetic-data"]
license = "MIT"
name = "verificar"
readme = "README.md"
repository = "https://github.com/paiml/verificar"
rust-version = "1.70"
version = "0.5.0"

[profile.release]
codegen-units = 1
debug = 2
lto = true
opt-level = 3

[[test]]
name = "book"
path = "tests/book/mod.rs"