bbtree 0.1.6

Fastest 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
32
33
34
35
36

[package]
name = "bbtree"
version = "0.1.6"
edition = "2024"
description = "Fastest B-tree."
license = "MIT OR Apache-2.0"
repository = "https://github.com/XiangpengHao/bbtree"
readme = "../README.md"

[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]
# File maps (`bbtree::file`): a map compacted into one byte string that a reader
# maps from a file and uses in place.
file = []
# 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.
# TSan builds set `tsan`: racing reads tell TSan to ignore them
# (`src/tree/node/optimistic.rs`, `.github/workflows/sanitizer.yml`).
unexpected_cfgs = { level = "warn", check-cfg = ["cfg(fuzzing)", "cfg(shuttle)", "cfg(tsan)", "cfg(verus_only)"] }

[package.metadata.verus]
verify = true