News

Eclipse Plugin v0.1.0 Released!

Friday, November 29th, 2013

After being stuck with an outdated Eclipse plugin for quite a while, I’ve finally released a new version of the Whiley Eclipse Plugin (Wyclipse). This uses the latest version of the Whiley Compiler (WyC), and fixes a whole host of problems with the previous version.

Whiley v0.3.21 Released!

Sunday, October 27th, 2013

This is a slightly quicker release than usual, with only a few relatively minor fixes and refactorings, etc: Factored JVM Bytecode library into a separate project, called Jasm Various bug fixes mostly related to verification.

Whiley v0.3.20 Released!

Friday, August 16th, 2013

Well, this release is about 2 months overdue, but it embodies a lot of work. The main changes are: Bug fixes. I’ve closed around 36 issues, many of which were intricate little bugs.

Whiley v0.3.19 Released!

Monday, May 6th, 2013

It is with some disappointment that I’ve finally decided to release v0.3.19 despite this being almost 3 months overdue! The disappointment arises because, despite a lot of valiant effort, verification is still not working very well — and, in fact, is probably worse than the previous release!

Whiley v0.3.18 Released!

Friday, January 11th, 2013

The next version of Whiley is upon us! This consists of mostly lightweight improvements over v0.3.17 and various bug fixes (see issues for more). I have now been attempting to verify some of the microbenchmarks in Wybench, with some useful progress being made (although it is flushing out a lot of issues).

Whiley v0.3.17 Released!

Friday, December 7th, 2012

Whilst it’s been over three months since the last release of Whiley, this latest release is chocked full of improvements! I’ve closed around 60 issues in that time, and have completely reworked the theorem prover from scratch.

The Whiley Project on Ohloh

Monday, November 19th, 2012

Just yesterday, I came across the ohloh website for the first time and was surprised to find the Whiley project already listed there. If you haven’t seen it before, Ohloh is a site that attempts to gather stats and other information on open source projects such as: who the developers are, how many commits there are and how the line count has changed over time.

Reflecting on the JVM Class File Format

Monday, August 6th, 2012

The latest release of Whiley (v0.3.16) includes (finally) a binary file format for the Whiley Intermediate Language (WYIL). You can think WYIL files are to Whiley, as class files are to Java, or CIL files are to C#.

Whiley v0.3.16 Released!

Tuesday, July 31st, 2012

Well, after a reasonable wait, the next release of Whiley is finally upon us. This represents a number of fairly significant changes, all of which improve the compiler very nicely.

Illustrating Compile-Time Verification in Whiley

Monday, May 28th, 2012

With the latest release of Whiley, compile-time checking of constraints can be enabled with a command-line switch. So, I thought a few examples of this were in order. Example: Absolute of an Integer Consider this simple program:

2
3
4
5
6