Whiley Compiler (WyC)

The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files.

License	Apache License, Version 2.0
GroupId	org.whiley
ArtifactId	wyc-all
Last Version	0.9.9
Release Date	Dec 3, 2021
Type	pom
Description	Whiley Compiler (WyC) The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files.
Project URL	http://whiley.org
Source Code Management	https://github.com/Whiley/WhileyCompiler

Download wyc-all

Filename	Size
wyc-all-0.9.9.pom	5 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.whiley/wyc-all/ -->
<dependency>
    <groupId>org.whiley</groupId>
    <artifactId>wyc-all</artifactId>
    <version>0.9.9</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.whiley/wyc-all/
implementation 'org.whiley:wyc-all:0.9.9'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.whiley/wyc-all/
implementation ("org.whiley:wyc-all:0.9.9")

Apache Buildr

'org.whiley:wyc-all:pom:0.9.9'

Apache Ivy

<dependency org="org.whiley" name="wyc-all" rev="0.9.9">
  <artifact name="wyc-all" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.whiley', module='wyc-all', version='0.9.9')
)

Scala SBT

libraryDependencies += "org.whiley" % "wyc-all" % "0.9.9"

Leiningen

[org.whiley/wyc-all "0.9.9"]

Dependencies

compile (1)

Group / Artifact	Type	Version
org.whiley : jbuildfs	jar	1.0.1

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.13.1

Project Modules

• wycc
• wycli
• wyc
• wyqc

Versions

Version
0.9.9 Dec 3, 2021
0.9.8 Oct 15, 2021
0.9.7 Oct 6, 2021
0.9.6 Sep 10, 2021
0.9.5 Aug 24, 2021
0.9.4 Aug 23, 2021
0.9.3 Jul 25, 2021
0.9.2 Jul 23, 2021
0.9.0 Jul 23, 2021