Search Gradle plugins
| Plugin | Latest Version |
|---|---|
|
A Gradle plugin to generate stub classes from the structure of a VDM specification |
0.4.0-alpha.34
(20 January 2026) |
|
A Gradle plugin to parse, type-check, test and publsih a VDM specification. |
3.0.2+4
(19 June 2023) |