From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 3 Aug 2021 11:10:25 +0000 (+0100)
Subject: add mini-sail link
X-Git-Tag: DRAFT_SVP64_0_1~518
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e0377505d6c7ed85dbf697de8bed300bd1d6e763;p=libreriscv.git

add mini-sail link
---

diff --git a/resources.mdwn b/resources.mdwn
index 5f854ceb0..fd45dfd0d 100644
--- a/resources.mdwn
+++ b/resources.mdwn
@@ -282,6 +282,8 @@ thousands or millions of silicon.
 * Possible way to speed up our solvers for our formal proofs <https://web.archive.org/web/20201029205507/https://github.com/eth-sri/fastsmt>
 
 * Algorithms (papers) submitted for 2018 International SAT Competition <https://web.archive.org/web/20201029205239/https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf> <https://web.archive.org/web/20201029205637/http://www.satcompetition.org/>
+* Minisail <https://www.isa-afp.org/entries/MiniSail.html> - compiler
+  for SAIL into c
 
 Some learning resources I found in the community: