Differences

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

--- research:software:grev [2025/11/25 17:33] – created etanter
+++ research:software:grev [2026/04/25 20:57] (current) – jromero
@@ Line 1: / Line 1: @@
 ====== GrEv: Compiling Gradual Types with Evidence ======
-description
-github repo
+This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments.
-evaluation repo (submission)
+======= 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