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: Restore build logging information . . Merge branch '/969-check2' into develop. . TestUtils. . . Merge branch '/972-templates' into develop. . . Merge branch '/971-fn' into develop. . Add test case for #973. . for #974. . Merge branch '/974-arrinf' into develop. . Support Build.Meter. . Merge branch '/968-perf' into develop. . Improved build metering. . . Add WyilFile.Type.Selector. . Implement Type.Selector generator. . Merge branch '/977-typerefine' into develop. . Remove Multiple Expressions #975. . Merge branch 'feature/975-tuples' into develop. . Support multiple variable declarations #979. . Merge branch 'feature/979-mvardecl' into develop. . Preparing next release. . Merge branch 'develop'.