Whiley2Boogie Compiler (WyBoogie) 0.3.3

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

License	Apache License, Version 2.0
GroupId	org.whiley
ArtifactId	wyboogie
Version	0.3.3
Type	jar
Description	Whiley2Boogie Compiler (WyBoogie) The Whiley2Boogie Compiler is responsible for translating Whiley Intermediate Language (WyIL) files into the Boogie Intermediate Verification Language.
Project URL	http://whiley.org
Source Code Management	https://github.com/Whiley/Whiley2Boogie

Download wyboogie 0.3.3

Filename	Size
wyboogie-0.3.3.pom
wyboogie-0.3.3.jar	188 KB
wyboogie-0.3.3-sources.jar	69 KB
wyboogie-0.3.3-javadoc.jar	961 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.whiley:wyboogie:jar:0.3.3'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.whiley/wyboogie "0.3.3"]

Dependencies

compile (1)

Group / Artifact	Type	Version
org.whiley : wyc	jar	[0.9.8,0.9.9)

test (3)

Group / Artifact	Type	Version
org.junit.jupiter : junit-jupiter-api	jar	5.7.0
org.junit.jupiter : junit-jupiter-engine	jar	5.7.0
org.junit.jupiter : junit-jupiter-params	jar	5.7.0

Project Modules

There are no modules declared in this project.