diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-02-23 16:48:15 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-23 16:48:15 +0000 |
| commit | 33f0b3819e7891d42d7ba78c427a9199f6cfa14e (patch) | |
| tree | e313fa716acf5caf943dc3df450de40441d122f7 | |
| parent | 012bf55f450adcd68972ff7d504b91218dd12206 (diff) | |
| download | gitolite-admin-33f0b3819e7891d42d7ba78c427a9199f6cfa14e.tar.gz gitolite-admin-33f0b3819e7891d42d7ba78c427a9199f6cfa14e.zip | |
Add compcert repository
| -rw-r--r-- | conf/gitolite.conf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 754d031..d046267 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -4,6 +4,7 @@ @github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex @github-srht-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith +@github-srht-mirror = compcert @srht-mirror = hugo-ymherklotz yannherklotz.com @@ -67,6 +68,9 @@ repo emacs-zettelkasten repo verismith desc = Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. +repo compcert + desc = CompCert fork with minor modifications for Vericert. + repo leela desc = Ray tracer written in pure rust running on the CPU. |