X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=2020-frama-c%2F9200-alternatives.html;h=5969c22acccb9da98984798fb63b4e88ae692585;hb=358f880cc5c65bc6ef083ac1e5397e18ffd0fcce;hp=f594042ad315cead1862eb24a191878ba64ccaca;hpb=6d2dcd916aa3e435d1f8ce691127bd891fc3c69a;p=libguestfs-talks.git

diff --git a/2020-frama-c/9200-alternatives.html b/2020-frama-c/9200-alternatives.html
index f594042..5969c22 100644
--- a/2020-frama-c/9200-alternatives.html
+++ b/2020-frama-c/9200-alternatives.html
@@ -17,4 +17,6 @@
 
 <li> <a href="http://compcert.inria.fr/">CompCert</a>
   is INRIA's verified C compiler (not open source).
+
+<li> <a href="https://gitlab.mpi-sws.org/iris/refinedc">RefinedC</a>
 </ul>