cargo / verified-deflate
verified-deflate 0.1.0
RisknoneVulnsnone- processes
- 340
- operations
- 7.1K
- packages
- 26
- compiler runs
- 12
- connections
- 1
- job time
- 40s
- capture
- 104 KB
- records
- 13K
- bytes / record
- 8.1
gzip, zlib, raw DEFLATE and BGZF compression with LZ77 parsers proved correct in Lean
Artifact
- libverified_deflate.rlibfile · retained · product
- vgzipbinary · retained · product
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 7.1K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies27 | Build behaviour |
|---|---|
| adler22.0.1 | |
| cfg-if1.0.5 | |
| crc32fast1.5.2 | |
| flate21.1.10 | |
| ld-linux-x86-64.so.2 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| miniz_oxide0.9.1 | |
| simd-adler320.3.10 | |
| block-buffer0.10.4 | |
| cc1.8.0 | |
| cpufeatures0.2.17 | |
| crypto-common0.1.7 | |
| digest0.10.7 | |
| find-msvc-tools0.1.14 | |
| generic-array0.14.7 | |
| libc0.2.190 | |
| libdeflate-sys1.26.1 | |
| libdeflater1.26.1 | |
| miniz_oxide0.8.9 | |
| sha20.10.9 | |
| shlex2.0.1 | |
| typenum1.20.1 | |
| version_check0.9.5 | |
| zlib-rs0.6.8 |
1 of 1 jobs captured: build-test success · Generated 2026-10-17 · run 42d1ca32-e146-49bb-bd54-40f632054c46
analysis 0.1.0 · 2026-10-16 · e987d53 · graph v2