Ugly Alpha 1
polyhorn-cli:0.3.2

total uncompressed bytes

305.3 KB

total files

71

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "!**/spec/**/*", ], has_build_script: false, }

41 wasted files

total waste: 158.4 KB

  1. android/template/gradle/wrapper/gradle-wrapper.jar : 54.3 KB
  2. android/template/app/src/main/res/mipmap-xxxhdpi/ic_launcher_round.png : 16.6 KB
  3. android/template/app/src/main/res/mipmap-xxhdpi/ic_launcher_round.png : 11.9 KB
  4. android/template/app/src/main/res/mipmap-xxxhdpi/ic_launcher.png : 10.7 KB
  5. android/template/app/src/main/res/mipmap-xxhdpi/ic_launcher.png : 7.9 KB
  6. android/template/app/src/main/res/mipmap-xhdpi/ic_launcher_round.png : 7.5 KB
  7. android/template/app/src/main/res/drawable/ic_launcher_background.xml : 5.6 KB
  8. android/template/app/src/main/res/mipmap-hdpi/ic_launcher_round.png : 5.3 KB
  9. android/template/gradlew : 5.3 KB
  10. android/template/app/src/main/res/mipmap-xhdpi/ic_launcher.png : 4.9 KB
  11. android/template/app/src/main/res/mipmap-hdpi/ic_launcher.png : 3.6 KB
  12. android/template/app/src/main/res/mipmap-mdpi/ic_launcher_round.png : 3.4 KB
  13. android/template/app/src/main/res/mipmap-mdpi/ic_launcher.png : 2.6 KB
  14. android/template/gradlew.bat : 2.3 KB
  15. android/template/app/src/main/res/drawable-v24/ic_launcher_foreground.xml : 1.7 KB
  16. android/template/app/build.gradle : 1.6 KB
  17. src/spec/mod.rs : 1.6 KB
  18. android/template/app/src/main/res/layout/activity_main.xml : 1.4 KB
  19. android/template/app/src/main/res/values/themes.xml : 1.2 KB
  20. android/template/gradle.properties : 1.1 KB
  21. src/spec/error.rs : 861 B
  22. android/template/app/src/main/AndroidManifest.xml : 857 B
  23. android/template/app/src/main/res/values-night/themes.xml : 835 B
  24. android/template/app/proguard-rules.pro : 750 B
  25. template/src/lib.rs.tmpl : 583 B
  26. android/template/app/src/main/res/values/strings.xml : 552 B
  27. android/template/build.gradle : 531 B
  28. android/template/app/src/main/res/menu/menu_main.xml : 417 B
  29. android/template/app/src/main/res/layout/content_main.xml : 404 B
  30. android/template/app/src/main/res/values/colors.xml : 378 B
  31. android/template/app/src/main/java/com/example/myapplication/MainActivity.java : 342 B
  32. android/template/app/src/main/res/mipmap-anydpi-v26/ic_launcher_round.xml : 272 B
  33. android/template/app/src/main/res/mipmap-anydpi-v26/ic_launcher.xml : 272 B
  34. android/template/gradle/wrapper/gradle-wrapper.properties : 231 B
  35. template/Cargo.toml.tmpl : 201 B
  36. template/Polyhorn.toml.tmpl : 177 B
  37. ios/template/main.m.tmpl : 126 B
  38. android/template/app/src/main/res/values/dimens.xml : 66 B
  39. android/template/settings.gradle : 54 B
  40. template/build.rs.tmpl : 44 B
  41. template/.gitignore.tmpl : 17 B