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/

  • Andrei Paskevich's avatar
    examples: reconstruct sessions · 0f9ded38
    Andrei Paskevich authored
    still problematic:
    
      tests-provers/div
      tests-provers/div_real
      check-builtin/int
      bts/fsetint
      logic/bitvectors
      logic/einstein
      logic/genealogy
      bitvectors/power2
      bellman_ford
      knuth_prime_numbers
      vstte12_combinators
      hoare_logic/blocking_semantics5
    
    known issues:
    - Timeout is not always recognized
    - why3 tactic does not work: ENOENT on connect()
    - temporary output files are created in the curdir
    - temporary output files are sometimes not erased
    - socket file is created in the curdir
    0f9ded38
why3session.xml 16.6 KB