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

org.whiley:wyboogie 0.3.1

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

Группа	Группа org.whiley
Идентификатор	Идентификатор wyboogie
Версия	Версия 0.3.1
Тип	Тип jar

Скачать wyboogie 0.3.1

Имя Файла	Размер
wyboogie-0.3.1.pom
wyboogie-0.3.1.jar	185 KB
wyboogie-0.3.1-sources.jar	67 KB
wyboogie-0.3.1-javadoc.jar	954 KB
Обзор

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.whiley:wyboogie:jar:0.3.1'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.whiley/wyboogie "0.3.1"]

org.whiley:wyboogie 0.3.1

Группа

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

Версия

Тип

Скачать wyboogie 0.3.1