smoothutf8 0.2.3

Portable, formally verified UTF-8 validation with an optional slack-buffer fast path for zero-copy parsers
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 = "smoothutf8"
version = "0.2.3"
edition = "2021"
rust-version = "1.60"
license = "Apache-2.0"
description = "Portable, formally verified UTF-8 validation with an optional slack-buffer fast path for zero-copy parsers"
repository = "https://github.com/iainmcgin/smooth-utf8"
readme = "README.md"
keywords = ["utf8", "validation", "verified", "no_std", "parser"]
categories = ["encoding", "no-std", "no-std::no-alloc", "parser-implementations"]
exclude = [
    "/.github",
    "/.cargo",
    "/examples",
    "/verify/Dockerfile.tools",
    "/verify/rr-check.sh",
    "/RefinedRust.toml",
    "/doc/gen-throughput-svg.py",
    "/doc/gen-throughput-relative-svg.py",
    "/doc/parse-criterion-log.py",
]

[dependencies]
# Optional: delegate inputs >= LONG_THRESHOLD bytes to simdutf8's
# Keiser-Lemire SIMD validator. Default-off; the crate stays zero-dep
# without it and falls back to the (Verus-verified) SWAR / cfg-AVX2 path.
simdutf8 = { version = "0.1", optional = true, default-features = false }

# Verus verification deps. Optional: the published crate is zero-dependency
# unless `--features verus` is set (which only the verification CI job does).
# Pinned to the exact crates.io versions that match the Verus build in the
# verify-tools image.
verus_builtin        = { version = "=0.0.0-2026-05-17-0151", optional = true }
verus_builtin_macros = { version = "=0.0.0-2026-06-14-0213", optional = true }
vstd                 = { version = "=0.0.0-2026-06-14-0213", optional = true, default-features = false }

[features]
# Enables `extern crate alloc`; currently only adds `SlackBuf::new_add_slack`.
alloc = []
# simdutf8/std is required for runtime CPU-feature dispatch on x86-64; without
# it, simdutf8 only selects AVX2/SSE4.2 at compile time via target_feature and
# otherwise re-exports core::str::from_utf8 as its fallback.
simdutf8 = ["dep:simdutf8", "simdutf8/std"]
verus = ["dep:verus_builtin", "dep:verus_builtin_macros", "dep:vstd"]

[dev-dependencies]
proptest = "1"
criterion = "0.5"
simdutf8 = "0.1"

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

[lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(rr)', 'cfg(verus_keep_ghost)'] }

[package.metadata.verus]
verify = true

[profile.bench]
lto = true
codegen-units = 1

[profile.release]
lto = true
codegen-units = 1