Las bases de Superlog y Vera han sido donadas a Accellera.