Whiley2Boogie Compiler (WyBoogie)

The Whiley2Boogie Compiler is responsible for translating Whiley Intermediate Language (WyIL) files into the Boogie Intermediate Verification Language.

Лицензия	Лицензия Apache License, Version 2.0
Группа	Группа org.whiley
Идентификатор	Идентификатор wyboogie
Последняя версия	Последняя версия 0.4.7
Дата	Дата 26 мая 2022 г.
Тип	Тип jar
Описание	Описание Whiley2Boogie Compiler (WyBoogie) The Whiley2Boogie Compiler is responsible for translating Whiley Intermediate Language (WyIL) files into the Boogie Intermediate Verification Language.
Ссылка на сайт	Ссылка на сайт http://whiley.org
Система контроля версий	Система контроля версий https://github.com/Whiley/Whiley2Boogie

Скачать wyboogie

Имя Файла	Размер
wyboogie-0.4.7.pom
wyboogie-0.4.7.jar	161 KB
wyboogie-0.4.7-sources.jar	58 KB
wyboogie-0.4.7-javadoc.jar	875 KB
Обзор

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

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/org.whiley/wyboogie/
implementation 'org.whiley:wyboogie:0.4.7'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.whiley/wyboogie/
implementation ("org.whiley:wyboogie:0.4.7")

Apache Buildr

'org.whiley:wyboogie:jar:0.4.7'

Apache Ivy

<dependency org="org.whiley" name="wyboogie" rev="0.4.7">
  <artifact name="wyboogie" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.whiley', module='wyboogie', version='0.4.7')
)

Scala SBT

libraryDependencies += "org.whiley" % "wyboogie" % "0.4.7"

Leiningen

[org.whiley/wyboogie "0.4.7"]

Зависимости

compile (1)

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

test (3)

Идентификатор библиотеки	Тип	Версия
org.junit.jupiter : junit-jupiter-api	jar	5.7.0
org.junit.jupiter : junit-jupiter-engine	jar	5.7.0
org.junit.jupiter : junit-jupiter-params	jar	5.7.0

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

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

The Whiley Programming Language

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

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

Версия
0.4.7 26 мая 2022 г.
0.4.6 25 мая 2022 г.
0.4.5 17 мая 2022 г.
0.4.4 11 мая 2022 г.
0.4.3 22 апр. 2022 г.
0.4.2 21 апр. 2022 г.
0.4.1 17 мар. 2022 г.
0.4.0 17 февр. 2022 г.
0.3.4 4 дек. 2021 г.
0.3.3 19 окт. 2021 г.
0.3.2 10 сент. 2021 г.
0.3.1 24 авг. 2021 г.
0.3.0 20 авг. 2021 г.
0.2.7 20 мая 2021 г.
0.2.6 19 мая 2021 г.
0.2.5 18 мар. 2021 г.
0.2.4 4 мар. 2021 г.
0.2.3 4 мар. 2021 г.
0.2.2 3 мар. 2021 г.
0.2.1 3 мар. 2021 г.
0.2.0 3 мар. 2021 г.

Whiley2Boogie Compiler (WyBoogie)

Лицензия

Группа

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

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

Дата

Тип

Описание

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

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