I recently took over the maintenance of xsbt-proguard-plugin from siasia. The plugin lets you create single “fat” jars from your project, using the Proguard library. Some of the most important changes: the group id of the plugin is now org.scala-sbt; the plugin is hosted on sbt’s Ivy repository proguarding projects…
Month: February 2013
Veripacks 0.2: exporting subpackages
Veripacks 0.1 allowed to specify which classes should be exported from a package hierarchy, by using a simple @Export annotation, and later verify that the specification is met. Version 0.2 extends this by allowing to export subpackages as well, using the @ExportSubpackages package annotation. When exporting a subpackage, only the…