bbtree 0.1.2

Blessed B-tree.
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

[package]
name = "bbtree"
version = "0.1.2"
edition = "2024"
description = "Blessed B-tree."
license = "MIT OR Apache-2.0"
repository = "https://github.com/XiangpengHao/bbtree"

[dependencies]
# Verus's specs and proofs, purely ghost, gone after compilation.
vstd = { version = "=0.0.0-2026-08-30-0159", default-features = false }

# Shuttle explores the latched tree's thread interleavings in tests built
# with `--cfg shuttle` (`src/tree/interleaving.rs`), like loom's `cfg(loom)`:
# no feature, so `--all-features` builds and users never see it.
[target.'cfg(shuttle)'.dev-dependencies]
shuttle = "0.9.7"

[features]
# Read-only views of a map's nodes (`BBTreeMap::inspect`), for the visualizer
# in `vis/`. No stability promise.
inspect = []


[lints.rust]
# Verus sets `verus_only` while it verifies: the proofs' modules, which only
# it reads, are behind it.
unexpected_cfgs = { level = "warn", check-cfg = ["cfg(fuzzing)", "cfg(shuttle)", "cfg(verus_only)"] }

[package.metadata.verus]
verify = true