From 90641be67d9c5f8196693d350c4a2cac050d9311 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 7 Oct 2021 14:07:46 +0100
Subject: Add latte paper

---
 conf/gitolite.conf | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index 9730d02..6cfe04c 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -139,3 +139,9 @@ repo papers/fpga20_fubfst
     R     = @all
     owner = Yann Herklotz
     desc  = Finding and understanding bugs in FPGA synthesis tools.
+
+repo papers/latte21_hlstpc
+    RW+   = ymherklotz
+    R     = @all
+    owner = Yann Herklotz
+    desc  = High-level synthesis tools should be proven correct.
-- 
cgit