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: Move list of ignored tests into TestUtils . Update syntax for destructuring assignment #979. . Update binary format. . . Merge branch '/980-subtype' into develop. . More for tuples. . Add TupleInitialiser.toString(). . Support for statements #982. . Merge branch 'feature/982-foreach' into develop. . Minor adjustements to FlowTypeCheck. . for #912. . Merge branch '/912-template' into develop. . for FlowTypeCheck. . Remove unknown reference #985. . Update for Reference Semantics #985. . Merge branch 'feature/RFC64' into develop. . Initial Design for New FlowTypeChecker. . Adds a bunch of test cases. . Backwards type inference works upto templates!. . Working on binding algorithm. . isSubtype now returns Constraints. . Implement constraints solving. . Merge branch 'feature/941-typeinf' into develop. . Updated Type Inference Algorithm. . Refactoring FlowTypeChecker. . Minor refactoring. . Merge branch 'feature/990-coercions' into develop. . Removed SubtypeOperator.LifetimeRelation #992. . Merge branch 'feature/992-lifetime' into develop. . Add test cases based on interview problem. . Beginning Strict Subtyping #998. . Add leastUpperBound/greatestLowerBound #998. . Support bounded existentials. . Working on forward type propagation. . Add Subtype Constraint Forms. . Change of tack. . Redesigned Push / Pull Mechanism. . Tidying up and documentation. . Merge branch 'feature/998-subtyping-s' into develop. . for valid verification tests. . Add test cases for #1004. . Preparing release version. . Merge branch 'develop'.