diff options
Diffstat (limited to 'conf/gitolite.conf')
| -rw-r--r-- | conf/gitolite.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 57bff9e..9730d02 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -126,13 +126,16 @@ 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. |