diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 13:52:24 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 13:52:24 +0100 |
| commit | 53325b083abc12f947a4ef96672d1b12e7196d6c (patch) | |
| tree | 7dcb36b3090b9e72c9a2ff1d0cf720d6ecd0e221 | |
| parent | a29a1141eee1270801862061f0c766432428d7f9 (diff) | |
| download | gitolite-admin-53325b083abc12f947a4ef96672d1b12e7196d6c.tar.gz gitolite-admin-53325b083abc12f947a4ef96672d1b12e7196d6c.zip | |
Add descriptions to papers
| -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. |