8 个不稳定版本 (3 个破坏性更新)

0.4.2 2020 年 12 月 3 日
0.4.1 2020 年 12 月 3 日
0.3.2 2020 年 10 月 20 日
0.2.0 2020 年 10 月 10 日
0.1.0 2020 年 9 月 25 日

#1622 in 开发工具

MIT 许可证

180KB
3K SLoC

包含 (JAR 文件, 55KB) gradle-wrapper.jar

使与 Polyhorn 项目协同工作变得简单的 CLI。具体来说,CLI 负责构建、运行和分发使用 Polyhorn 编写的跨平台应用程序。

依赖项

~23–36MB
~584K SLoC