Ugly Alpha 1
polyhorn-cli:0.4.2

total uncompressed bytes

354.5 KB

total files

98

Fix

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

49 wasted files

total waste: 169.6 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. src/test/mod.rs : 3.5 KB
  13. android/template/app/src/main/res/mipmap-mdpi/ic_launcher_round.png : 3.4 KB
  14. android/template/app/src/main/res/mipmap-mdpi/ic_launcher.png : 2.6 KB
  15. android/template/gradlew.bat : 2.3 KB
  16. src/test/device.rs : 1.9 KB
  17. src/test/snapshot.rs : 1.8 KB
  18. android/template/app/src/main/res/drawable-v24/ic_launcher_foreground.xml : 1.7 KB
  19. src/test/output.rs : 1.6 KB
  20. android/template/app/build.gradle : 1.6 KB
  21. src/spec/mod.rs : 1.6 KB
  22. .github/workflows/release.yaml : 1.6 KB
  23. android/template/app/src/main/res/layout/activity_main.xml : 1.4 KB
  24. android/template/app/src/main/res/values/themes.xml : 1.2 KB
  25. android/template/gradle.properties : 1.1 KB
  26. src/spec/error.rs : 861 B
  27. android/template/app/src/main/AndroidManifest.xml : 857 B
  28. android/template/app/src/main/res/values-night/themes.xml : 835 B
  29. android/template/app/proguard-rules.pro : 750 B
  30. template/src/lib.rs.tmpl : 570 B
  31. android/template/app/src/main/res/values/strings.xml : 552 B
  32. android/template/build.gradle : 531 B
  33. android/template/app/src/main/res/menu/menu_main.xml : 417 B
  34. .github/workflows/build_test.yaml : 417 B
  35. android/template/app/src/main/res/layout/content_main.xml : 404 B
  36. android/template/app/src/main/res/values/colors.xml : 378 B
  37. android/template/app/src/main/java/com/example/myapplication/MainActivity.java : 342 B
  38. src/test/error.rs : 280 B
  39. android/template/app/src/main/res/mipmap-anydpi-v26/ic_launcher_round.xml : 272 B
  40. android/template/app/src/main/res/mipmap-anydpi-v26/ic_launcher.xml : 272 B
  41. android/template/gradle/wrapper/gradle-wrapper.properties : 231 B
  42. template/Cargo.toml.tmpl : 195 B
  43. template/Polyhorn.toml.tmpl : 177 B
  44. ios/template/main.m.tmpl : 126 B
  45. android/template/app/src/main/res/values/dimens.xml : 66 B
  46. android/template/settings.gradle : 54 B
  47. template/build.rs.tmpl : 44 B
  48. .gitignore : 36 B
  49. template/.gitignore.tmpl : 17 B