diff options
-rw-r--r-- | conf/gitolite.conf | 21 |
1 files 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 @@ -36,6 +36,12 @@ repo @all repo private/..* C = ymherklotz RW+ = ymherklotz + R = @all + owner = Yann Herklotz + +repo papers/..* + C = ymherklotz + RW+ = ymherklotz owner = Yann Herklotz repo @compcertgsa @@ -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. |