java-sketch icon indicating copy to clipboard operation
java-sketch copied to clipboard

a Java front-end for Sketch synthesis tool

Results 7 java-sketch issues
Sort by recently updated
recently updated
newest added

This broke with the switch to the new parser.

In which directory command line: { cd parser make } should be inserted?

Done in stages, to help make clear the nature of each change. I tested with: python -m test.test_mini python -m test.test_new_ast python -m test.test_java python -m test.test_java_precisely Then I did...

Hello I have followed the instructions you mention for running the jsketch scripts. I had an error when I executed the example you wrote and the test cases: For example,...

The problem is : ` AttributeError: 'MethodCallExpr' object has no attribute 'add_bang' . ` how can I solve it?

Bumps [com.cedarsoftware:json-io](https://github.com/jdereg/json-io) from 4.3.0 to 4.14.1. Changelog Sourced from com.cedarsoftware:json-io's changelog. 4.14.1 JDK 1.8 is target class file format. @​laurgarn JDK 11 is source file format. @​laurgarn Bug fix: EnumSet...

dependencies