Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

why3session.xml 1.01 KB
Newer Older
1
<?xml version="1.0" encoding="UTF-8"?>
2
<!DOCTYPE why3session SYSTEM "/home/marche/why3/share/why3session.dtd">
3
<why3session
MARCHE Claude's avatar
MARCHE Claude committed
4
 name="tests-provers/coq-interval/why3session.xml">
5 6 7
 <prover
  id="0"
  name="Coq"
MARCHE Claude's avatar
MARCHE Claude committed
8
  version="8.3pl4"/>
9 10 11 12 13 14
 <file
  name="../coq-interval.why"
  verified="true"
  expanded="true">
  <theory
   name="P"
MARCHE Claude's avatar
MARCHE Claude committed
15
   locfile="tests-provers/coq-interval/../coq-interval.why"
16 17 18 19 20
   loclnum="1" loccnumb="7" loccnume="8"
   verified="true"
   expanded="true">
   <goal
    name="pow_eps2_max_int"
MARCHE Claude's avatar
MARCHE Claude committed
21
    locfile="tests-provers/coq-interval/../coq-interval.why"
22
    loclnum="6" loccnumb="7" loccnume="23"
23
    sum="3fd19e0e890673ffabc6f59020e25d60"
24 25 26 27 28 29 30 31 32 33
    proved="true"
    expanded="true"
    shape="ainfix &lt;=apowerainfix +c1.0ainfix +c0x7.p-50c0x3.p-53c2147483647c2.0">
    <proof
     prover="0"
     timelimit="20"
     memlimit="1000"
     edited="coqmninterval_P_pow_eps2_max_int_1.v"
     obsolete="false"
     archived="false">
34
     <result status="valid" time="2.64"/>
35 36 37 38 39
    </proof>
   </goal>
  </theory>
 </file>
</why3session>