Comment Comment by Xylakant The joint venture with AdaCore is no longer, so yes, we're doing this seperately. parent Xylakant 3 years ago
