aprender-verify-ml 0.31.2

Synthetic Data Factory for Domain-Specific Code Intelligence
Documentation
# 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 = "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