Version 0.3.31

We are very pleased to announce the next release of the Whiley Compiler. This includes a few simple bug fixes and updates, along with one significant new feature (improved reporting of verification errors). You can see more here:

http://whiley.org/2014/10/09/whiley-v0-3-31-released/