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: Updated to latest WyTP. Add support for printing proofs. Added test ignores for WyTP#124. eliminate use of "this" identifier in WyAL. for local names in WyalFiles. Change JDK used by Travis. Add ability to generate counterexamples. Updated WyTP dependency. Preparing next release version. Merge branch 'develop'.