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!
The next release of Whiley is now ready to be downloaded. This includes a number of bug fixes, along with a change in the WyIL bytecode format. The latter is ahead of further planned changes to improve the bytecode format and verification. The list of changes is:
#423 — Bug fix related to parsing . . . → Read More: Whiley v0.3.29 Released!
The next release of Whiley is already upon us, after only a week or so since the last. This release consists of a slew of minor bug fixes, many of which have been discovered through students using the system in practice. The main items are:
Problem Generating JVM Bytecode (#415). This related to compiling . . . → Read More: Whiley v0.3.28 Released!
The next release of Whiley is upon us. This includes a large number of bug fixes, and a significant rewrite of the verifier. Unfortunately, the verifier is not yet verifying many more examples, but it’s now placed to do so. Specifically, the main highlights are:
Better Support for Contractive Types. Contractive types are those . . . → Read More: Whiley v0.3.27 Released!
It’s about time for another release of Whiley. This represents some interesting developments, though I continue to struggle with debugging and improving verification. The main highlights for this release are:
Improved wyal file parser. This is responsible for parsing wyal files and feeding them into the code generator. Previously, the parser was very simplistic, . . . → Read More: Whiley v0.3.26 Released!
Time for another release of the Whiley compiler. This is relatively low key, though includes the first steps towards an improved bytecode API (see #190). There are also a range of bug fixes for various minor issues:
Refactoring wyil.lang.Code and wyil.lang.CodeBlock. In order to support proper nested bytecode blocks, I am refactoring the WyIL . . . → Read More: Whiley v0.3.25 Released!
Well, it’s time for yet another release of the Whiley compiler. This one is fairly low key, focusing primarily on bug fixes. Specifically, these issues have been resolved:
#346 — Temporary Fix for Unsuported Bytecodes in the Verifier. #341 — Temporary Fix for Verifying Method Types. #338 — Fix for handling record constants in . . . → Read More: Whiley v0.3.24 Released!
Another update to the Whiley compiler has just been released. This is a fairly small update, consisting primarily of bug fixes. The only significant change was:
Type checker now respects a variable’s declared type. Previously, the declared type was ignored as discussed here.
As usual, you can get the latest files below. Furthermore, you . . . → Read More: Whiley v0.3.23 Released!
The next release of Whiley is now available. This implements some significant changes to the language syntax, as discussed in this post and this post. Although the migration towards this new syntax is not fully complete, it is largely working well. Specifically, the main changes in this release are:
Draft Language Specification. Perhaps one . . . → Read More: Whiley v0.3.22 Released!
Well, this release is about 2 months overdue, but it embodies a lot of work. The main changes are:
Bug fixes. I’ve closed around 36 issues, many of which were intricate little bugs. Improved the verifier. Perhaps what has taken most time is the considerable amount of work I’ve into improving the verifier. This . . . → Read More: Whiley v0.3.20 Released!