From e76d47379c0653312deb076237271a7c308c60d1 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 17 Jul 2020 21:38:57 +0100 Subject: Change position of badge --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index e426ba4..db255a9 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,6 @@ -# VeriCert ![CI](https://github.com/ymherklotz/vericert/workflows/CI/badge.svg) +# VeriCert + +![CI](https://github.com/ymherklotz/vericert/workflows/CI/badge.svg) A formally verified HLS tool in Coq, building on top of [CompCert](https://github.com/AbsInt/CompCert). -- cgit