Well, finally, after a lot of effort I have a new release of the Whiley Development Kit. To get it, follow the download links on the left.
The major difference over the previous version is that the theorem prover has been almost completely rewritten. So, while on the surface it might not appear much . . . → Read More: Whiley v0.2.7 Released!