Whiley2Boogie Compiler (WyBoogie)

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
Last Version	0.4.7
Release Date	May 26, 2022
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

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

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.whiley:wyboogie:jar:0.4.7'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.whiley/wyboogie "0.4.7"]

Dependencies

compile (1)

Group / Artifact	Type	Version
org.whiley : wyc	jar	[0.10.16,0.10.99)

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.

The Whiley Programming Language

Devoted to the development of Whiley, an open source programming language.

Versions

Version
0.4.7 May 26, 2022
0.4.6 May 25, 2022
0.4.5 May 17, 2022
0.4.4 May 11, 2022
0.4.3 Apr 22, 2022
0.4.2 Apr 21, 2022
0.4.1 Mar 17, 2022
0.4.0 Feb 17, 2022
0.3.4 Dec 4, 2021
0.3.3 Oct 19, 2021
0.3.2 Sep 10, 2021
0.3.1 Aug 24, 2021
0.3.0 Aug 20, 2021
0.2.7 May 20, 2021
0.2.6 May 19, 2021
0.2.5 Mar 18, 2021
0.2.4 Mar 4, 2021
0.2.3 Mar 4, 2021
0.2.2 Mar 3, 2021
0.2.1 Mar 3, 2021
0.2.0 Mar 3, 2021