Articles

  • No categories

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).

ChangeLog

  • 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.

Downloads

wdk-src-v0.3.18
Created on January 10, 2013. 436 Downloads, 3.4 MB.
BSD License
wyjc-all-v0.3.18
Created on January 10, 2013. 536 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>