[package]
edition = "2021"
rust-version = "1.70"
name = "aprender-verify-ml"
version = "0.31.2"
authors = ["Pragmatic AI Labs"]
build = "build.rs"
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Synthetic Data Factory for Domain-Specific Code Intelligence"
documentation = "https://docs.rs/verificar"
readme = "README.md"
keywords = [
"testing",
"code-generation",
"transpiler",
"verification",
"synthetic-data",
]
categories = [
"development-tools::testing",
"compilers",
]
license = "MIT"
repository = "https://github.com/paiml/verificar"
[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"
[[bin]]
name = "verificar"
path = "src/bin/verificar.rs"
[[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"]
[[test]]
name = "book"
path = "tests/book/mod.rs"
[[bench]]
name = "generator"
path = "benches/generator.rs"
harness = false
[[bench]]
name = "mutator"
path = "benches/mutator.rs"
harness = false
[[bench]]
name = "oracle"
path = "benches/oracle.rs"
harness = false
[dependencies.aprender]
version = "0.31.2"
optional = true
package = "aprender-core"
[dependencies.arrow]
version = "57.0"
optional = true
[dependencies.clap]
version = "4.5"
features = ["derive"]
[dependencies.entrenar]
version = "0.2"
optional = true
[dependencies.indicatif]
version = "0.18"
[dependencies.parquet]
version = "57.0"
optional = true
[dependencies.pest]
version = "2.7"
optional = true
[dependencies.pest_derive]
version = "2.7"
optional = true
[dependencies.rand]
version = "0.9"
[dependencies.rand_distr]
version = "0.5"
[dependencies.rayon]
version = "1.10"
[dependencies.serde]
version = "1.0"
features = ["derive"]
[dependencies.serde_json]
version = "1.0"
[dependencies.thiserror]
version = "2.0"
[dependencies.tree-sitter]
version = "0.25"
optional = true
[dependencies.tree-sitter-c]
version = "0.24"
optional = true
[dependencies.tree-sitter-python]
version = "0.25"
optional = true
[dependencies.tree-sitter-typescript]
version = "0.23"
optional = true
[dependencies.trueno]
version = "0.7.3"
[dependencies.uuid]
version = "1.11"
features = [
"v4",
"serde",
]
[dev-dependencies.criterion]
version = "0.7"
features = ["html_reports"]
[dev-dependencies.proptest]
version = "1.6"
[dev-dependencies.renacer]
version = "0.7"
[dev-dependencies.tempfile]
version = "3.14"
[lints.rust]
unsafe_code = "allow"
[profile.release]
opt-level = 3
lto = true
codegen-units = 1
debug = 2