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.

Лицензия	Лицензия Apache License, Version 2.0
Группа	Группа org.whiley
Идентификатор	Идентификатор wyc
Последняя версия	Последняя версия 0.10.17
Дата	Дата 1 июн. 2022 г.
Тип	Тип jar
Описание	Описание 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

Имя Файла	Размер
wyc-0.10.17.pom
wyc-0.10.17.jar	697 KB
wyc-0.10.17-sources.jar	271 KB
wyc-0.10.17-javadoc.jar	1 MB
Обзор

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

Apache Maven

<!-- https://jarcasting.com/artifacts/org.whiley/wyc/ -->
<dependency>
    <groupId>org.whiley</groupId>
    <artifactId>wyc</artifactId>
    <version>0.10.17</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.whiley/wyc/
implementation 'org.whiley:wyc:0.10.17'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.whiley/wyc/
implementation ("org.whiley:wyc:0.10.17")

Apache Buildr

'org.whiley:wyc:jar:0.10.17'

Apache Ivy

<dependency org="org.whiley" name="wyc" rev="0.10.17">
  <artifact name="wyc" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.whiley', module='wyc', version='0.10.17')
)

Scala SBT

libraryDependencies += "org.whiley" % "wyc" % "0.10.17"

Leiningen

[org.whiley/wyc "0.10.17"]

Зависимости

compile (1)

Идентификатор библиотеки	Тип	Версия
org.whiley : jmodelgen	jar	[0.4.0,0.5.0)

test (1)

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

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

Данный проект не имеет модулей.

The Whiley Programming Language

Devoted to the development of Whiley, an open source programming language.

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

Версия
0.10.17 1 июн. 2022 г.
0.10.16 25 мая 2022 г.
0.10.15 17 мая 2022 г.
0.10.14 10 мая 2022 г.
0.10.13 21 апр. 2022 г.
0.10.12 20 апр. 2022 г.
0.10.11 20 апр. 2022 г.
0.10.10 13 апр. 2022 г.
0.10.9 11 апр. 2022 г.
0.10.8 1 апр. 2022 г.
0.10.7 29 мар. 2022 г.
0.10.6 16 мар. 2022 г.
0.10.5 17 февр. 2022 г.
0.10.4 26 янв. 2022 г.
0.10.3 21 янв. 2022 г.
0.10.2 21 янв. 2022 г.
0.10.1 17 янв. 2022 г.
0.9.9 3 дек. 2021 г.
0.9.8 15 окт. 2021 г.
0.9.7 6 окт. 2021 г.
0.9.6 10 сент. 2021 г.
0.9.5 24 авг. 2021 г.
0.9.4 23 авг. 2021 г.
0.9.3 25 июл. 2021 г.
0.9.2 23 июл. 2021 г.
0.9.0 23 июл. 2021 г.
0.8.3 12 июн. 2021 г.
0.8.2 3 мар. 2021 г.
0.8.1 8 дек. 2020 г.
0.8.0 8 окт. 2020 г.
0.7.3 7 окт. 2020 г.
0.7.2 6 сент. 2020 г.
0.7.1 6 июл. 2020 г.
0.7.0 3 апр. 2020 г.
0.6.13 2 дек. 2019 г.
0.6.12 30 окт. 2019 г.
0.6.11 12 окт. 2019 г.
0.6.10 12 сент. 2019 г.
0.6.9 7 авг. 2019 г.
0.6.7 2 авг. 2019 г.
0.6.6 4 июл. 2019 г.
0.6.5 22 мая 2019 г.
0.6.4 10 мая 2019 г.
0.6.3 20 мар. 2019 г.
0.6.2 10 февр. 2019 г.
0.6.1 23 янв. 2019 г.
0.6.0 4 сент. 2018 г.
0.5.9 14 июн. 2018 г.
0.5.8.1 24 янв. 2019 г.
0.5.8 29 мар. 2018 г.
0.5.7 28 мар. 2018 г.
0.5.6 21 дек. 2017 г.
0.5.5 27 окт. 2017 г.
0.5.4 14 окт. 2017 г.
0.5.3 13 окт. 2017 г.
0.5.2 9 окт. 2017 г.
0.5.1 5 окт. 2017 г.
0.5.0 25 сент. 2017 г.
0.4.17 16 авг. 2017 г.
0.4.16.1 19 сент. 2017 г.
0.4.16b 19 сент. 2017 г.
0.4.16 1 авг. 2017 г.
0.4.15 31 июл. 2017 г.
0.4.14 29 июл. 2017 г.
0.4.13 16 июл. 2017 г.
0.4.12 2 июн. 2017 г.
0.4.11 18 мая 2017 г.
0.4.10 7 мая 2017 г.
0.4.9 19 апр. 2017 г.
0.4.8 23 февр. 2017 г.
0.4.7 24 нояб. 2016 г.
0.4.6 8 нояб. 2016 г.
0.4.5 8 нояб. 2016 г.
0.4.4 27 окт. 2016 г.
0.4.3 20 окт. 2016 г.
0.4.2 20 окт. 2016 г.
0.4.1 14 сент. 2016 г.
0.4.0 14 сент. 2016 г.

Whiley Compiler (WyC)

Лицензия

Группа

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

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

Дата

Тип

Описание

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

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