Articles

Whiley v0.5.3 Released!

And, finally, another release of Whiley is upon us after waiting! As usual, there are a range of known issues and limitations. But, the main improvements are:

Boogie Support.  Included within the distribution is a backend for verification using Boogie and Z3.  This significantly improves the verification capability with Whiley.

In addition, there have . . . → Read More: Whiley v0.5.3 Released!