From 12998696922bc85e01e33901b14cb5834c0e5303 Mon Sep 17 00:00:00 2001 From: schillic Date: Thu, 29 Feb 2024 20:55:23 +0100 Subject: [PATCH] add badges to README --- README.md | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index b7bbfadc..519e4753 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,21 @@ # ReachabilityBenchmarks -This is a benchmark suite for reach set computations. It includes the [SLICOT](http://slicot.org/20-site/126-benchmark-examples-for-model-reduction) models, which reflect real world applications with dimensions ranging from several dozens to over 10.000. +| **Status** | **Community** | **License** | +|:----------:|:-------------:|:-----------:| +| [![CI][ci-img]][ci-url] [![codecov][cov-img]][cov-url] [![aqua][aqua-img]][aqua-url] | [![zulip][chat-img]][chat-url] | [![license][lic-img]][lic-url] | + +[ci-img]: https://github.com/JuliaReach/ReachabilityBenchmarks/workflows/CI/badge.svg +[ci-url]: https://github.com/JuliaReach/ReachabilityBenchmarks/actions/workflows/test-master.yml +[cov-img]: https://codecov.io/github/JuliaReach/ReachabilityBenchmarks/coverage.svg +[cov-url]: https://app.codecov.io/github/JuliaReach/ReachabilityBenchmarks +[aqua-img]: https://raw.githubusercontent.com/JuliaTesting/Aqua.jl/master/badge.svg +[aqua-url]: https://github.com/JuliaTesting/Aqua.jl +[chat-img]: https://img.shields.io/badge/zulip-join_chat-brightgreen.svg +[chat-url]: https://julialang.zulipchat.com/#narrow/stream/278609-juliareach +[lic-img]: https://img.shields.io/github/license/mashape/apistatus.svg +[lic-url]: https://github.com/JuliaReach/ReachabilityBenchmarks/blob/master/LICENSE + +This is a benchmark suite for reachability computations. It includes the [SLICOT](http://slicot.org/20-site/126-benchmark-examples-for-model-reduction) models, which reflect real world applications with dimensions ranging from several dozens to over 10.000. ## Installation