Search Gradle plugins

Plugin Latest Version

pub.ihub.plugin.ihub-verification

IHub Verification Gradle Plugin

1.6.1
(06 April 2024)

com.netflix.nebula.publish-verification

Plugins to ease maven-publish and ivy-publish configuration

21.0.0
(20 November 2023)

nebula.publish-verification

Verifies a nebula publication

18.4.0
(28 February 2022)

com.verificationgentleman.gradle.hdvl.base

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

0.2.6
(23 July 2023)

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)

de.thetaphi.forbiddenapis

Allows to parse Java byte code to find invocations of method/class/field signatures and fail build.

3.7
(23 March 2024)

ca.cutterslade.analyze

Dependency analysis plugin for gradle. This plugin attempts to replicate the functionality of the maven dependency plugin's analyze goals which fail the build if dependencies are declared but not used or used but not declared.

1.9.2
(27 January 2024)

com.verificationgentleman.gradle.hdvl.systemverilog

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

0.2.6
(23 July 2023)

com.verificationgentleman.gradle.hdvl.svunit-build-injector

A plugin that injects a Gradle build into SVUnit

0.2.6
(23 July 2023)

com.verificationgentleman.gradle.hdvl.svunit-build

A plugin that builds SVUnit as an HDVL project

0.2.6
(23 July 2023)