Search Gradle plugins
Plugin | Latest Version |
---|---|
pub.ihub.plugin.ihub-verificationIHub Verification Gradle Plugin |
1.3.4-m1
(30 May 2023) |
com.netflix.nebula.publish-verificationPlugins to ease maven-publish and ivy-publish configuration |
20.3.0
(24 April 2023) |
nebula.publish-verificationVerifies a nebula publication |
18.4.0
(28 February 2022) |
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.1.0
(11 May 2023) |
com.verificationgentleman.gradle.hdvl.baseA plugin that adds support for compiling and running code in HDL simulators |
0.2.5
(16 April 2023) |
com.github.vlsi.stage-vote-releaseAllows to stage the artifacts and vote on them befor the release |
1.88
(27 April 2023) |
com.github.vlsi.checksum-dependencyValidates dependency artifacts for expected checksums |
1.88
(27 April 2023) |
com.verificationgentleman.gradle.hdvl.systemverilogA plugin that adds support for compiling and running SystemVerilog code in HDL simulators |
0.2.5
(16 April 2023) |
com.verificationgentleman.gradle.hdvl.svunit-build-injectorA plugin that injects a Gradle build into SVUnit |
0.2.5
(16 April 2023) |
com.verificationgentleman.gradle.hdvl.svunit-buildA plugin that builds SVUnit as an HDVL project |
0.2.5
(16 April 2023) |