6 ms·Very interesting contribution from Adacore to GCC.by numerosix 2y agoVery interesting contribution from Adacore to GCC.