Well, this release is about 2 months overdue, but it embodies a lot of work. The main changes are:
- Bug fixes. I’ve closed around 36 issues, many of which were intricate little bugs.
- Improved the verifier. Perhaps what has taken most time is the considerable amount of work I’ve into improving the verifier. This is still ongoing, but certainly things are in a much better shape than before. This has included completely reworking and documenting the rewrite rules of the verifier itself; also, completely reworking the
WyRLrewrite system to: 1) generate more efficient code; 2) enable different heuristics for applying rewrites; 3) to perform some complexity analysis on rewrite rules to identify which should be prioritised. Supporting this, I’ve written a number of simple initial heuristics, and there is currently one clear winner. However, a lot more work is needed on this.
Going forward, my objective as before: improve the verifier to pass more tests.