====== GrEv: Compiling Gradual Types with Evidence ======


This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments.

======= Artifact ========

{{ :research:software:grev:artifact.zip |}}

The artifact contains:

  * ''instructions.md'': instructions for running GrEv and replicating the experiments
  * ''GrEv/'': GrEv source code and Dockerfile
  * ''grev-experiments/'': benchmarks and scripts for running the experiments