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: Begun QuickCheck Command . QuickCheck: is generating primitive values. . Various to QuickCheck Interpreter. . Add rough ability for memoisation. . Merge branch 'feature/quickcheck' into develop. . Update QuickCheck for native methods. . Allow skipping methods in QuickCheck. . for type invariants. . for handling zero inputs. . Minor tweaks + identify irrelevant tests. . for undefinedness of input values #916. . for interpreter execution of properties #914. . for type generation and templates #913. . Merge branch 'feature/904-check' into develop. . Support logging intermediate type generation. . Update QuickCheck to support sampling. . Support command-line options in QuickCheck. . Tidying up QuickCheck.Context. . Improved output for QuickCheck. . Minor tweaks for testing quickcheck. . Add support to QuickCheck for sampling types. . Preparing next release version. . Merge branch 'develop'.