httpdate 1.0.3

proofs.rs claims for httpdate 1.0.3

README badge

Claims in public reports for version 1.0.3.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fhttpdate%2F1.0.3%2Fbadge)](https://proofs.rs/crate/httpdate?version=1.0.3)

HTTP date parsing and formatting

Reports (1)

#6 httpdate 1.0.3: correct HTTP-date parsing and bounded formatting

creusot 0.13.0 · 4 claims · keiichiw · 2026-10-15

Findings (0)

For version 1.0.3. Statuses are author reported.

No findings reported for this version.

APIs (34)

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

APIClaims · findings

Functions

pub fn fmt_http_date(d: std::time::SystemTime) -> String1 claim

pub fn parse_http_date(s: &str) -> Result<std::time::SystemTime, Error>1 claim

Associated functions

No associated functions.

Methods

No inherent methods.

Trait implementations

`impl core::clone::Clone for HttpDate`

pub fn clone(self: &Self) -> Self—

`impl core::cmp::Ord for HttpDate`

pub fn cmp(self: &Self, other: &HttpDate) -> cmp::Ordering—

`impl core::cmp::PartialEq for HttpDate`

pub fn eq(self: &Self, other: &Self) -> bool—

`impl core::cmp::PartialOrd for HttpDate`

pub fn partial_cmp(self: &Self, other: &HttpDate) -> Option<cmp::Ordering>—

`impl core::convert::From<httpdate::Error> for core::io::error::Error`

pub fn from(e: Error) -> io::Error—

`impl core::convert::From<httpdate::HttpDate> for std::time::SystemTime`

pub fn from(v: HttpDate) -> SystemTime—

`impl core::convert::From<std::time::SystemTime> for HttpDate`

pub fn from(v: SystemTime) -> HttpDate—

`impl core::fmt::Debug for …`

fn fmt2 implementations—

impl core::fmt::Debug for Error—

impl core::fmt::Debug for HttpDate—

`impl core::fmt::Display for …`

fn fmt2 implementations1 claim

impl core::fmt::Display for Error—

impl core::fmt::Display for HttpDate1 claim

`impl core::hash::Hash for HttpDate`

pub fn hash<__H: $crate::hash::Hasher>(self: &Self, state: &mut __H)—

`impl core::str::traits::FromStr for HttpDate`

pub fn from_str(s: &str) -> Result<HttpDate, Error>1 claim

Blanket implementations

`impl alloc::borrow::ToOwned for HttpDate`

pub fn clone_into(self: &Self, target: &mut T)—

pub fn to_owned(self: &Self) -> T—

`impl alloc::string::ToString for …`

fn to_string2 implementations—

impl alloc::string::ToString for Error—

impl alloc::string::ToString for HttpDate—

`impl core::any::Any for …`

fn type_id2 implementations—

impl core::any::Any for Error—

impl core::any::Any for HttpDate—

`impl core::borrow::Borrow<T> for …`

fn borrow2 implementations—

impl core::borrow::Borrow<T> for Error—

impl core::borrow::Borrow<T> for HttpDate—

`impl core::borrow::BorrowMut<T> for …`

fn borrow_mut2 implementations—

impl core::borrow::BorrowMut<T> for Error—

impl core::borrow::BorrowMut<T> for HttpDate—

`impl core::clone::CloneToUninit for HttpDate`

pub unsafe fn clone_to_uninit(self: &Self, dest: *mut u8)—

`impl core::convert::From<T> for …`

fn from2 implementations—

impl core::convert::From<T> for Error—

impl core::convert::From<T> for HttpDate—

`impl core::convert::Into<U> for …`

fn into2 implementations—

impl core::convert::Into<U> for Error—

impl core::convert::Into<U> for HttpDate—

`impl core::convert::TryFrom<U> for …`

fn try_from2 implementations—

impl core::convert::TryFrom<U> for Error—

impl core::convert::TryFrom<U> for HttpDate—

`impl core::convert::TryInto<U> for …`

fn try_into2 implementations—

impl core::convert::TryInto<U> for Error—

impl core::convert::TryInto<U> for HttpDate—