Re: Ada Validation

[tojst1+@pitt.edu (Tore Joergensen)]

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.   |
+-------------------------+-------------------------------------------+