pldi2019-gen-experiments/example at master · probcomp/pldi2019-gen-experiments · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
data.pdf		data.pdf
example-data-prog1.csv		example-data-prog1.csv
example-data-prog2.csv		example-data-prog2.csv
example-data-prog3.csv		example-data-prog3.csv
final_line.pdf		final_line.pdf
final_points.pdf		final_points.pdf
generate_results.jl		generate_results.jl
make_plots.jl		make_plots.jl
scores.pdf		scores.pdf

README.md

To run experimnet:

JULIA_PROJECT=.. julia generate_results.jl

This will produce three CSV files.

To generate plots:

JULIA_PROJECT=.. julia make_plots.jl