搜索 Gradle 插件
| 插件 | 最新版本 |
|---|---|
org.dafny.dafny此插件提供了将 Dafny 验证感知编程语言与 Java 紧密集成的功能：自动验证 Dafny 源代码并将其编译为 Java 源代码，然后 Java 插件将与此项目中任何手写 Java 代码一起构建。它还提供了一种强大的方法，通过 Gradle 支持的仓库（如 Maven Central）分发和管理 Dafny 依赖项。 |
0.1.0
(2023 年 11 月 11 日) |
| 插件 | 最新版本 |
|---|---|
org.dafny.dafny此插件提供了将 Dafny 验证感知编程语言与 Java 紧密集成的功能：自动验证 Dafny 源代码并将其编译为 Java 源代码，然后 Java 插件将与此项目中任何手写 Java 代码一起构建。它还提供了一种强大的方法，通过 Gradle 支持的仓库（如 Maven Central）分发和管理 Dafny 依赖项。 |
0.1.0
(2023 年 11 月 11 日) |