Whiley Compiler (WyC) wyc 
| Group | org.whiley |
| 描述 | The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files. |
| Packaging | jar |
| Size | 601.50 KB |
| 文件 | pom jar |
| 网址 | http://whiley.org |
| 发布时间 | 2016-10-27 14:10 |
dependencies
| Group | Artifact | Version |
|---|---|---|
| org.whiley | wycc | LATEST |
| org.whiley | wytp | LATEST |
| ant | ant | 1.7.0 |
| junit | junit | 4.12 |
developers
| redjamjar | David J. Pearce |
licenses
| BSD 3-Clause License |
索引仓库
| 仓库 | 个数 |
| Central | 592045 |