Articles

Whiley v0.3.20 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!