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.

  • MARCHE Claude's avatar
    Yet another attempt to fix unstability of prover answers · 32c8a24c
    MARCHE Claude authored
    - Call_provers.parse_prover_run does not attempt fixing answer anymore,
      except in the case where the answer is HighFailure and time is close
      to time limit (which is considered as Timeout)
    
    - Session_scheduler.fuzzy_proof_time is now more liberal, accepts
      that two answers Unknown or Timeout of OutOfMemory with less than
      10% difference in time are equivalent, and thus should not be
      reported as a significant change
    32c8a24c
why3session.xml 32.7 KB