Differences

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

--- research:software:grev [2026/04/25 20:25] – jromero
+++ research:software:grev [2026/04/25 20:57] (current) – jromero
@@ Line 1: / Line 1: @@
 ====== 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 ========
-===== Experiments =====
+{{ :research:software:grev:artifact.zip |}}
-{{ :research:software:grev:grev-experiments.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