Downloads
Last modified on May 8th, 2011
Development Kit
The Whiley Development Kit (WDK) contains all the necessary files to compile and execute Whiley programs. It also includes the full source code for the Whiley Compiler.
wdk-src-v0.3.39
Created on March 11, 2016. 67 Downloads, 4.3 MB.
BSD License
wdk-src-v0.3.38
Created on January 29, 2016. 57 Downloads, 4.3 MB.
BSD License
wdk-src-v0.3.37
Created on December 16, 2015. 95 Downloads, 2.9 MB.
BSD License
wdk-src-v0.3.36
Created on September 10, 2015. 146 Downloads, 2.9 MB.
BSD License
Executable Jar
The executable jar is the easiest way to try out the Whiley-to-Java compiler. It contains everything needed to compile and run Whiley programs on the JVM.
wyjc-all-v0.3.38
Created on January 29, 2016. 134 Downloads, 2.4 MB.
BSD License
wyjc-all-v0.3.37
Created on December 16, 2015. 177 Downloads, 2.4 MB.
BSD License
wyjc-all-v0.3.36
Created on September 10, 2015. 277 Downloads, 2.4 MB.
BSD License
Benchmark Suite
The benchmark suite contains a number of “real-world” programs written in Whiley. The purpose of the suite is provide more realistic tests for the compiler, and to provide a standard set of programs to use for reporting experimental results.
wybench-v0.1.7
Created on May 7, 2014. 292 Downloads, 3.0 MB.
BSD License
wybench-v0.1.6
Created on January 24, 2012. 753 Downloads, 5.8 MB.
BSD License
wybench-v0.1.5
Created on December 2, 2011. 737 Downloads, 5.8 MB.
BSD License
wybench-v0.1.4
Created on July 31, 2011. 760 Downloads, 3.5 MB.
Freeware
wybench-v0.1.3
Created on July 6, 2011. 776 Downloads, 2.2 MB.
BSD License
