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