Add a link back to the main repo

rems-project · Jun 10, 2020 · cf88ca9 · cf88ca9
1 parent 03065b5
commit cf88ca9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # isla-snapshots
 
-Compiled Sail ISA snapshots for the Isla symbolic execution tool
+Compiled Sail ISA snapshots for the [Isla](https://github.com/rems-project/isla) symbolic execution tool
 
 # Licensing