Blogroll

Misc

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

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! For example, there have been more than ten releases of the Whiley Compiler (WyC) itself on Maven central. The main updates are:

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.3.40. In that time, a significant portion of the compiler has been . . . → Read More: Whiley v0.4.0 Released!

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.

Another big update to Whiley landed today, and includes a whole raft of changes. In particular, various algorithms in the automated theorem prover have been reworked to improve performance (though more still needs to be done here). A rough summary of the changes in this version is:

The next version of Whiley is upon us. Whilst predictably late, this release packs quite a punch and contains a range of changes to the language syntax, and critical updates to the verifier. Certainly, this version is capable of verifying more programs than any previous version. The summary of changes includes:

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!

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: