Group: org.whiley - All Dependencies

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

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.

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

Whiley Command-Line Interface · A command-line interface for interacting with the Whiley ecosystem.

Java Assembler / Disassembler (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.

Whiley Theorem Prover (WyTP) · This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.

Java Build Filesystem · A small library a compiler file system.

Java Build Store · A library for implementing key-value stores that supports specific features for building compilers.

Java Build Graph · A library for implementing builds (e.g. for use within compilers).

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

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

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

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

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

Whiley Quick Check · An Automated Testing Tool for Whiley.

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.

Java Blob · A small library for manipulating immutable binary blobs.

Java Blob · A small library for manipulating immutable binary blobs.

Java Command-Line Arguments Processor · A small library for processing command-line arguments.

Syntactic Heap · A library for representing Abstract Syntax Trees

EVM Tools · A tool for generating reference tests with full trace data.

EVM Tools · A tool for generating reference tests with full trace data.