From 85d08c8d409826213d72af4145e26b7025c4ee92 Mon Sep 17 00:00:00 2001 From: Fischer Moseley Date: Sat, 4 Feb 2023 14:43:50 -0500 Subject: [PATCH] tweak formatting --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 4fbe6c3..c599f67 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ ![](assets/manta.png) +## Manta: An In-Situ Debugging Tool for Programmable Hardware + ![functional_simulation](https://github.com/fischermoseley/manta/actions/workflows/functional_simulation.yml/badge.svg) ![formal_verification](https://github.com/fischermoseley/manta/actions/workflows/formal_verification.yml/badge.svg) ![cross_platform_tests](https://github.com/fischermoseley/manta/actions/workflows/cross_platform_tests.yml/badge.svg)