Whiley v0.3.18 Released!

The next version of Whiley is upon us!  This consists of mostly lightweight improvements over v0.3.17 and various bug fixes (see issues for more).  I have now been attempting to verify some of the microbenchmarks in Wybench, with some useful progress being made (although it is flushing out a lot of issues).


  • Lots of improvements to the verifier, both in the generation of verification conditions and the theorem prover itself.
  • Added support for <code>all { … | … }</code> quantifiers.
  • Fixed some issues related to negated integers appearing in constant definitions.
  • Lots of other miscellaneous bugs fixed.

Future Work

Work for the next release will focus on improving the verifier and, in particular, getting as many of the micro benchmarks to verify as possible.


Created on January 10, 2013. 462 Downloads, 3.4 MB.
BSD License
Created on January 10, 2013. 597 Downloads, 1.9 MB.
BSD License

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>