whiley

Here are 4 public repositories matching this topic...

The Whiley Compiler (WyC)

language compiler verification whiley

Benchmark Suite for Whiley

benchmarking examples whiley

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

java bytecode compiler whiley

A set of verification benchmarks which were mined from several well-known books on verification.

verification whiley benchmarks

To associate your repository with the whiley topic, visit your repo's landing page and select "manage topics."