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 been a huge number of bug fixes to all aspects of the compiler, and things are starting to look quite promising!


As usual, you can download the latest updates from here:

Created on March 3, 2021. 167 Downloads, 4.0 MB.

1 comment to Whiley v0.5.3 Released!

Leave a Reply




You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>