v0.4.0-prerelease: This is a prerelease version of Whiley v0.4.0. This includes

This is an early prerelease ahead of v0.4.0. In particular, this contains the planned changes to the intermediate language. However, it doesn't yet contain other planned changes.

Version 0.3.40

v0.3.40

Tagging next release version

Version 0.3.39

v0.3.39

Tagging latest released version

Version 0.3.38

v0.3.38

Tagging latest stable version

Version 0.3.36

v0.3.36

Version 0.3.36

Version 0.3.35

For the ChangeLog see:

https://github.com/Whiley/WhileyCompiler/issues?q=milestone%3Av0.3.35

Version 0.3.34

For ChangeLog see:

https://github.com/Whiley/WhileyCompiler/issues?q=milestone%3Av0.3.34+is%3Aclosed

Version 0.3.33

For ChangeLog. see https://github.com/Whiley/WhileyCompiler/issues?q=milestone%3Av0.3.33

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/

Version 0.3.30

We are very pleased to announce the next release of the Whiley Compiler. This contains a number of small bug fixes, and two significant changes. See more here: http://whiley.org/2014/09/05/whiley-v0-3-30-released/