total uncompressed bytes
339.3 KB
total files
43
Fix
30 wasted files
total waste: 192.1 KB
- specification/specification.pdf : 147.8 KB
- specification/specification.log : 20.4 KB
- specification/specification.latex : 8.5 KB
- specification/specification.aux : 3.0 KB
- specification/RATIONALE.md : 2.7 KB
- tests/tester.rs.bk : 1.6 KB
- tests/tester.rs : 1.6 KB
- specification/specification.bib : 1.5 KB
- specification/specification.blg : 1.5 KB
- specification/specification.bbl : 1.1 KB
- makefile : 835 B
- specification/specification.out : 643 B
- specification/eval.md : 372 B
- specification/makefile : 218 B
- .gitignore : 128 B
- rustfmt.toml : 33 B
- tests/boolean-4.tko : 26 B
- tests/boolean-3.tko : 26 B
- tests/boolean-5.tko : 25 B
- examples/basic.tko : 21 B
- tests/boolean-2.tko : 20 B
- tests/boolean-1.tko : 12 B
- tests/addition-4.tko : 12 B
- tests/addition-3.tko : 10 B
- tests/divide-by-zero.tko : 8 B
- tests/boolean-0.tko : 8 B
- tests/addition-2.tko : 8 B
- tests/addition-1.tko : 6 B
- tests/boolean-6.tko : 4 B
- tests/addition-0.tko : 4 B