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: Remove Type.Intersection and Type.Difference . SemanticType FowardPropagation. . Moved more stuff into FlowTypeUtils. . Working on handling lifetime arguments. . Restored operand checking for equality operators. . Ripping out forward propagation. . Design for ReadWriteTypeExtractor. . Merge branch 'feature/844-syntype' into develop. . Add AbstractTypedVisitor and AmbiguousCoercionCheck. . Partial for ConcreteTypeExtractor. . Working on Type.Recursive. . Add Ref implementation. . for TypeSubtractor and Invalid Tests. . Updated dependency. . Merge branch 'feature/837-ambiguous' into develop. . Continuing work on ambiguous coercions. . Support coinduction to remove infinite loops. . Add support for expansion. . for AmbiguousCoercionCheck. . for type subtraction. . Merge branch 'feature/837-ambiguous' into develop. . Update test cases #854. . Support Binary and Hex Literals. . Merge branch 'feature/854-binlits' into develop. . Refactor to use BinaryRelation. . Add RecursiveTypeAnalysis. . Add WyllFile and accompanying compile task. . Add Wyll Interpreter. . Terminating this branch. . Merge branch 'feature/803-wyll' into develop. . Preparing next release. . Merge branch 'develop'.