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:55] – 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 ======
 +
  
 This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments. This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments.
  
-====== Artifact ======+======= Artifact ========
  
 {{ :research:software:grev:artifact.zip |}} {{ :research:software:grev:artifact.zip |}}
  
-The archive contains: +The artifact contains:
- +
-  * ''instructions.md'' — instructions for running GrEv and replicating the experiments +
-  * ''GrEv/'' — compiler source code and Dockerfile +
-  * ''grev-experiments/'' — benchmark suite and experiment scripts+
  
 +  * ''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