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/

why3session.xml 984 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1
<?xml version="1.0" encoding="UTF-8"?>
2
3
<!DOCTYPE why3session PUBLIC "-//Why3//proof session v5//EN"
"http://why3.lri.fr/why3session.dtd">
Andrei Paskevich's avatar
Andrei Paskevich committed
4
<why3session shape_version="4">
5
<prover id="1" name="Alt-Ergo" version="0.99.1" timelimit="5" steplimit="0" memlimit="1000"/>
Andrei Paskevich's avatar
Andrei Paskevich committed
6
<file name="../ns_clone.why" expanded="true">
7
<theory name="Sig" sum="d41d8cd98f00b204e9800998ecf8427e">
MARCHE Claude's avatar
MARCHE Claude committed
8
</theory>
9
<theory name="Struct" sum="cbf570a03a30b3c63542974d17fdfab0" expanded="true">
Andrei Paskevich's avatar
Andrei Paskevich committed
10
 <goal name="Sig.AddMem" expanded="true">
11
 <proof prover="1"><result status="valid" time="0.01" steps="7"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
12
13
 </goal>
</theory>
14
<theory name="Shared" sum="d41d8cd98f00b204e9800998ecf8427e">
MARCHE Claude's avatar
MARCHE Claude committed
15
</theory>
16
<theory name="AbstractUser" sum="d41d8cd98f00b204e9800998ecf8427e">
MARCHE Claude's avatar
MARCHE Claude committed
17
</theory>
18
<theory name="ConcreteUser" sum="b6317bbd033d14844a7e4e39cac2f612" expanded="true">
Andrei Paskevich's avatar
Andrei Paskevich committed
19
 <goal name="Sig.AddMem" expanded="true">
20
 <proof prover="1"><result status="valid" time="0.01" steps="4"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
21
22
23
 </goal>
</theory>
</file>
MARCHE Claude's avatar
MARCHE Claude committed
24
</why3session>