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: Add precondition to infinite loop when on function f. . Add invariant to sorted property. . Add specification for empty arrays in property sorted. . . . . . . . Add test case for #861. . Updated to WyCC feature/7-build. . Merge branch 'feature/7-build' into develop. . Merge branch 'develop'.