PLDI16 AEC submission

Download the Artifact

Our VM image is here: https://www.dropbox.com/sh/lwe47njhcwy5f5w/AAA0ZrQvBbz5yTb_UR-19qBwa?dl=0

Run

Basic Usage

stack exec -- rsc /path/to/file.ts

Regression testing

stack test refscript

For each of the 571 regression tests, this should output a line looking like 'obj-07.ts: OK (0.65s)'. It should take ~8 minutes.

PLDI16 Benchmarks

cd tests/pos/pldi16
python regrtest.py

For each of the 26 files in the benchmark suite, this should output a line looking like 'SUCCESS! d3/entries.ts 1.608330 seconds'. It should take ~10-15 minutes; the vast majority of that time it will appear to be doing nothing as it handles our most expensive test, 'navier-stokes-typed-octane.ts'.