Differences

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

--- research:software:grev [2026/04/25 20:44] – jromero
+++ research:software:grev [2026/04/25 20:57] (current) – jromero
@@ Line 1: / Line 1: @@
 ====== GrEv: Compiling Gradual Types with Evidence ======
-This page provides the necessary source code and
-===== Source code=====
+This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments.
-{{ :research:software:grev:grev.zip |}}
+======= Artifact ========
+{{ :research:software:grev:artifact.zip |}}
-===== Experiments =====
+The artifact contains:
-{{ :research:software:grev:grev-experiments.zip |}}
+  * ''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