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: Updating Travis config . for broken test case. #939. . for #939. . Merge branch 'feature/939-sigcheck' into develop. . for native methods #939. . Add missing output for invalid test. . Support Type.as() and Type.filter() #940. . Merge branch 'feature/940-underlying' into develop. . Add test case for #912. . Add test case for #912. . Merge branch 'feature/jmg4' into develop. . for JModelGen 0.4.0. . Remove Type.Any #942. . Merge branch 'feature/942-anytype' into develop. . Preparing next release. . Merge branch 'develop'.