org.whiley:wyboogie 0.4.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.4.6
Type	jar

Download wyboogie 0.4.6

Filename	Size
wyboogie-0.4.6.pom
wyboogie-0.4.6.jar	196 KB
wyboogie-0.4.6-sources.jar	73 KB
wyboogie-0.4.6-javadoc.jar	983 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.whiley:wyboogie:jar:0.4.6'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.whiley/wyboogie "0.4.6"]