Ugly Alpha 1
flag-algebra:0.1.9

total uncompressed bytes

320.2 KB

total files

42

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "LICENSE", "README.md", ], has_build_script: false, }

18 wasted files

total waste: 44.6 KB

  1. report.html : 12.7 KB
  2. flags.html : 7.5 KB
  3. examples/caccetta-haggkvist.rs : 4.1 KB
  4. to_use : 3.9 KB
  5. invariants.html : 3.4 KB
  6. typed_flags.html : 3.0 KB
  7. tests/normal.rs : 1.9 KB
  8. examples/strong.rs : 1.3 KB
  9. examples/c5-free.rs : 1.0 KB
  10. examples/goodman.rs : 1.0 KB
  11. examples/turan.rs : 984 B
  12. x.log : 942 B
  13. a.a : 809 B
  14. a : 740 B
  15. certificate : 444 B
  16. turan.sdpa.minimize : 382 B
  17. rep : 379 B
  18. .gitignore : 59 B