oxgraph-db 0.3.2

Standalone OxGraph-native database engine above the topology substrate.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68

[package]
name = "oxgraph-db"
version = "0.3.2"
license.workspace = true
description = "Standalone OxGraph-native database engine above the topology substrate."
categories.workspace = true
keywords.workspace = true
readme.workspace = true

authors.workspace = true
edition.workspace = true
repository.workspace = true

[dependencies]
crc32c = { workspace = true }
oxgraph-algo = { version = "0.3.2", path = "../oxgraph-algo", default-features = false, features = [
  "alloc",
] }
oxgraph-csc = { version = "0.3.2", path = "../oxgraph-csc" }
oxgraph-csr = { version = "0.3.2", path = "../oxgraph-csr", features = ["build"] }
oxgraph-graph = { version = "0.3.2", path = "../oxgraph-graph" }
oxgraph-hyper = { version = "0.3.2", path = "../oxgraph-hyper" }
oxgraph-hyper-bcsr = { version = "0.3.2", path = "../oxgraph-hyper-bcsr", features = ["build"] }
oxgraph-mmap = { version = "0.3.2", path = "../oxgraph-mmap" }
oxgraph-property = { version = "0.3.2", path = "../oxgraph-property" }
oxgraph-snapshot = { version = "0.3.2", path = "../oxgraph-snapshot", features = ["alloc"] }
oxgraph-topology = { version = "0.3.2", path = "../oxgraph-topology" }
serde = { workspace = true }
yoke = { workspace = true }
zerocopy = { workspace = true }

[features]
# Opt-in for the CBMC-heavy overlay state proofs. `overlay_merge`/
# `overlay_tombstone`/`overlay_watermark` drive `Overlay::with_applied`, whose
# `BTreeMap` merge CBMC explores with exponential path blow-up (each runs for
# hours and never terminates in the default gate). Their contract — the merged
# visible set equals a `HashMap` oracle — is verified fast by the
# `merge_matches_oracle` differential proptest, so they are excluded from the
# default `cargo kani` gate and run only on demand: `cargo kani --features
# kani-heavy`.
kani-heavy = []

[dev-dependencies]
criterion = { workspace = true }
proptest = { workspace = true }

[[bench]]
name = "open_recovery"
harness = false

[[bench]]
name = "commit"
harness = false

[[bench]]
name = "lookup"
harness = false

# This crate inherits the workspace lint table verbatim, including
# `unsafe_code = "forbid"`. On unix (outside miri) the base backing is
# memory-mapped read-only through the audited `oxgraph-mmap` shim crate, which
# owns the single `unsafe` mmap call behind a safe API; under miri, on non-unix
# targets, or when a caller forces it, the base is read fully into an owned
# `Vec<u8>` (backing.rs). Either way the `unsafe` is isolated in the shim, so the
# storage-engine read path here stays `forbid` like every other library crate —
# no `allow`/`expect` for `unsafe_code` lives in `oxgraph-db`.
[lints]
workspace = true