Articles

Whiley v0.3.37 Released!

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!