Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

  • François Bobot's avatar
    prover identification: use shortcuts · 92165a83
    François Bobot authored
       shortcuts are defined in why3.conf. They are automatically
       generated using two mechanism:
       - a shortcut section in prover-detection-data.conf creates a shortcut
       for the first prover that match the regexp
    
       - the identifier used as family argument for the prover section in
       prover-detection-data.conf is used as shortcut for the prover. If
       different sections use the same argument the first one that match an
       existing prover is used for the shortcut.
    92165a83
bench 3.01 KB