| [workspace]
|
| resolver = "2"
|
| members = [
|
| "crates/subleq-vm",
|
| "crates/subleq-ir",
|
| "crates/polyglot-frontend",
|
| "crates/invariant-extractor",
|
| "crates/proof-validator",
|
| "crates/m4-morph",
|
| "crates/notebook-kernel",
|
| "crates/notebook-orchestrator",
|
| ]
|
| exclude = ["tools/*", "docker/*", "scripts/*"]
|
|
|
| [workspace.package]
|
| version = "0.1.0"
|
| edition = "2021"
|
| license = "MIT OR Apache-2.0"
|
| authors = ["Ahmad Ali Parr <ahmad@sovereign-transformer.dev>", "Jessica SNAPKITTYWEST <jessica@collectivekitty.com>"]
|
| repository = "https://github.com/SNAPKITTYWEST/rowm-polymorphic-notebook"
|
| description = "ROWM: Read-Once-Write-Many Polymorphic Notebook with SUBLEQ substrate, M4 morphing, formal verification"
|
| categories = ["embedded", "development-tools", "compilers", "science"]
|
| keywords = ["rowm", "subleq", "oisc", "notebook", "polyglot", "self-modifying", "formal-verification"]
|
|
|
| [workspace.dependencies]
|
|
|
| subleq-vm = { path = "crates/subleq-vm" }
|
| subleq-ir = { path = "crates/subleq-ir" }
|
| polyglot-frontend = { path = "crates/polyglot-frontend" }
|
| invariant-extractor = { path = "crates/invariant-extractor" }
|
| proof-validator = { path = "crates/proof-validator" }
|
| m4-morph = { path = "crates/m4-morph" }
|
| notebook-kernel = { path = "crates/notebook-kernel" }
|
| notebook-orchestrator = { path = "crates/notebook-orchestrator" }
|
|
|
|
|
| anyhow = "1.0"
|
| thiserror = "1.0"
|
| tracing = { version = "0.1", features = ["std"] }
|
| tracing-subscriber = "0.3"
|
| serde = { version = "1.0", features = ["derive"] }
|
| serde_json = "1.0"
|
| bincode = "1.3"
|
| parking_lot = "0.12"
|
| crossbeam = "0.8"
|
| dashmap = "5.5"
|
| uuid = { version = "1.0", features = ["v4"] }
|
|
|
|
|
| memmap2 = "0.9"
|
| nix = { version = "0.27", features = ["process"] }
|
|
|
|
|
| tree-sitter = "0.20"
|
| tree-sitter-python = "0.20"
|
| tree-sitter-javascript = "0.20"
|
| tree-sitter-c = "0.20"
|
| tree-sitter-rust = "0.20"
|
| syn = { version = "2.0", features = ["full", "extra-traits"] }
|
| quote = "1.0"
|
| proc-macro2 = "1.0"
|
|
|
|
|
| z3 = "0.13"
|
| boolector = "0.4"
|
| smt-lib = "0.3"
|
|
|
|
|
| libc = "0.2"
|
| cc = "1.0"
|
|
|
|
|
| ed25519-dalek = "2.0"
|
| sha2 = "0.10"
|
| blake3 = "1.5"
|
| merkle-tree = "0.5"
|
| hex = "0.4"
|
| rand = "0.8"
|
| signature = "2.0"
|
|
|
|
|
| tokio = { version = "1.35", features = ["full", "rt-multi-thread"] }
|
| bytes = "1.5"
|
| shared-memory = "0.2"
|
|
|
|
|
| proptest = "1.0"
|
| criterion = { version = "0.5", features = ["html_reports"] }
|
|
|
| [workspace.lints.rust]
|
| unused_crate_dependencies = "warn"
|
| unsafe_code = "warn"
|
|
|
| [profile.release]
|
| lto = "fat"
|
| codegen-units = 1
|
| panic = "abort"
|
| strip = "symbols"
|
| opt-level = 3
|
|
|
| [profile.dev]
|
| debug = 2
|
| opt-level = 1
|
|
|
