Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Whiley/Whiley2JavaCompiler issues and pull requests

#23 - Optimise BigInteger constants.

Issue - State: open - Opened by DavePearce over 7 years ago

#22 - Problem with multi-assignments

Issue - State: open - Opened by DavePearce over 7 years ago

#21 - Optimising Quantifier Evaluation

Issue - State: open - Opened by DavePearce over 7 years ago

#20 - Target Type Propagation

Issue - State: open - Opened by DavePearce over 7 years ago

#19 - Implementing Structural Types on the JVM

Issue - State: open - Opened by DavePearce over 7 years ago - 2 comments
Labels: Optimisation

#18 - Runtime Type Tests

Issue - State: open - Opened by DavePearce over 7 years ago

#17 - Missing Casts

Issue - State: closed - Opened by DavePearce over 7 years ago

#16 - Static Variables

Issue - State: closed - Opened by DavePearce over 7 years ago

#15 - Access After Clone

Issue - State: open - Opened by DavePearce over 7 years ago

#14 - Cloning LVals

Issue - State: closed - Opened by DavePearce over 7 years ago

#13 - Translating Lambdas

Issue - State: open - Opened by DavePearce over 7 years ago

#12 - Overloaded Union Constructors

Issue - State: open - Opened by DavePearce over 7 years ago

#11 - Develop Java Source Translator

Issue - State: open - Opened by DavePearce about 8 years ago

#10 - Mapping Whiley to Java

Issue - State: open - Opened by DavePearce about 8 years ago

#9 - Problem Invoking Main

Issue - State: closed - Opened by DavePearce about 8 years ago

#8 - Type Tests for Negation Types

Issue - State: open - Opened by DavePearce over 8 years ago
Labels: Feature

#7 - Bug with Return Type

Issue - State: closed - Opened by DavePearce over 8 years ago
Labels: Bug

#6 - Problem with Non-Contractive Type

Issue - State: closed - Opened by DavePearce over 8 years ago - 1 comment
Labels: Feature

#5 - Problem with Typing String Constants

Issue - State: open - Opened by DavePearce over 8 years ago - 2 comments
Labels: Bug

#4 - JVM Verification Failure after Type Test

Issue - State: closed - Opened by DavePearce over 8 years ago - 3 comments
Labels: Bug

#3 - Mechanism for Generating Name Mangles

Issue - State: open - Opened by DavePearce over 8 years ago - 1 comment

#2 - Challenges for JVM Backend

Issue - State: closed - Opened by DavePearce over 8 years ago
Labels: Thoughts

#1 - Efficient JVM Representation

Issue - State: closed - Opened by DavePearce over 8 years ago