is not current version

org.whiley:wyboogie 0.2.4

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

GroupId	GroupId org.whiley
ArtifactId	ArtifactId wyboogie
Version	Version 0.2.4
Type	Type jar

Download wyboogie 0.2.4

Filename	Size
wyboogie-0.2.4.pom
wyboogie-0.2.4.jar	155 KB
wyboogie-0.2.4-sources.jar	55 KB
wyboogie-0.2.4-javadoc.jar	875 KB
Browse

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.whiley:wyboogie:jar:0.2.4'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.whiley/wyboogie "0.2.4"]

org.whiley:wyboogie 0.2.4

GroupId

ArtifactId

Version

Type

Download wyboogie 0.2.4