Issues

• Optimise BigInteger constants.

  Whiley/Whiley2JavaCompiler#23 · Filter by author DavePearce opened on Sep 28, 2017

• Problem with multi-assignments

  Whiley/Whiley2JavaCompiler#22 · Filter by author DavePearce opened on Sep 28, 2017

• Optimising Quantifier Evaluation

  Whiley/Whiley2JavaCompiler#21 · Filter by author DavePearce opened on Sep 27, 2017

• Target Type Propagation

  Whiley/Whiley2JavaCompiler#20 · Filter by author DavePearce opened on Sep 27, 2017

• Implementing Structural Types on the JVM

  Optimisation
  Whiley/Whiley2JavaCompiler#19 · Filter by author DavePearce opened on Sep 26, 2017
  2

• Runtime Type Tests

  Whiley/Whiley2JavaCompiler#18 · Filter by author DavePearce opened on Sep 25, 2017

• Access After Clone

  Whiley/Whiley2JavaCompiler#15 · Filter by author DavePearce opened on Sep 25, 2017

• Translating Lambdas

  Whiley/Whiley2JavaCompiler#13 · Filter by author DavePearce opened on Sep 25, 2017

• Overloaded Union Constructors

  Whiley/Whiley2JavaCompiler#12 · Filter by author DavePearce opened on Sep 25, 2017

• Develop Java Source Translator

  Whiley/Whiley2JavaCompiler#11 · Filter by author DavePearce opened on Jan 22, 2017

• Mapping Whiley to Java

  Whiley/Whiley2JavaCompiler#10 · Filter by author DavePearce opened on Jan 18, 2017

• Type Tests for Negation Types

  Feature
  Whiley/Whiley2JavaCompiler#8 · Filter by author DavePearce opened on Nov 5, 2016

• Problem with Typing String Constants

  Bug
  Whiley/Whiley2JavaCompiler#5 · Filter by author DavePearce opened on Nov 3, 2016
  2

• Mechanism for Generating Name Mangles

  Whiley/Whiley2JavaCompiler#3 · Filter by author DavePearce opened on Oct 25, 2016
  1