News

Introducing the Whiley Cheat Sheet!

Thursday, August 28th, 2014

Recently, I created a Whiley Cheat Sheet for use in our SWEN224 course and I thought it was useful enough to share! The goal of the cheat sheet is to provide some simple examples to help you get going, rather than provide a comprehensive reference.

Whiley v0.3.28 Released!

Friday, August 22nd, 2014

The next release of Whiley is already upon us, after only a week or so since the last. This release consists of a slew of minor bug fixes, many of which have been discovered through students using the system in practice.

Whiley v0.3.27 Released!

Thursday, August 14th, 2014

The next release of Whiley is upon us. This includes a large number of bug fixes, and a significant rewrite of the verifier. Unfortunately, the verifier is not yet verifying many more examples, but it’s now placed to do so.

Whiley v0.3.26 Released!

Friday, July 25th, 2014

It’s about time for another release of Whiley. This represents some interesting developments, though I continue to struggle with debugging and improving verification. The main highlights for this release are:

Whiley v0.3.25 Released!

Monday, June 9th, 2014

Time for another release of the Whiley compiler. This is relatively low key, though includes the first steps towards an improved bytecode API (see #190). There are also a range of bug fixes for various minor issues:

Whiley v0.3.24 Released!

Wednesday, May 7th, 2014

Well, it’s time for yet another release of the Whiley compiler. This one is fairly low key, focusing primarily on bug fixes. Specifically, these issues have been resolved: #346 — Temporary Fix for Unsuported Bytecodes in the Verifier.

Whiley v0.3.23 Released!

Friday, March 28th, 2014

Another update to the Whiley compiler has just been released. This is a fairly small update, consisting primarily of bug fixes. The only significant change was: Type checker now respects a variable’s declared type.

Eclipse Plugin v0.1.1 Released

Monday, February 17th, 2014

After the recent release of Whiley v0.3.22 which updated the language syntax, I have now updated the Eclipse plugin accordingly. See this page for more on installing the plugin from within Eclipse.

Whiley v0.3.22 Released!

Saturday, February 15th, 2014

The next release of Whiley is now available. This implements some significant changes to the language syntax, as discussed in this post and this post. Although the migration towards this new syntax is not fully complete, it is largely working well.

Proposed Syntax Changes for Whiley

Thursday, December 19th, 2013

Now that I’ve had the chance to write a reasonable amount of code in Whiley, it is time to reflect on some things I don’t like. In particular, there are a number of issues with the syntax which I’d like to improve which I’ll document here.

1
2
3
4
5