Machine integers and range types
Now that range types are available, we should investigate moving away types such as int31
from abstract types. We should also see whether it helps expressing for
loops on machine integers (hopefully yes).
La mise à jour du service Gitlab est terminée. Merci aux collègues du service de production de la DSI qui ont réalisé cette opération qui outre les aspects évolution du logiciel nous a permis de faire le nécessaire face à des failles de sécurité.
Les principales releases notes concernant cette montée de version sont disponibles ici :
https://about.gitlab.com/releases/2023/01/22/gitlab-15-8-released/
https://about.gitlab.com/releases/2022/12/22/gitlab-15-7-released/
https://about.gitlab.com/releases/2022/11/22/gitlab-15-6-released/
Now that range types are available, we should investigate moving away types such as int31
from abstract types. We should also see whether it helps expressing for
loops on machine integers (hopefully yes).