Another big update to Whiley landed today, and includes a whole raft of changes. In particular, various algorithms in the automated theorem prover have been reworked to improve performance (though more still needs to be done here). A rough summary of the changes in this version is:
Performance Improvements for Automated Theorem Prover. In . . . → Read More: Whiley v0.3.37 Released!