JarCasting
JarCasting JarCasting
is not current version
Last Version 0.10.17 →

Whiley Compiler (WyC) 0.10.6

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

License
GroupId

GroupId

org.whiley
ArtifactId

ArtifactId

wyc
Version

Version

0.10.6
Type

Type

jar
Description

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

Project URL

http://whiley.org
Source Code Management

Source Code Management

https://github.com/Whiley/WhileyCompiler

Download wyc 0.10.6

Filename Size
wyc-0.10.6.pom
wyc-0.10.6.jar 776 KB
wyc-0.10.6-sources.jar 288 KB
wyc-0.10.6-javadoc.jar 2 MB
Browse 

<!-- https://jarcasting.com/artifacts/org.whiley/wyc/ -->
<dependency>
    <groupId>org.whiley</groupId>
    <artifactId>wyc</artifactId>
    <version>0.10.6</version>
</dependency>
// https://jarcasting.com/artifacts/org.whiley/wyc/
implementation 'org.whiley:wyc:0.10.6'
// https://jarcasting.com/artifacts/org.whiley/wyc/
implementation ("org.whiley:wyc:0.10.6")
'org.whiley:wyc:jar:0.10.6'
<dependency org="org.whiley" name="wyc" rev="0.10.6">
  <artifact name="wyc" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.whiley', module='wyc', version='0.10.6')
)
libraryDependencies += "org.whiley" % "wyc" % "0.10.6"
[org.whiley/wyc "0.10.6"]

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.