From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9079fcba2f29f945 X-Google-Attributes: gid103376,public From: tojst1+@pitt.edu (Tore Joergensen) Subject: Re: Ada Validation Date: 1996/03/28 Message-ID: <4je8bh$393@usenet.srv.cis.pitt.edu>#1/1 X-Deja-AN: 144675387 references: <00001a73+00002c38@msn.com> <4jcpss$s2u@usenet.srv.cis.pitt.edu> organization: University of Pittsburgh newsgroups: comp.lang.ada Date: 1996-03-28T00:00:00+00:00 List-Id: Robert Dewar (dewar@cs.nyu.edu) wrote: : Tore, you have not understood these "recent postings", indeed I have : no idea what you are talking about. GNAT may be free, but of course : serious use of GNAT with support is not free, and users who rquire : validation are typically not casual hobbyists (who tpically do not : care about validation). I agree :-) BTW, when I tried to find the posting I thought I had seen (about 20K), I wasn't able to find it, so I was probably mixing together something... I'm sorry about that (Well, I'm not sorry that it doesn't cost $20K :-). : Ada Core Technologies is planning on validating on all major targets. : We decided not to do any further validations under 2.0, and we are : now working on 2.0.1 validation. : Out validation schedule is not determined, and will be decided on the : basis of commercial considerations and requirements. : Note that the 3.04 that you pull off by anonymous FTP is not technically : validated, althugh it may be from the same code base as the validated : compiler. To have a compiler that meets formal validation requirements, : you must have a contract with one of the certificate holders, i.e. : from SGI or from Ada Core Technlogies. At least I got some information I didn't know :-) -- +-------------------------+-------------------------------------------+ | Tore B. Joergensen | e-mail : tore@lis.pitt.edu | | Centre Court Villa | web : http://www.pitt.edu/~tojst1 | | 5535 Centre Avenue # 6 | | | Pgh, PA 15232, USA | Norwegian MSIS-student at Univ. of Pgh. | +-------------------------+-------------------------------------------+