diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:44:23 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:44:23 +0100 |
| commit | 3f74da14dee2769bb953cba858b5e9e4bd75476a (patch) | |
| tree | f631c8bbc9ad3bf360e7f47170bba92a7de926b9 | |
| parent | d2280f7e2c33dd971adca4ff86bbc42e7af02a2c (diff) | |
| download | gitolite-admin-3f74da14dee2769bb953cba858b5e9e4bd75476a.tar.gz gitolite-admin-3f74da14dee2769bb953cba858b5e9e4bd75476a.zip | |
Add papers directory
| -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. |