Whiley v0.3.35 Released!

Finally, a release of Whiley that is on schedule!  This includes some fairly significant updates to the syntax of the language itself:

Removal of set and map data types (#471).  These data types have been entirely removed from both the source language (Whiley), and the bytecode language (WyIL).  This is a pretty radical change, . . . → Read More: Whiley v0.3.35 Released!

Whiley v0.3.34 Released!

Finally, after almost two months of effort, the next version of Whiley is released.  This release has taken a long time, not because it contains so much, but simply because I have been truly busy with teaching my second year paper SWEN221.  Nevertheless, this release does contain some interesting additions:

Refactored Test Cases.  The . . . → Read More: Whiley v0.3.34 Released!

Whiley v0.3.33 Released!

The next release of Whiley is upon us!! Work got a little bogged down with the start of term, but should hopefully now pick up a little.  The main component of this release is the removal of the string and char data types from the language. This is quite a big change, but is . . . → Read More: Whiley v0.3.33 Released!

Whiley v0.3.32 released!

Well, it is with some trepidation that I have released the next version of Whiley. This incorporates a very large number of changes and, unfortunately, should be considered extremely unstable at this time (at least, from the perspective of verification). In particular, the main list of changes includes:

Updated syntax for function and method . . . → Read More: Whiley v0.3.32 released!

Looking Forward to 2015

It’s scary to think that 2014 has been and gone, and that I still haven’t released the next major version of Whiley!  Despite this, I have been busy improving the compiler and language and I thought it would be helpful for me to recap what was achieved last year, and what the goals going . . . → Read More: Looking Forward to 2015

Whiley v0.3.31 Released!

The latest release is upon us, after a short break whilst I was holidaying in Europe!  This includes a few simple bug fixes and updates (see #433 and #392), along with one significant feature:

Improved Context Information for Verification Errors (#435).  When a verification error occurred, it was often difficult to tell which part . . . → Read More: Whiley v0.3.31 Released!

Whiley v0.3.30 Released!

The next release of Whiley is now ready to be downloaded.  This includes a small number of bug fixes and two more significant changes:

#418 — Removal of implicit coercions.  This has some consequences for how you write Whiley programs, and there are probably some follow-on changes needed. #427 — Improved disambiguation of cast . . . → Read More: Whiley v0.3.30 Released!

A Story of Cast Expressions

Issue #427 “Bug with Dereferencing Array Types” seemed like just another bug.  Submitted by a user last week (@Matt–), I didn’t think too much of it.  But, as sometimes happens, appearances can be deceiving.  In this case, the bug identified a flaw in the syntax of Whiley with respect to the treatment of cast . . . → Read More: A Story of Cast Expressions

Whiley v0.3.29 Released!

The next release of Whiley is now ready to be downloaded.  This includes a number of bug fixes, along with a change in the WyIL bytecode format.  The latter is ahead of further planned changes to improve the bytecode format and verification.  The list of changes is:

#423 — Bug fix related to parsing . . . → Read More: Whiley v0.3.29 Released!

Whiley v0.3.28 Released!

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.  The main items are:

Problem Generating JVM Bytecode (#415).  This related to compiling . . . → Read More: Whiley v0.3.28 Released!