Whiley Compiler (WyC)

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.

Лицензия

Лицензия

Группа

Группа

org.whiley
Идентификатор

Идентификатор

wyc-all
Последняя версия

Последняя версия

0.9.9
Дата

Дата

Тип

Тип

pom
Описание

Описание

Whiley Compiler (WyC)
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.
Ссылка на сайт

Ссылка на сайт

http://whiley.org
Система контроля версий

Система контроля версий

https://github.com/Whiley/WhileyCompiler

Скачать wyc-all

Имя Файла Размер
wyc-all-0.9.9.pom 5 KB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/org.whiley/wyc-all/ -->
<dependency>
    <groupId>org.whiley</groupId>
    <artifactId>wyc-all</artifactId>
    <version>0.9.9</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/org.whiley/wyc-all/
implementation 'org.whiley:wyc-all:0.9.9'
// https://jarcasting.com/artifacts/org.whiley/wyc-all/
implementation ("org.whiley:wyc-all:0.9.9")
'org.whiley:wyc-all:pom:0.9.9'
<dependency org="org.whiley" name="wyc-all" rev="0.9.9">
  <artifact name="wyc-all" type="pom" />
</dependency>
@Grapes(
@Grab(group='org.whiley', module='wyc-all', version='0.9.9')
)
libraryDependencies += "org.whiley" % "wyc-all" % "0.9.9"
[org.whiley/wyc-all "0.9.9"]

Зависимости

compile (1)

Идентификатор библиотеки Тип Версия
org.whiley : jbuildfs jar 1.0.1

test (1)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.13.1

Модули Проекта

  • wycc
  • wycli
  • wyc
  • wyqc

Версии библиотеки

Версия
0.9.9
0.9.8
0.9.7
0.9.6
0.9.5
0.9.4
0.9.3
0.9.2
0.9.0