Articles

Whiley v0.3.21 Released!

This is a slightly quicker release than usual, with only a few relatively minor fixes and refactorings, etc:

Factored JVM Bytecode library into a separate project, called Jasm Various bug fixes mostly related to verification.  See here for the complete list.

I’ve also been working quite a lot on the Eclipse plugin, and will . . . → Read More: Whiley v0.3.21 Released!