From 3f74da14dee2769bb953cba858b5e9e4bd75476a Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 19 Apr 2022 11:44:23 +0100 Subject: Add papers directory --- conf/gitolite.conf | 21 +++++++++------------ 1 file changed, 9 insertions(+), 12 deletions(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index ff71d58..6f0fbcc 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -34,6 +34,12 @@ repo @all R = gitweb daemon repo private/..* + C = ymherklotz + RW+ = ymherklotz + R = @all + owner = Yann Herklotz + +repo papers/..* C = ymherklotz RW+ = ymherklotz owner = Yann Herklotz @@ -153,26 +159,17 @@ repo zzz/BinaryTree repo zzz/A-star-algorithm desc = an A-star algorithm implementation with a UI. +repo papers/fccm22_rsvhls + desc = Resource sharing for verified high-level synthesis. + repo papers/oopsla21_fvhls - RW+ = ymherklotz - R = @all - owner = Yann Herklotz desc = Formal verification of high-level synthesis. repo papers/fccm21_esrhls - RW+ = ymherklotz - R = @all - owner = Yann Herklotz desc = Empirical study of the reliability of high-level synthesis. repo papers/fpga20_fubfst - RW+ = ymherklotz - 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