diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-04-02 14:12:21 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-04-02 14:12:24 +0100 |
commit | e57c1968ec6dddeb95f815515fd501f4a25d6901 (patch) | |
tree | 63893228e2cd02ae5d3213853d7e7382527dc2d3 | |
parent | 9fc641a7b2e629021e0840fe272a5b51c41435b6 (diff) | |
download | vericert-e57c1968ec6dddeb95f815515fd501f4a25d6901.tar.gz vericert-e57c1968ec6dddeb95f815515fd501f4a25d6901.zip |
Add logo to readme
-rw-r--r-- | README.org | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -1,9 +1,6 @@ -* Vericert - :PROPERTIES: -:CUSTOM_ID: vericert -:END: -#+html: <a href="https://github.com/ymherklotz/vericert/actions"><img src="https://github.com/ymherklotz/vericert/workflows/CI/badge.svg" /></a> -#+html: <a href="https://vericert.ymhg.org/"><img src="https://github.com/ymherklotz/vericert-docs/workflows/docs/badge.svg" /></a> +#+html: <a href="https://vericert.ymhg.org"><img src="https://vericert.ymhg.org/vericert-main.svg" width="100%" height="144" /></a> + +#+html: <p align=center><a href="https://github.com/ymherklotz/vericert/actions"><img src="https://github.com/ymherklotz/vericert/workflows/CI/badge.svg" /></a> <a href="https://vericert.ymhg.org/"><img src="https://github.com/ymherklotz/vericert-docs/workflows/docs/badge.svg" /></a></p> A formally verified high-level synthesis (HLS) tool written in Coq, building on top of [[https://github.com/AbsInt/CompCert][CompCert]]. |