Nous avons procédé ce jeudi matin 08 avril 2021 à une MAJ de sécurité urgente. Nous sommes passé de la version 13.9.3 à la version 13.9.5 les releases notes correspondantes sont ici:
https://about.gitlab.com/releases/2021/03/17/security-release-gitlab-13-9-4-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/

  • Sylvain Dailler's avatar
    Add %t/%m for timelimit/memlimit in strategy definitions · bf3b9624
    Sylvain Dailler authored
    This allows a strategy to call provers with the default timelimit/memlimit
    parameter.
    Example: "c CVC4,1.5 %t %m"
    
    Remove set_session_timelimit/memlimit from server_utils: put them in
    controller_itp so that they directly edit the configuration of the
    controller.
    Edit parser of strategies to allow %t and %m.
    bf3b9624
strategy.ml 1.03 KB