News

Whiley v0.3.37 Released!

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).

Whiley v0.3.35 Released!

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).

Whiley v0.3.33 Released!

The next release of Whiley is upon us!! Work got a little bogged down with the start of term, but should hopefully now pick up a little. The main component of this release is the removal of the string and char data types from the language.

Looking Forward to 2015

It’s scary to think that 2014 has been and gone, and that I still haven’t released the next major version of Whiley! Despite this, I have been busy improving the compiler and language and I thought it would be helpful for me to recap what was achieved last year, and what the goals going forward are.

Whiley v0.3.30 Released!

The next release of Whiley is now ready to be downloaded. This includes a small number of bug fixes and two more significant changes: #418 — Removal of implicit coercions. This has some consequences for how you write Whiley programs, and there are probably some follow-on changes needed.