Search Gradle plugins

Plugin Latest Version

com.anaplan.engineering.vdm-stub-generator

A Gradle plugin to generate stub classes from the structure of a VDM specification

0.4.0-alpha.15
(23 April 2024)

com.anaplan.engineering.vdm

A Gradle plugin to parse, type-check, test and publsih a VDM specification.

3.0.2+4
(19 June 2023)