Search Gradle plugins

Registers the crap-java-check verification task for Gradle Java projects.

• #java
• #jacoco
• #quality
• #metrics
• #verification

Registers the cognitive-java-check verification task for Gradle Java projects.

• #java
• #quality
• #complexity
• #verification
• #static-analysis

IHub Verification Gradle Plugin

• #ihub
• #groovy
• #spring
• #boot
• #java

Plugins to ease maven-publish and ivy-publish configuration

• #nebula
• #publish

Verifies a nebula publication

• #nebula
• #publish

Verification tasks for Minecraft/Fabric/Meteor dev builds.

• #minecraft
• #fabric
• #modding
• #verification
• #build

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

• #systemverilog
• #hdl
• #hardware
• #verification
• #xcelium
• #questasim
• #svunit

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.

• #dafny
• #verification
• #building

Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine.

• #verification
• #testing
• #model-checking
• #formal-methods
• #jbmc
• #bmc

Applies the Spex testing conventions and adds Spex's Mockito wrappers (the Doubles facade) to the consuming project's test suite, for tests using mocks, spies, stubs, and verifications.

• #spex
• #testing
• #junit
• #mockito
• #test-doubles