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!