org.whiley:wyboogie 0.2.6

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

GroupId	org.whiley
ArtifactId	wyboogie
Version	0.2.6
Type	jar

Download wyboogie 0.2.6

Filename	Size
wyboogie-0.2.6.pom
wyboogie-0.2.6.jar	161 KB
wyboogie-0.2.6-sources.jar	58 KB
wyboogie-0.2.6-javadoc.jar	875 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.whiley:wyboogie:jar:0.2.6'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.whiley/wyboogie "0.2.6"]