39 lines
1.1 KiB
TOML
39 lines
1.1 KiB
TOML
[package]
|
|
name = "rvf-kernel-optimized"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
rust-version = "1.77"
|
|
license = "MIT"
|
|
description = "Hyper-optimized RVF example: Linux kernel embedding with ruvector-verified formal proofs"
|
|
publish = false
|
|
|
|
[dependencies]
|
|
# Formal verification + ultra-optimizations (FastTermArena, gated routing, pools, cache)
|
|
ruvector-verified = { path = "../../crates/ruvector-verified", features = ["ultra", "hnsw-proofs"] }
|
|
|
|
# RVF stack
|
|
rvf-types = { path = "../../crates/rvf/rvf-types", features = ["std"] }
|
|
rvf-runtime = { path = "../../crates/rvf/rvf-runtime" }
|
|
rvf-kernel = { path = "../../crates/rvf/rvf-kernel" }
|
|
rvf-ebpf = { path = "../../crates/rvf/rvf-ebpf" }
|
|
rvf-quant = { path = "../../crates/rvf/rvf-quant", features = ["std"] }
|
|
|
|
# Utilities
|
|
rand = { workspace = true }
|
|
anyhow = { workspace = true }
|
|
tracing = { workspace = true }
|
|
tracing-subscriber = { workspace = true }
|
|
tempfile = "3"
|
|
|
|
[dev-dependencies]
|
|
criterion = { workspace = true }
|
|
tempfile = "3"
|
|
|
|
[[bin]]
|
|
name = "rvf-kernel-opt"
|
|
path = "src/main.rs"
|
|
|
|
[[bench]]
|
|
name = "verified_rvf"
|
|
harness = false
|