MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 356cae5a authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

bresenham: updated proof session

parent 069f9ece
......@@ -12,7 +12,7 @@
<prover
id="2"
name="Coq"
version="8.4pl1"/>
version="8.3pl4"/>
<prover
id="3"
name="Z3"
......@@ -133,7 +133,7 @@
memlimit="1000"
obsolete="false"
archived="false">
<result status="valid" time="1.77"/>
<result status="valid" time="2.10"/>
</proof>
</goal>
<goal
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment