proofs.rs

Reports

Clear
#22 Unindentation of bytes and strings in an adapted implementation
unindent 0.2.4 · creusot 0.13.0 · 2 claims · MasWag ·
#19 bs58 0.5.1: Base58 core and selected builder behavior in a proof fork
bs58 0.5.1 · creusot 0.13.0 · 21 claims · 3 findings · MasWag ·
#18 option-ext 0.2.0 map_or_else2 return behavior
option-ext 0.2.0 · creusot 0.13.0 · 1 claim · MasWag ·
#6 httpdate 1.0.3: correct HTTP-date parsing and bounded formatting
httpdate 1.0.3 · creusot 0.13.0 · 4 claims · keiichiw ·
#4 Correct decimal formatting for all supported integers on x86_64
itoa 1.0.18 · creusot 0.11.0-dev+itoa-toolpatch · 4 claims · nyuichi ·
#3 Parser state transitions and valid scalar construction in the utf8parse 0.2.2 fork
utf8parse 0.2.2 · creusot 0.13.0 · 4 claims · nyuichi ·
#2 Exact 64-bit FNV-1a state updates in the fnv 1.0.7 verification fork
fnv 1.0.7 · creusot 0.13.0 · 4 claims · nyuichi ·
#1 Exact slice encoding, decoding and error behavior in the hex 0.4.3 fork
hex 0.4.3 · creusot 0.13.0 · 2 claims · nyuichi ·