Search Gradle plugins
| Plugin | Latest Version |
|---|---|
|
This plugin offers tight integration of the Dafny verification-aware programming language with Java: automatically verifying Dafny source code and compiling it to Java source code, which the Java plugin will then build together with any hand-written Java in the project. It also provides a robust approach to distributing and managing Dafny dependencies through Gradle-supported repositories such as Maven Central. |
0.2.0
(10 January 2025) |
|
Verifies 16 KB ELF load segments and uncompressed APK ZIP entries, including native runtime payloads. |
1.8.1
(12 September 2026) |
|
Gradle plugin for assembling and attaching reqstool ZIP artifacts |
1.0.1
(06 September 2026) |
|
A plugin that adds support for compiling and running SystemVerilog code in HDL simulators |
0.3.0
(16 August 2026) |
|
A plugin that injects a Gradle build into SVUnit |
0.3.0
(16 August 2026) |
|
A plugin that builds SVUnit as an HDVL project |
0.3.0
(16 August 2026) |
|
A plugin that adds testing of HDVL projects with SVUnit |
0.3.0
(16 August 2026) |
|
A plugin that creates DVT projects from HDVL sources |
0.3.0
(16 August 2026) |
|
A plugin that adds support for compiling and running C code in HDL simulators through the DPI |
0.3.0
(16 August 2026) |
|
Allows to stage the artifacts and vote on them befor the release |
4.0.0
(27 July 2026) |