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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8227b7940e2fe2bb X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-11-23 10:03:22 PST Newsgroups: comp.lang.ada Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!uunet!sea.uu.net!sac.uu.net!ash.uu.net!world!news From: Robert A Duff Subject: Re: GNAT Programming System availability ? User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Sender: news@world.std.com (Mr Usenet Himself) Message-ID: Date: Sat, 23 Nov 2002 18:02:48 GMT Content-Type: text/plain; charset=us-ascii References: <3ddb4171$0$298$bed64819@news.gradwell.net> <3DDFBD5C.8D56AC10@adaworks.com> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Organization: The World Public Access UNIX, Brookline, MA Xref: archiver1.google.com comp.lang.ada:31184 Date: 2002-11-23T18:02:48+00:00 List-Id: Richard Riehle writes: > How can one get more information about SofCheck? What does > SofCheck do? Are they in the Ada business? Hi, Richard. SofCheck, Inc. is a new company owned by Tucker Taft, Mireille Gart, Sheri Bernstein, and me, all former employees of AverCom (which was previously AverStar, which was previously Intermetrics). Yes, we are in the Ada business. We sell and support the AdaMagic compiler technology, formerly owned by AverCom. This includes an Ada-to-C translator, which can be used as an Ada compiler on any target that has a C compiler. AdaMagic also supports compilers targeted directly to machine code for various machines. SofCheck is also in the business of static analysis tools for various languages, including Ada. For more information, contact Tucker Taft, President of SofCheck (stt@sofcheck.com). - Bob