total uncompressed bytes
103.3 KB
total files
31
Fix
16 wasted files
total waste: 53.1 KB
- old_fork/proofs/mem.v : 15.2 KB
- old_fork/src/mem.rs : 13.4 KB
- old_fork/src/seccomp.rs : 11.6 KB
- old_fork/src/zone_posix.rs : 4.5 KB
- old_fork/src/lib.rs : 2.6 KB
- old_fork/src/zone_linux.rs : 1.5 KB
- old_fork/src/zone_macos.rs : 1.1 KB
- old_fork/src/zone.rs : 1.0 KB
- old_fork/build.rs : 663 B
- old_fork/strace.sh : 639 B
- old_fork/src/zone_windows.rs : 485 B
- old_fork/src/seccomp.h : 130 B
- old_fork/proofs/Makefile : 111 B
- old_fork/proofs/.gitignore : 96 B
- .license_template : 20 B
- old_fork/proofs/_CoqProject : 6 B