bayou

bayou copied to clipboard

@capergroup can this be trained to work with JavaScript? How can I train it?

sagar1garg

Insufficient description. It's too hard to understand. Where do you input and output? Where can I read the files on the Dom Drive Ramen -f? config.json is connected. But there's...

spae31

When I calling the target/batch_dom_driver-1.0-jar-with-dependencies.jar package, it prints out the first line of file.txt, and there's no movement left. But I can call the DOM driver module to generate sktech....

zhangxii

Update bayou system with latest model (10 July 2018, model 60-49). Model zip file already on release.bayou.com

carlosmonroy

Useful for debugging in a load balanced environment.

rmbarnett-rice

Concurrent python requests cause spurious failures. We need to serialize the synth requests to the python/tensorflow layer. We will interpose a queue at the appropriate point.

mfagan451

rmbarnett-rice

Multiple function/evidence crashes synthesize.sh

1

The following input to `synthesize.sh` import edu.rice.cs.caper.bayou.annotations.Evidence; public class TestIO1 { void read(String file) { Evidence.apicalls("readLine"); } void foo(String file) { Evidence.apicalls("readLine"); } } Produces the following output: $ ./synthesize.sh...

rmbarnett-rice

rmbarnett-rice

rmbarnett-rice