Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
research:software:grev [2026/04/25 20:18] – jromeroresearch:software:grev [2026/04/25 20:57] (current) – jromero
Line 1: Line 1:
 ====== GrEv: Compiling Gradual Types with Evidence ====== ====== GrEv: Compiling Gradual Types with Evidence ======
  
-Source code: 
  
-{{ :research:software:grev:grev.zip |}}+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