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,e512734808cc6a49
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: [Q] GNAT Success stories?
Date: 1997/04/24
Message-ID: <dewar.861884322@merv>#1/1
X-Deja-AN: 237054957
References: <5jj7p6$bj2@hacgate2.hac.com>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-04-24T00:00:00+00:00
List-Id: <comp.lang.ada>


Dave Wright says

<<Has anyone successfully used gnat on a medium (+60K lines) project?>>

Most of our customers are using GNAT on much larger projects, up to
millions of lines, but there are certainly success stories on smaller
projects as well. We will be publishing a series of GNAT success stories
in the near future.

Meanwhile you might check out the information on the Airfields project,
I believe that there is information on this at the Ada IC. This was the
first deployed Ada 95 project in the DoD, and it used GNAT (this was
deployed about two years ago if my memory is correct).

Robert Dewar
Ada Core Technologies