JarCasting
JarCasting JarCasting
is not current version
Last Version 0.9.9 →

Whiley Compiler (WyC) 0.9.3

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-all
Version

Version

0.9.3
Type

Type

pom
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-all 0.9.3

Filename Size
wyc-all-0.9.3.pom 5 KB
Browse 

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

Dependencies

test (1)

Group / Artifact Type Version
junit : junit jar 4.13.1

Project Modules

  • wycc
  • wycli
  • wyc
  • wyqc