News

Whiley v0.6.1 Released!

Monday, June 27th, 2022

Finally, after almost a year since the last release, we have two new releases of Whiley! v0.6.0 was released on June 1st 2022, and was quickly followed by v0.6.1 which included an important bug fix.

Whiley v0.5.3 Released!

Thursday, June 24th, 2021

And, finally, another release of Whiley is upon us after waiting! As usual, there are a range of known issues and limitations. But, the main improvements are: Boogie Support . Included within the distribution is a backend for verification using Boogie and Z3.

Whiley v0.5.0 Released!

Tuesday, July 7th, 2020

And, finally, another release of Whiley is upon us after some two years of waiting! As usual, there are a range of known issues and limitations. But, the main improvements are:

Whiley v0.4.2. Released!

Wednesday, April 11th, 2018

And, after a long while, another official release of Whiley is here. This is something of an interim release whilst other things are brewing in the background. There also some known issues with this release.

Web IDE gets a Face Lift!

Thursday, August 24th, 2017

The web IDE for Whiley is the easiest way to run Whiley, and it’s even better after a little face lift! Here’s the obligatory screenshot: You can run this on your local machine by cloning the Github repo and running ant run from the command-line.

Whiley v0.4.1 released!

Thursday, August 3rd, 2017

The next release of the Whiley Development Kit is upon us. This is about six months since the last official release and, in the meantime, a lot has been going on!

Whiley v0.4.0 Released!

Thursday, November 24th, 2016

The next release is finally upon us. This one has been a long time coming, and its going to take a while before it settles down again!! Work on this release has been ongoing since February, though partial changes were released in v0.

Whiley v0.3.40 Released!

Saturday, May 28th, 2016

The next version of Whiley is upon us, and this one includes a bumper package of changes. In particular, I am very excited by the introduction of reference lifetimes into Whiley.

Whiley v0.3.39 Released!

Friday, March 11th, 2016

Progress has slowed on Whiley now that Trimester 1 and my SWEN221 class with 220+ students has begun! Despite this, development continues with more contributions from others which is great. This release is largely a “cleaning up” and “bug fixing” release, rather than landing any big features.

Whiley v0.3.38 Released!

Friday, January 29th, 2016

Finally, just over one month since the last release of Whiley, version v0.3.38 is released today! The list of changes is reasonably large and we should expect lots more going forward …

1
2
3
4
5