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: Update verification error messages. . Updating VerificationConditionGenerator. . Adding support for enabling verification. . Support verify build flag. . for VerificationConditionGenerator. . Update for logging support. . Add test cases for recursive properties. . Add recurive property example. . Add support for counterexample generation. . Implement counterexample attribute. . Merge branch 'feature/881-counterexample' into develop. . Minor for test cases. . Updates to invalid test cases. . Preparing next release version. . Merge branch 'develop'.