From: Tucker Taft <stt@sofcheck.com>
Subject: Re: Ada 95 for an ARM-based bare board?
Date: Thu, 29 Aug 2002 12:03:51 -0400
Date: 2002-08-29T16:03:52+00:00 [thread overview]
Message-ID: <3D6E45E7.B3ABBDC2@sofcheck.com> (raw)
In-Reply-To: ajvqcs$1eh7ep$1@ID-77047.news.dfncis.de
Green Hills Software supports both Ada and ARM. You
should certainly check with them whether they currently
have an Ada offering certified for the ARM. Even if they
don't, they might be able to create something.
Start at: http://www.ghs.com
Note also that SofCheck, Inc. has a validated
Ada 95 compiler that uses optimized ANSI C as its
intermediate representation. This has been successfully
used for relatively quick ports to new architectures which
have a decent C compiler. If you are interested
in pursuing this, please contact us.
-Tucker Taft stt@sofcheck.com
President, SofCheck, Inc.
(SofCheck now owns and maintains the AdaMagic(tm) technology
developed by Intermetrics, Inc., aka AverStar, AverCom/Titan)
next prev parent reply other threads:[~2002-08-29 16:03 UTC|newest]
Thread overview: 115+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-08-16 8:48 Ada 95 for an ARM-based bare board? Dmitry A.Kazakov
2002-08-16 9:14 ` Steffen Huber
2002-08-16 11:22 ` Dmitry A.Kazakov
2002-08-17 15:55 ` Robert Dewar
2002-08-19 21:29 ` Dmitry A.Kazakov
2002-08-20 0:13 ` Robert Dewar
2002-08-20 21:21 ` Dmitry A.Kazakov
2002-08-20 12:07 ` Larry Kilgallen
2002-08-21 22:41 ` Dmitry A.Kazakov
2002-08-21 13:05 ` Ole-Hjalmar Kristensen
2002-08-21 13:07 ` Ole-Hjalmar Kristensen
2002-08-21 14:42 ` Larry Kilgallen
2002-08-21 19:32 ` Robert Dewar
2002-08-22 5:43 ` Richard Riehle
2002-08-22 6:30 ` tmoran
2002-08-22 17:30 ` Richard Riehle
2002-08-23 2:01 ` Robert C. Leif
2002-08-23 4:00 ` Richard Riehle
2002-08-23 20:36 ` Robert Dewar
2002-08-24 5:24 ` Robert C. Leif
2002-08-24 20:00 ` Excessive quoting and Outlook (was: Ada 95 for an ARM-based bare board?) Robert Dewar
2002-08-24 22:30 ` Larry Kilgallen
2002-08-24 21:57 ` mailers, quoting text etc. (was " Robert Dewar
2002-08-25 3:29 ` Larry Kilgallen
2002-08-27 18:12 ` Florian Weimer
2002-08-31 14:02 ` chris.danx
2002-08-31 13:58 ` chris.danx
2002-08-25 6:20 ` Ada 95 for an ARM-based bare board? tmoran
2002-08-26 1:56 ` Robert Dewar
2002-08-26 4:42 ` tmoran
2002-08-30 19:21 ` data on cla messages, was " tmoran
2002-08-31 12:21 ` Robert Dewar
2002-08-31 16:21 ` tmoran
2002-08-31 22:02 ` Robert Dewar
2002-08-23 3:14 ` Robert Dewar
2002-08-26 19:31 ` Florian Weimer
2002-08-22 22:49 ` tmoran
2002-08-23 14:52 ` Software Economics was " Robert C. Leif
2002-08-23 16:26 ` OT: " Warren W. Gay VE3WWG
2002-08-23 18:19 ` Preben Randhol
2002-08-24 3:33 ` Weston T. Pan
2002-08-24 5:11 ` Larry Kilgallen
2002-08-24 13:16 ` Bill Tate
2002-08-26 9:47 ` Georg Bauhaus
2002-08-26 12:16 ` Preben Randhol
2002-08-26 14:25 ` Marin D. Condic
2002-08-27 10:43 ` Preben Randhol
2002-08-27 19:10 ` Bill Tate
2002-08-27 22:23 ` Bill
2002-08-27 12:00 ` Dale Stanbrough
2002-08-27 13:04 ` Bill Tate
2002-08-24 0:11 ` Software Economics Robert C. Leif
2002-08-24 13:01 ` Robert Dewar
2002-08-23 17:55 ` Software Economics was RE: Ada 95 for an ARM-based bare board? Preben Randhol
2002-08-23 18:03 ` Darren New
2002-08-23 18:39 ` Preben Randhol
2002-08-23 19:15 ` Darren New
2002-08-26 14:14 ` Ted Dennison
2002-08-26 17:14 ` Darren New
2002-08-26 22:47 ` Ted Dennison
2002-08-26 17:31 ` Robert A Duff
2002-08-26 22:49 ` Ted Dennison
2002-08-24 1:58 ` Robert Dewar
2002-08-27 18:43 ` Florian Weimer
2002-08-27 18:52 ` tmoran
2002-08-29 13:36 ` Preben Randhol
2002-08-24 2:05 ` Robert Dewar
2002-08-24 7:28 ` tmoran
2002-08-24 21:53 ` Robert Dewar
2002-08-26 13:40 ` Ted Dennison
2002-08-22 23:11 ` Dmitry A.Kazakov
2002-08-22 6:50 ` Juha Valimaki
2002-08-22 13:49 ` Marin D. Condic
2002-08-23 9:29 ` Juha Valimaki
2002-08-24 2:19 ` Robert Dewar
2002-08-26 21:52 ` Randy Brukardt
2002-08-27 5:57 ` Juha Valimaki
2002-08-27 19:27 ` Michael Bode
2002-08-28 1:56 ` Robert Dewar
2002-08-28 12:59 ` Dale Stanbrough
2002-08-28 22:32 ` Georg Bauhaus
2002-08-24 2:24 ` Robert Dewar
2002-08-24 20:12 ` Michael Bode
2002-08-24 23:05 ` Darren New
2002-08-25 15:53 ` SteveD
2002-08-25 16:48 ` Michael Bode
2002-08-26 7:12 ` John R. Strohm
2002-08-21 19:30 ` Randy Brukardt
2002-08-22 8:19 ` Ole-Hjalmar Kristensen
2002-08-22 19:44 ` Randy Brukardt
2002-08-29 16:03 ` Tucker Taft [this message]
2002-08-29 21:36 ` Dale Stanbrough
2002-08-31 1:58 ` Dmitry A.Kazakov
2002-08-30 14:19 ` Robert A Duff
2002-08-30 17:14 ` Richard Riehle
2002-09-02 20:50 ` Dmitry A.Kazakov
2002-08-20 15:00 ` Darren New
2002-08-20 19:52 ` Florian Weimer
2002-08-20 20:50 ` Darren New
2002-08-20 18:29 ` Robert Dewar
2002-08-21 22:41 ` Dmitry A.Kazakov
2002-08-21 19:34 ` Robert Dewar
2002-08-22 22:25 ` Dmitry A.Kazakov
2002-08-21 19:40 ` Robert Dewar
2002-08-22 0:08 ` BSCrawford
2002-08-22 1:19 ` Larry Hazel
2002-08-22 1:45 ` SteveD
2002-08-22 3:23 ` tmoran
2002-08-22 10:28 ` Robert Dewar
2002-08-21 19:44 ` Robert Dewar
2002-08-22 22:50 ` Dmitry A.Kazakov
2002-08-20 18:32 ` Robert Dewar
2002-08-19 17:16 ` Richard Riehle
2002-08-20 20:40 ` Dmitry A.Kazakov
2002-08-20 15:45 ` Richard Riehle
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox