JarCasting
JarCasting JarCasting
не последняя версия
Последняя версия 0.4.7 →

Whiley2Boogie Compiler (WyBoogie) 0.4.0

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

Лицензия

Лицензия
Группа

Группа

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

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

wyboogie
Версия

Версия

0.4.0
Тип

Тип

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 0.4.0

Имя Файла Размер
wyboogie-0.4.0.pom
wyboogie-0.4.0.jar 185 KB
wyboogie-0.4.0-sources.jar 68 KB
wyboogie-0.4.0-javadoc.jar 956 KB
Обзор 

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

Зависимости

compile (1)

Идентификатор библиотеки Тип Версия
org.whiley : wyc jar [0.10.5,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

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

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