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!