proofs.rs

base16ct 1.0.0

proofs.rs claims for base16ct 1.0.0
README badge

Claims in public reports for version 1.0.0.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fbase16ct%2F1.0.0%2Fbadge)](https://proofs.rs/crate/base16ct?version=1.0.0)

crates.io

Reports (1)

#31 Base16 length calculations and formatting-error conversion
Aeneas be86ab0 · 3 claims · nyuichi ·

Findings (0)

For version 1.0.0. Statuses are author reported.

No findings reported for this version.

APIs (3)

APIs are imported from documentation or named in published verification records. 3 have at least one claim; a count says nothing about how strong each claim is.

APIClaims · findings

Functions

No functions.

Associated functions

No associated functions.

Methods

No inherent methods.

Trait implementations

No trait implementations.

Recorded callables

<core::fmt::Error as From<base16ct::Error>>::from recorded callable · signature and safety not recorded1 claim
decoded_len recorded callable · signature and safety not recorded1 claim
encoded_len recorded callable · signature and safety not recorded1 claim