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 2.08 KB
Newer Older
Andrei Paskevich's avatar
Andrei Paskevich committed
1
<?xml version="1.0" encoding="UTF-8"?>
MARCHE Claude's avatar
MARCHE Claude committed
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">
MARCHE Claude's avatar
MARCHE Claude committed
5
<prover id="0" name="Coq" version="8.6" timelimit="5" steplimit="0" memlimit="0"/>
6
<prover id="1" name="Alt-Ergo" version="1.30" timelimit="5" steplimit="0" memlimit="1000"/>
7
8
9
10
<prover id="2" name="Z3" version="4.3.2" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="3" name="CVC3" version="2.4.1" timelimit="5" steplimit="0" memlimit="0"/>
<prover id="6" name="Alt-Ergo" version="0.99.1" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="7" name="CVC4" version="1.4" timelimit="5" steplimit="0" memlimit="1000"/>
MARCHE Claude's avatar
MARCHE Claude committed
11
<file name="../sorted_list.why" expanded="true">
12
<theory name="Order" sum="d41d8cd98f00b204e9800998ecf8427e" expanded="true">
MARCHE Claude's avatar
MARCHE Claude committed
13
</theory>
14
<theory name="List" sum="d41d8cd98f00b204e9800998ecf8427e" expanded="true">
MARCHE Claude's avatar
MARCHE Claude committed
15
</theory>
16
<theory name="SortedList" sum="7f273ac6373797565d205e4fa9753174" expanded="true">
17
 <goal name="sorted_inf" expanded="true">
18
 <proof prover="2"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
19
 </goal>
20
 <goal name="sorted_mem" expanded="true">
MARCHE Claude's avatar
MARCHE Claude committed
21
 <proof prover="0" edited="sorted_list_SortedList_sorted_mem_1.v"><result status="valid" time="0.31"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
22
23
 </goal>
</theory>
24
25
26
27
28
29
30
31
32
33
<theory name="SortedIntList" sum="ce9bd728ce43e4241b415494dcf8a403" expanded="true">
 <goal name="SortedList.O.le_refl" expanded="true">
 <proof prover="1"><result status="valid" time="0.00" steps="1"/></proof>
 </goal>
 <goal name="SortedList.O.le_asym" expanded="true">
 <proof prover="1"><result status="valid" time="0.00" steps="3"/></proof>
 </goal>
 <goal name="SortedList.O.le_trans" expanded="true">
 <proof prover="1"><result status="valid" time="0.00" steps="3"/></proof>
 </goal>
34
 <goal name="sorted123" expanded="true">
35
 <proof prover="2"><result status="valid" time="0.00"/></proof>
36
 <proof prover="3"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
37
38
 <proof prover="6"><result status="valid" time="0.01" steps="14"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
MARCHE Claude's avatar
MARCHE Claude committed
39
40
41
 </goal>
</theory>
</file>
Andrei Paskevich's avatar
Andrei Paskevich committed
42
</why3session>