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,38fc011071df5a27 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-06-02 06:59:10 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!fu-berlin.de!uni-berlin.de!213.200.246.247!not-for-mail From: Vinzent Hoefler Newsgroups: comp.lang.ada Subject: Re: Ideas for Ada 200X Date: Mon, 02 Jun 2003 15:57:51 +0200 Organization: JeLlyFish software Message-ID: References: <6a90b886.0305262344.1d558079@posting.google.com> <3ED41344.7090105@spam.com> <3ED46D81.FF62C34F@0.0> <3ED46E07.4340CABC@0.0> <3ED4F3FD.A0EF7079@alfred-hilscher.de> NNTP-Posting-Host: 213.200.246.247 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: fu-berlin.de 1054562349 9575501 213.200.246.247 (16 [175126]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:38342 Date: 2003-06-02T15:57:51+02:00 List-Id: Bill Findlay wrote: >BTW The UK Beagle 2 Mars probe is sitting atop a Soyuz rocket at = Baikonur >waiting for a launch this evening. It is controlled by an open-source >(ERC32) computer What do you mean by that? Aren't you confusing that with the Leon2-processor from ? Or is the ERC32 based on that design? >programmed in Ada 95 using an open-source (GNAT) compiler. Ah, I guess, you mean that: Neat. >Let's wish it luck, and hope it suffers no unbounded priority inversions= (or >Constraint_Errors 8-) ! Well, good luck then. Vinzent. --=20 Parents strongly cautioned -- this posting is intended for mature audiences over 18. It may contain some material that many parents would not find suitable for children and may include intense violence, sexual situations, coarse language and suggestive dialogue.