Search Gradle plugins

Plugin Latest Version

pub.ihub.plugin.ihub-verification

IHub Verification Gradle Plugin

1.3.4-m1
(30 May 2023)

com.netflix.nebula.publish-verification

Plugins to ease maven-publish and ivy-publish configuration

20.3.0
(24 April 2023)

nebula.publish-verification

Verifies a nebula publication

18.4.0
(28 February 2022)

org.dafny.dafny

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.1.0
(11 May 2023)

com.verificationgentleman.gradle.hdvl.base

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

0.2.5
(16 April 2023)

com.github.vlsi.stage-vote-release

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

1.88
(27 April 2023)

com.github.vlsi.checksum-dependency

Validates dependency artifacts for expected checksums

1.88
(27 April 2023)

com.verificationgentleman.gradle.hdvl.systemverilog

A 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-injector

A plugin that injects a Gradle build into SVUnit

0.2.5
(16 April 2023)

com.verificationgentleman.gradle.hdvl.svunit-build

A plugin that builds SVUnit as an HDVL project

0.2.5
(16 April 2023)