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: Detect Non-Export/Public Tests . for #1006. . Add interesting test case for objects. . . Merge branch '/forloop-1010' into develop. . . Remove lifetime syntax. . Compiler compiles again!. . tests for lifetimes. . Merge branch 'feature/1014-lifetimes' into develop. . Preparing next release version. . Merge branch 'develop'.