Articles

Whiley v0.3.29 Released!

The next release of Whiley is now ready to be downloaded.  This includes a number of bug fixes, along with a change in the WyIL bytecode format.  The latter is ahead of further planned changes to improve the bytecode format and verification.  The list of changes is:

  • #423 — Bug fix related to parsing wycs files.
  • #421 — Added compiler switch to select external SMT solver (e.g. Z3) for use with verification.  This employs the SMT translator developed by Henry Wylde.
  • #419 — Improved error reporting for unexpected end-of-file errors during parsing
  • Various other bug fixes (see the list of closed issues for all)

There are more improvements in the pipeline, particularly related to implicit coercions (see #418).  As usual, you can get the latest files here:

wdk-src-v0.3.29
Created on September 1, 2014. 357 Downloads, 4.0 MB.
BSD License
wyjc-all-v0.3.29
Created on September 1, 2014. 518 Downloads, 2.5 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>