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:
Refactored Test Cases. The . . . → Read More: Whiley v0.3.34 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. This is quite a big change, but is . . . → Read More: Whiley v0.3.33 Released!
Well, it is with some trepidation that I have released the next version of Whiley. This incorporates a very large number of changes and, unfortunately, should be considered extremely unstable at this time (at least, from the perspective of verification). In particular, the main list of changes includes:
Updated syntax for function and method . . . → Read More: Whiley v0.3.32 released!
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 . . . → Read More: Looking Forward to 2015
Recently, I was listening to the latest edition of the Illegal Argument podcast, and it turns out they were discussing Whiley! (about 103:16 minutes in). The discussion was about how verification interacts with data from an untrusted source (e.g. from a database, network connection, etc). In particular, whether or not we can safely feed . . . → Read More: Verification with Data from Untrusted Sources
The latest release is upon us, after a short break whilst I was holidaying in Europe! This includes a few simple bug fixes and updates (see #433 and #392), along with one significant feature:
Improved Context Information for Verification Errors (#435). When a verification error occurred, it was often difficult to tell which part . . . → Read More: Whiley v0.3.31 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. #427 — Improved disambiguation of cast . . . → Read More: Whiley v0.3.30 Released!
Issue #427 “Bug with Dereferencing Array Types” seemed like just another bug. Submitted by a user last week (@Matt–), I didn’t think too much of it. But, as sometimes happens, appearances can be deceiving. In this case, the bug identified a flaw in the syntax of Whiley with respect to the treatment of cast . . . → Read More: A Story of Cast Expressions