Version 0.3.29

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. See more here: http://whiley.org/2014/09/01/whiley-v0-3-29-released/

Version 0.3.28

We are pleased to announce the next release of the Whiley Compiler. This contains a slew of minor bug fixes, many of which have been discovered through students using the system in practice. See more here: http://whiley.org/2014/08/22/whiley-v0-3-28-released/

Version 0.3.27

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. See http://whiley.org/2014/08/14/whiley-v0-3-27-released/ for release notes.