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

org.whiley:wyboogie 0.2.1

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

Группа

Группа

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

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

wyboogie
Версия

Версия

0.2.1
Тип

Тип

jar

Скачать wyboogie 0.2.1

Имя Файла Размер
wyboogie-0.2.1.pom
wyboogie-0.2.1.jar 155 KB
wyboogie-0.2.1-sources.jar 55 KB
wyboogie-0.2.1-javadoc.jar 874 KB
Обзор 

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