diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 14:07:46 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 14:07:46 +0100 |
commit | 90641be67d9c5f8196693d350c4a2cac050d9311 (patch) | |
tree | cc95c9b65a1fdefa0e8cda6883d72c9c6a4a5729 | |
parent | 53325b083abc12f947a4ef96672d1b12e7196d6c (diff) | |
download | gitolite-admin-90641be67d9c5f8196693d350c4a2cac050d9311.tar.gz gitolite-admin-90641be67d9c5f8196693d350c4a2cac050d9311.zip |
Add latte paper
-rw-r--r-- | conf/gitolite.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 9730d02..6cfe04c 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -139,3 +139,9 @@ repo papers/fpga20_fubfst 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. |