v0.1.3

What's Changed

• Gradle gaps: root-module classpath fix, settings-file robustness, Kotlin sources, Android measured by @Metonya in #3

Full Changelog: v0.1.2...v0.1.3

v0.1.2

What's Changed

• Add Gradle support: module discovery, doctor diagnosis, L2/L3 classpath generation by @Metonya in #2

Full Changelog: v0.1.1...v0.1.2

v0.1.1

Full Changelog: v0.1.0...v0.1.1

v0.1.0

What's Changed

• L2 per-test evidence: JUnit4 support, timeout config, and a real gson dogfooding pass by @Metonya in #1

New Contributors

• @Metonya made their first contribution in #1

Full Changelog: https://github.com/Metonya/proof-java/commits/v0.1.0