From 5fe404b095b885edc5ba02fca6ff8b15cbca5510 Mon Sep 17 00:00:00 2001 From: Jan-Hendrik Matthes Date: Mon, 11 Mar 2024 21:55:16 +0100 Subject: [PATCH] Update version range in the Coq badge --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4d35659..1c3fc93 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ # Formalization of Typed Assembly Language (TAL) in Coq ![Build project](https://github.com/matthesjh/coq-tal/workflows/Build%20project/badge.svg) -[![Coq](https://img.shields.io/badge/coq-%3E%3D%208.7.2-brightgreen)](https://coq.inria.fr/) +[![Coq](https://img.shields.io/badge/coq-8.7.2%20%E2%80%93%208.18.0-brightgreen)](https://coq.inria.fr/) This repository contains an implementation of [Typed Assembly Language](https://www.cs.cornell.edu/talc/), more specifically the simplified version TAL-0, in Coq.