Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

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

  • Sylvain Dailler's avatar
    Fix issue #79 · d8017e38
    Sylvain Dailler authored
    For first_order_matching, adding a bound_vars set to disallow substitution
    by terms containing bounded vars.
    d8017e38
reduction_engine.ml 37.8 KB