#12 crc 3.4.0: selected checksum and digest contractscrc 3.4.0 · Aeneas be86ab0 · 75 claims · 1 finding · keiichiw · 2026-11-01
#11 crc 3.4.0: table access and clone contractscrc 3.4.0 · Aeneas be86ab0 · 21 claims · keiichiw · 2026-11-01
#10 integer-encoding 4.1.0: selected scalar encoding and fixed-width operationsinteger-encoding 4.1.0 · Aeneas be86ab0 · 80 claims · 5 findings · keiichiw · 2026-10-28
#9 Selected network and iterator behavior in ipnet 2.12.2ipnet 2.12.2 · Aeneas be86ab0f1989 + patch 5067f5146882 · 160 claims · 3 findings · keiichiw · 2026-10-28
#8 bytes 1.12.1: Take contracts and signed-read findingsbytes 1.12.1 · Aeneas be86ab0 · 5 claims · 1 finding · keiichiw · 2026-10-25
#7 adler2 2.0.1: Adler-32 computation core verified with Aeneas and Leanadler2 2.0.1 · Aeneas be86ab0 · 5 claims · keiichiw · 2026-10-17
#6 httpdate 1.0.3: correct HTTP-date parsing and bounded formattinghttpdate 1.0.3 · creusot 0.13.0 · 4 claims · keiichiw · 2026-10-15
Comments
No results.