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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Google-Thread: 103376,f822ae7b0f7433c1
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news4.google.com!news.glorb.com!proxad.net!cleanfeed2-a.proxad.net!nnrp19-2.free.fr!not-for-mail
Return-Path: <aek@VB1162.spb.edu>
To: comp.lang.ada@ada-france.org
References: <zkPrh.356180$1i1.101306@attbi_s72>
In-Reply-To: <zkPrh.356180$1i1.101306@attbi_s72>;
	from Jeffrey Carter at Thu, 18 Jan 2007 18:51:11 GMT
Organization: 100
From: "Alexander E. Kopilovich" <aek@VB1162.spb.edu>
Date: Fri, 19 Jan 2007 05:21:33 +0300 (MSK)
X-Mailer: Mail/@ [v2.45 MSDOS]
Subject: Re: Translating an embedded C algorithm
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Virus-Scanned: amavisd-new at ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.9rc1
Precedence: list
List-Id: "Gateway to the comp.lang.ada Usenet newsgroup"
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Newsgroups: comp.lang.ada
Message-ID: <mailman.30.1169173524.18371.comp.lang.ada@ada-france.org>
content-transfer-encoding: 7bit
X-Original-Content-Transfer-Encoding: 7bit
X-Leafnode-NNTP-Posting-Host: 88.191.17.134
NNTP-Posting-Date: 19 Jan 2007 03:30:03 MET
NNTP-Posting-Host: 88.191.14.223
X-Trace: 1169173803 news-4.free.fr 415 88.191.14.223:47848
X-Complaints-To: abuse@proxad.net
Xref: g2news2.google.com comp.lang.ada:8301
Date: 2007-01-19T03:30:03+01:00

Jeffrey Carter wrote:
>There is Ada for every microcontroller with an ANSI C compiler. See
>
>http://sofcheck.com/products/adamagic.html

Did you try this compiler at least once? Or, if not, do you know personally
at least one person (outside SofCheck, a dozen of their big customers listed
on their website, and, perhaps, ARG members and other Ada compiler vendors)
who actually tried it?

The existence of this compiler seems somehow virtual. Most probably SofCheck
has something of that kind - because they said so, and because they certainly
have a technology and tools for that. But from the other hand, they do not say
what exactly they can offer, whether it is immediately ready for use, and how
much it costs (not even dreaming about downloadable evaluation version).

So probably Sofcheck is really able to provide that Ada-to-C compiler for a
determined customer, who is willing to pay enough for that. But this is not
the case for absolute majority of embedded software developers.