Search Gradle plugins
| Plugin | Latest Version |
|---|---|
pub.ihub.plugin.ihub-verificationIHub Verification Gradle Plugin |
1.9.2
(25 October 2025) |
com.netflix.nebula.publish-verificationPlugins to ease maven-publish and ivy-publish configuration |
22.2.0
(25 November 2025) |
nebula.publish-verificationVerifies a nebula publication |
18.4.0
(28 February 2022) |
com.verificationgentleman.gradle.hdvl.baseA plugin that adds support for compiling and running code in HDL simulators |
0.3.0-beta.1
(13 November 2025) |
org.dafny.dafnyThis 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) |
org.eclipse.edc.edc-buildPlugin that applies the base capabilities and provides default configuration for the EDC build |
1.1.4
(27 November 2025) |
com.github.vlsi.stage-vote-releaseAllows to stage the artifacts and vote on them befor the release |
3.0.1
(20 November 2025) |
com.verificationgentleman.gradle.hdvl.systemverilogA plugin that adds support for compiling and running SystemVerilog code in HDL simulators |
0.3.0-beta.1
(13 November 2025) |
com.verificationgentleman.gradle.hdvl.svunit-build-injectorA plugin that injects a Gradle build into SVUnit |
0.3.0-beta.1
(13 November 2025) |
com.verificationgentleman.gradle.hdvl.svunit-buildA plugin that builds SVUnit as an HDVL project |
0.3.0-beta.1
(13 November 2025) |