Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Is there a list of validated Ada compilers?

April 26, 2017ADA compilers list validated

0

Posted

Is there a list of validated Ada compilers?

2 Answers

0

Posted

Yes, indeed, there is. The latest list can be retrieved by anonymous FTP. For Ada 83, it is in ftp://sw-eng.falls-church.va.us/public/AdaIC/compilers/83val/83vcl.txt (if the list is updated during the month, the previous one is replaced). And there is also a (non-empty!) list of validated Ada 95 compilers at ftp://sw-eng.falls-church.va.us/public/AdaIC/compilers/95val/95vcl.

0

Posted

Yes, indeed, there is. The latest list can be retrieved by anonymous FTP. For Ada 83, it is in ftp://sw-eng.falls-church.va.us/public/AdaIC/compilers/83val/83vcl.txt (if the list is updated during the month, the previous one is replaced).