Edits to make Venture implement the PLDI paper. Creating a PR instead of merging directly because I understand that that will cause travis to run the test suite.
I have tested locally with ./check.sh -c lite-crashes.cfg.
Note that this branch does not include lbfgs_optimize; which lives on a separate branch and will get merged in August.
Edits to make Venture implement the PLDI paper. Creating a PR instead of merging directly because I understand that that will cause travis to run the test suite.
I have tested locally with
./check.sh -c lite-crashes.cfg.Note that this branch does not include
lbfgs_optimize; which lives on a separate branch and will get merged in August.