Project Group: org.whiley

Whiley Compiler (WyC)

org.whiley : 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.

Last Version: 0.10.17

Release Date: Jun 1, 2022

Whiley2Boogie Compiler (WyBoogie)

org.whiley : wyboogie

The Whiley2Boogie Compiler is responsible for translating Whiley Intermediate Language (WyIL) files into the Boogie Intermediate Verification Language.

Last Version: 0.4.7

Release Date: May 26, 2022

Whiley2JavaScript Compiler (WyJS)

org.whiley : wyjs

The Whiley2JavaScript Compiler is responsible for translating Whiley Intermediate Language (WyIL) files into JavaScript

Last Version: 0.10.5

Release Date: May 26, 2022

Syntactic Heap

org.whiley : jsynheap

A library for representing Abstract Syntax Trees

Last Version: 0.1.2

Release Date: Jan 14, 2022

Java Build Store

org.whiley : jbuildstore

A library for implementing key-value stores that supports specific features for building compilers.

Last Version: 0.1.2

Release Date: Dec 8, 2021

Java Build Graph

org.whiley : jbuildgraph

A library for implementing builds (e.g. for use within compilers).

Last Version: 0.2.1

Release Date: Dec 8, 2021

Whiley Compiler Collection

org.whiley : wycc

A compiler framework for managing the Whiley Compiler and related tooling.

Last Version: 0.9.9

Release Date: Dec 3, 2021

Whiley Command-Line Interface

org.whiley : wycli

A command-line interface for interacting with the Whiley ecosystem.

Last Version: 0.9.9

Release Date: Dec 3, 2021

Whiley Quick Check

org.whiley : wyqc

An Automated Testing Tool for Whiley.

Last Version: 0.9.9

Release Date: Dec 3, 2021

Whiley Compiler (WyC)

org.whiley : wyc-all

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.

Last Version: 0.9.9

Release Date: Dec 3, 2021

Java Command-Line Arguments Processor

org.whiley : jcmdarg

A small library for processing command-line arguments.

Last Version: 1.0.1

Release Date: Nov 11, 2021

Java Build Filesystem

org.whiley : jbuildfs

A small library a compiler file system.

Last Version: 1.1.0

Release Date: Nov 2, 2021

Java Blob

org.whiley : JBlob

A small library for manipulating immutable binary blobs.

Last Version: 1.0.0

Release Date: Sep 20, 2021

Java Blob

org.whiley : jblob

A small library for manipulating immutable binary blobs.

Last Version: 1.0.0

Release Date: Sep 20, 2021

JModelGen

org.whiley : jmodelgen

A Java library to assist with randomised testing and model generation.

Last Version: 0.4.3

Release Date: May 25, 2021

Whiley Theorem Prover (WyTP)

org.whiley : wytp

This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.

Last Version: 0.7.0

Release Date: Oct 8, 2020

Java Assembler / Disassembler (Jasm)

org.whiley : jasm

Jasm is an Assembler / Disassembler for Java Bytecode. Using Jasm you can easily read or write Java Classfiles. Jasm was originally developed as part of the Java Compiler Kit (JKit), and is now used primarily within the Whiley Compiler.

Last Version: 1.0.2

Release Date: Sep 24, 2019

JEVM

org.whiley : jevm

A Java Emulator for the Ethereum Virtual Machine (EVM).

Last Version: 0.1.6

Release Date: Aug 23, 2019

JavaAVR

org.whiley : javr

A Java Emulator for AVR Micro-controllers, such as the ATMega328 or ATTiny85. Includes instruction decoding / encoding, emulation and support for I/O peripherals.

Last Version: 1.1.1

Release Date: May 1, 2019

Whiley2Java Compiler (WyJC)

org.whiley : wyjc

The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes

Last Version: 0.4.7

Release Date: Apr 9, 2018