Skip to content

GitLab

Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. 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. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Closed
Created by Guillaume Melquiond@melquionOwner

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).

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information