triblespace 0.6.0

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

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

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

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

[dependencies.triblespace-core]
version = "0.6.0"

[dependencies.triblespace-macros]
version = "0.6.0"

[dev-dependencies.anybytes]
features = ["bytes", "zerocopy"]
version = "0.20.0"

[dev-dependencies.blake3]
version = "1.5"

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

[dev-dependencies.ed25519-dalek]
features = ["rand_core"]
version = "2.1.0"

[dev-dependencies.f256]
version = "0.7.0"

[dev-dependencies.fake]
version = "4.3.0"

[dev-dependencies.im]
version = "15.1.0"

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

[dev-dependencies.rand]
version = "0.8"

[dev-dependencies.rayon]
version = "1.7"

[dev-dependencies.serde_json]
version = "1.0"

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

[dev-dependencies.trybuild]
version = "1.0.99"

[dev-dependencies.url]
version = "2.5.0"

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

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

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

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

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

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

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

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

[features]
default = ["triblespace-core/proptest"]
kani = ["triblespace-core/kani"]
proptest = ["triblespace-core/proptest"]

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

[lints.rust.unexpected_cfgs]
check-cfg = ["cfg(nightly)", "cfg(kani)"]
level = "warn"
priority = 0

[package]
authors = ["Jan Bramkamp <crest@rlwinm.de>", "⚫️ <jp@bultmann.eu>", "Vanja Sophie Cangalovic <vanja@bultmann.eu>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
description = "The Triblespace: A lightweight knowledge base for rust."
edition = "2021"
homepage = "https://trible.space"
license = "MIT OR Apache-2.0"
name = "triblespace"
readme = "README.md"
version = "0.6.0"

[package.metadata.kani.flags]
default-unwind = "1"

[profile.bench]
debug = 2
opt-level = 3

[profile.release]
debug = 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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