Whiley is a programming language with refinement types, extended static checking and an indentation-based syntax. It compiles to Java bytecode and runs per JAR-runtime on any JVM, which in turn allows to reuse existing Java libraries. The SDK includes a compiler (wyjc), documentation, a plugin framework, disassembler, and an Eclipse plugin.
minor feature: for Pretty Printing. Implement DefiniteUnassignmentCheck. Initial implementation of final modifiers #823. Complete implementation of final modifier #823. Merge branch 'feature/823-final-modifier' into develop. for verification of switch #823. Merge branch '/825-switch' into develop. Preparing next release. Merge branch 'develop'.