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.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!bu.edu!inmet!ryer
From: ryer@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Re: Status of Diana?
Message-ID: <20600095@inmet>
Date: 29 Mar 91 21:02:00 GMT
References: <1559@<1991Mar25>
Nf-ID: #R:<1991Mar25:1559:inmet:20600095:000:576
Nf-From: inmet.inmet.com!ryer    Mar 29 16:02:00 1991
List-Id: <comp.lang.ada>


Intermetrics compilers use DIANA.  Our DIANA has some locally defined
extensions and representation tricks.

The interface is open.  We have provided it to other developers.

Currently, General Research Corp's "Ada Test and Verification System (ATVS)"
is the only commercially available product from another company that is based 
on our DIANA.  GRC has also developed an "Expert Avionics Code Modification"
system that uses our DIANA as a database.

Intermetrics uses DIANA as the IL for code generation, for our AdaView
symbolic debugger, and our Byron PDL tool.

Mike Ryer