#22 Unindentation of bytes and strings in an adapted implementationunindent 0.2.4 · creusot 0.13.0 · 2 claims · MasWag · 2026-11-04
#20 Shared-reference delegation in unindent 0.2.4unindent 0.2.4 · Aeneas be86ab0 · 1 claim · 1 finding · MasWag · 2026-11-03
#19 bs58 0.5.1: Base58 core and selected builder behavior in a proof forkbs58 0.5.1 · creusot 0.13.0 · 21 claims · 3 findings · MasWag · 2026-11-03
#18 option-ext 0.2.0 map_or_else2 return behavioroption-ext 0.2.0 · creusot 0.13.0 · 1 claim · MasWag · 2026-11-03
#17 Bounded PaddedData unwrap behavior in block-padding 0.4.2block-padding 0.4.2 · kani 0.68.0 · 1 claim · MasWag · 2026-11-03
#16 option-ext 0.2.0 option branch behavioroption-ext 0.2.0 · Aeneas be86ab0 · 3 claims · MasWag · 2026-11-03
#15 Selected raw padding behavior in block-padding 0.4.2block-padding 0.4.2 · Aeneas be86ab0 · 12 claims · 1 finding · MasWag · 2026-11-03
#14 num-conv 0.2.2 integer conversion correctnessnum-conv 0.2.2 · Aeneas be86ab0 · 5 claims · MasWag · 2026-11-03
#13 bs58 0.5.1 builder initialization and alphabet selectionbs58 0.5.1 · Aeneas be86ab0 · 4 claims · 3 findings · MasWag · 2026-11-03
Comments
No results.