In article , Jean-Pierre Rosen wrote: >Jerry Coffin a �crit : >> Let's address the Ada side first. Official Ada validation was done >> under the auspices of NIST, who delegated this task to the Ada Joint >> Program Office. The AJPO ceased to exist years ago, and the job was >> never turned over to anybody else when that happened. Meanwhile, NIST >> has discontinued _all_ of its compiler validation programs, not just >> the Ada program. Currently, both the ISO standard at a number of FIPS >> pubs _require_ Ada compilers to be officially validated, but at least >> in the US, there is absolutely NO agency to do that. >> >I can assure you that there is still one official ACAL (laboratory for >performing validation): Adalog, that's my company! > >OK, it's not in the US. So what? Ada is an international standard. Other posts seems to disagree. Please clarify for us. Also include how and why your company is the _official_ lab. (I'm not challenging you, but seems to me a mixed message is coming through this thread.) -- Greg Comeau / Comeau for the Mac? Stay tuned. Comeau C/C++ ONLINE ==> http://www.comeaucomputing.com/tryitout World Class Compilers: Breathtaking C++, Amazing C99, Fabulous C90. Comeau C/C++ with Dinkumware's Libraries... Have you tried it?