JarCasting
JarCasting JarCasting

Группа библиотек: org.whiley

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.

Последняя версия: 0.10.17

Дата:
org.whiley

Whiley2Boogie Compiler (WyBoogie)

 org.whiley : wyboogie

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

Последняя версия: 0.4.7

Дата:
org.whiley

Whiley2JavaScript Compiler (WyJS)

 org.whiley : wyjs

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

Последняя версия: 0.10.5

Дата:

Syntactic Heap

 org.whiley : jsynheap

A library for representing Abstract Syntax Trees

Последняя версия: 0.1.2

Дата:

Java Build Store

 org.whiley : jbuildstore

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

Последняя версия: 0.1.2

Дата:

Java Build Graph

 org.whiley : jbuildgraph

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

Последняя версия: 0.2.1

Дата:
org.whiley

Whiley Compiler Collection

 org.whiley : wycc

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

Последняя версия: 0.9.9

Дата:
org.whiley

Whiley Command-Line Interface

 org.whiley : wycli

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

Последняя версия: 0.9.9

Дата:

Whiley Quick Check

 org.whiley : wyqc

An Automated Testing Tool for Whiley.

Последняя версия: 0.9.9

Дата:

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.

Последняя версия: 0.9.9

Дата:

Java Command-Line Arguments Processor

 org.whiley : jcmdarg

A small library for processing command-line arguments.

Последняя версия: 1.0.1

Дата:

Java Build Filesystem

 org.whiley : jbuildfs

A small library a compiler file system.

Последняя версия: 1.1.0

Дата:

Java Blob

 org.whiley : JBlob

A small library for manipulating immutable binary blobs.

Последняя версия: 1.0.0

Дата:

Java Blob

 org.whiley : jblob

A small library for manipulating immutable binary blobs.

Последняя версия: 1.0.0

Дата:

JModelGen

 org.whiley : jmodelgen

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

Последняя версия: 0.4.3

Дата:
org.whiley

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.

Последняя версия: 0.7.0

Дата:
org.whiley

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.

Последняя версия: 1.0.2

Дата:

JEVM

 org.whiley : jevm

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

Последняя версия: 0.1.6

Дата:

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.

Последняя версия: 1.1.1

Дата:
org.whiley

Whiley2Java Compiler (WyJC)

 org.whiley : wyjc

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

Последняя версия: 0.4.7

Дата:

  • 1