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: Working through test cases. Correct invalid test case. Correct test cases. Finished verification test classification. Add Support for Verification with Multiple Returns. Merge branch 'feature/713-multiret' into develop. Updating to Latest WyTP API. Merge branch 'feature/wytp-namespace' into develop. Update to WyTP v0.5.7. Parser and VCGen for Deref expressions. for #744. Add support for translating deref operator #743. Merge branch 'feature/742-deref' into develop. for #745. Merge branch 'feature/745-lambda' into develop. Preparing next release version. Merge branch 'develop'.