При обсуждении набор тестов соответствия для стандарта языка Ада 2005 в корректировках ошибок в тестах участвовала не только AdaCore. Был и другой участник, видимо, с прототипом компилятора нового стандарта. Теперь ясно, кто это: http://www.irvine.com/index.html