Search Gradle plugins

Plugin Latest Version

IHub Verification Gradle Plugin

1.9.2
(25 October 2025)

Plugins to ease maven-publish and ivy-publish configuration

23.0.0
(01 December 2025)

Verifies a nebula publication

18.4.0
(28 February 2022)

A plugin that adds support for compiling and running code in HDL simulators

0.3.0-beta.1
(13 November 2025)

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)

Plugin that applies the base capabilities and provides default configuration for the EDC build

1.1.5
(18 December 2025)

Allows to stage the artifacts and vote on them befor the release

3.0.1
(20 November 2025)

A plugin that adds support for compiling and running SystemVerilog code in HDL simulators

0.3.0-beta.1
(13 November 2025)

A plugin that injects a Gradle build into SVUnit

0.3.0-beta.1
(13 November 2025)

A plugin that builds SVUnit as an HDVL project

0.3.0-beta.1
(13 November 2025)