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
Last Version	0.10.17
Release Date	Jun 1, 2022
Type	jar
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

Filename	Size
wyc-0.10.17.pom
wyc-0.10.17.jar	697 KB
wyc-0.10.17-sources.jar	271 KB
wyc-0.10.17-javadoc.jar	1 MB

How to add to project

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/org.whiley/wyc/
implementation 'org.whiley:wyc:0.10.17'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.whiley/wyc/
implementation ("org.whiley:wyc:0.10.17")

Apache Buildr

'org.whiley:wyc:jar:0.10.17'

Apache Ivy

<dependency org="org.whiley" name="wyc" rev="0.10.17">
  <artifact name="wyc" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.whiley', module='wyc', version='0.10.17')
)

Scala SBT

libraryDependencies += "org.whiley" % "wyc" % "0.10.17"

Leiningen

[org.whiley/wyc "0.10.17"]

Dependencies

compile (1)

Group / Artifact	Type	Version
org.whiley : jmodelgen	jar	[0.4.0,0.5.0)

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.13.1

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.10.17 Jun 1, 2022
0.10.16 May 25, 2022
0.10.15 May 17, 2022
0.10.14 May 10, 2022
0.10.13 Apr 21, 2022
0.10.12 Apr 20, 2022
0.10.11 Apr 20, 2022
0.10.10 Apr 13, 2022
0.10.9 Apr 11, 2022
0.10.8 Apr 1, 2022
0.10.7 Mar 29, 2022
0.10.6 Mar 16, 2022
0.10.5 Feb 17, 2022
0.10.4 Jan 26, 2022
0.10.3 Jan 21, 2022
0.10.2 Jan 21, 2022
0.10.1 Jan 17, 2022
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
0.8.3 Jun 12, 2021
0.8.2 Mar 3, 2021
0.8.1 Dec 8, 2020
0.8.0 Oct 8, 2020
0.7.3 Oct 7, 2020
0.7.2 Sep 6, 2020
0.7.1 Jul 6, 2020
0.7.0 Apr 3, 2020
0.6.13 Dec 2, 2019
0.6.12 Oct 30, 2019
0.6.11 Oct 12, 2019
0.6.10 Sep 12, 2019
0.6.9 Aug 7, 2019
0.6.7 Aug 2, 2019
0.6.6 Jul 4, 2019
0.6.5 May 22, 2019
0.6.4 May 10, 2019
0.6.3 Mar 20, 2019
0.6.2 Feb 10, 2019
0.6.1 Jan 23, 2019
0.6.0 Sep 4, 2018
0.5.9 Jun 14, 2018
0.5.8.1 Jan 24, 2019
0.5.8 Mar 29, 2018
0.5.7 Mar 28, 2018
0.5.6 Dec 21, 2017
0.5.5 Oct 27, 2017
0.5.4 Oct 14, 2017
0.5.3 Oct 13, 2017
0.5.2 Oct 9, 2017
0.5.1 Oct 5, 2017
0.5.0 Sep 25, 2017
0.4.17 Aug 16, 2017
0.4.16.1 Sep 19, 2017
0.4.16b Sep 19, 2017
0.4.16 Aug 1, 2017
0.4.15 Jul 31, 2017
0.4.14 Jul 29, 2017
0.4.13 Jul 16, 2017
0.4.12 Jun 2, 2017
0.4.11 May 18, 2017
0.4.10 May 7, 2017
0.4.9 Apr 19, 2017
0.4.8 Feb 23, 2017
0.4.7 Nov 24, 2016
0.4.6 Nov 8, 2016
0.4.5 Nov 8, 2016
0.4.4 Oct 27, 2016
0.4.3 Oct 20, 2016
0.4.2 Oct 20, 2016
0.4.1 Sep 14, 2016
0.4.0 Sep 14, 2016