• Stars
    star
    215
  • Rank 183,315 (Top 4 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created almost 14 years ago
  • Updated over 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The Whiley Compiler (WyC)

Overview

The Whiley Compiler (WyC) is one component of the larger Whiley Build Tool. When you run wy build on the command line, you are running the build tool which, in turn, runs the Whiley Compiler (amongst other things). The compiler is responsible for turning whiley source files into wyil intermediate language files. The compiler doesn't generate JavaScript or other binary code, as these aspects are handled by other components (e.g. the Whiley JavaScript backend).

Installation

The easiest way to get started with Whiley is by running it in your web-browser on whileylabs.com. To run Whiley from the command-line (e.g. wy build), see instructions for installing the Whiley Build Tool. You can find more information about Whiley at whiley.org.

Contributing

When making a contribution to the Whiley project, you will need to first sign-off the developers certificate of origin. Please see the CONTRIBUTORS file for more details.

Documentation

An overview of the compiler's architecture is provided in ARCHITECTURE.md.

More Repositories

1

Jasm

Assembler / Disassembler for Java Bytecode
Java
24
star
2

WhileyTheoremProver

The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification.
Java
8
star
3

WhileyDocs

Various documents relating to the Whiley Programming Language.
TeX
7
star
4

WyBench

Benchmark Suite for Whiley
Java
6
star
5

WhileyWeb

A simple web IDE for running Whiley programs on your computer using a web-browser.
JavaScript
4
star
6

Whiley2JavaCompiler

The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes.
Java
4
star
7

RFCs

Request for Comment (RFC) proposals for substantial changes to the Whiley language.
3
star
8

WhileyRewriteLanguage

WyRL is a domain specific rewrite language and code generator which has been custom developed for use within the Whiley Compiler. Specifically, WyRL is used to generate the Automated Theorem Prover used within Whiley.
Java
3
star
9

Whiley2C

A C backend for the Whiley Compiler
Java
3
star
10

WhileyDevelopmentKit

The WDK build system is responsible for curating and building releases of the Whiley Programming Language. This includes obtaining necessary dependencies, building documentation, etc.
Shell
2
star
11

Whiley2JavaScript

Provides support for compiling Whiley programs in JavaScript. See http://whiley.org for more information on Whiley.
Java
2
star
12

WhileyBuildAction

A Github action for building Whiley repositories.
Shell
1
star
13

Whiley2Boogie

A compiler backend for translating Whiley programs into Boogie programs for verification.
Java
1
star