Attention une mise à jour du service Gitlab va être effectuée le mardi 14 décembre entre 13h30 et 14h00. 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.

  • Sylvain Dailler's avatar
    Q313-019 Add parsing of hexadecimal for float values · 3f4947b3
    Sylvain Dailler authored
    Formerly we only parsed elements of float values as decimals when they can
    be hexadecimal.
    
    * src/driver/parse_smtv2_model_lexer.mll
    (float_num): Now takes hexadecimal number instead of decimal numbers.
    
    Change-Id: Ie3c4e3452c7cb68af8767d2859bfbb4bb90e607e
    3f4947b3
parse_smtv2_model_lexer.mll 3.97 KB