Vijay Saraswat

Could you please add some open source license to the data set? e.g. Creative Commons. Thanks!

Support for breakable and break (Was: Missing dependencies for breakable, break)

4

Ok this one is a Sev 2 from my vantage point. Stainless does not support `return`. One way out -- when attempting to get existing (Scala) code to work with...

jar file dependencies need to be fixed

1

Followed the instructions in install.py. The downloaded graph-parser-data/lib did not have ejml-0.25.jar (but I found it in deplambda/lib). Also the jar file for `whatswrong` in lib is for a different...

Fails to build

3

## Bug Report ### Steps to Reproduce: 1. Clone the repo. 2. Edit the main pom.xml to remove `legend-pure-ide-light` -- this is my attempt to operationalize the comment in the...

Would much appreciate if you add copyright and an open source license to the code (e.g. Apache, or BSD or Eclipse). Also note that the code refers to files that...

Added .classpath, .project, preference settings to require Java 8.

Software license?

1

Chris -- can you add a license? Thanks!

Thank you! (for my purposes a commercially-friendly license, e.g. Apache / MIT / Berkeley would be awesome.)

This seems wrong in multiple places: ``` {'lf': {'comp': {'dobj': 'barks', 'pred': 'admired', 'subj': 'we'}, 'pred': 'thought', 'subj': ['they', 'dog']}, 'sentence': 'The dog they thought we admired barks .'} ```