-
Jean-Christophe Filliâtre authoredside-effect: function syntax in driver now accepts %v0, %v1, etc. for type variable instantiations (order is given by variable name)
c81517a0
Attention une mise à jour du service Gitlab va être effectuée le mardi 04 octobre 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.
side-effect: function syntax in driver now accepts %v0, %v1, etc. for type variable instantiations (order is given by variable name)