total uncompressed bytes
7.0 MB
total files
1033
Fix
15 wasted files
total waste: 171.1 KB
- obliv-c/doc/cil.tex : 134.4 KB
- obliv-c/doc/comment.sty : 9.2 KB
- obliv-c/doc/program.sty : 8.9 KB
- obliv-c/doc/proof.sty : 8.5 KB
- obliv-c/doc/cilcode.pl : 2.5 KB
- obliv-c/doc/hevea.sty : 2.3 KB
- obliv-c/doc/main.html : 2.1 KB
- obliv-c/doc/fullpage.sty : 846 B
- obliv-c/doc/index.html.in : 646 B
- obliv-c/test/oblivc/benchmark/benchmark.c : 483 B
- obliv-c/doc/header.html.in : 476 B
- obliv-c/test/oblivc/benchmark/benchmark.oc : 445 B
- obliv-c/test/oblivc/benchmark/run.sh : 87 B
- obliv-c/test/oblivc/benchmark/Makefile : 53 B
- obliv-c/doc/_tags : 42 B