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: 109fba,f23beed6d550d20d
X-Google-Thread: 103376,aaee47ff04b98ae5
X-Google-Attributes: gid109fba,gid103376,public
X-Google-ArrivalTime: 2004-04-26 04:10:38 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!adsl-213-200-246-247.cybernet.CH!not-for-mail
From: Vinzent 'Gadget' Hoefler <nntp-2004-04@t-domaingrabbing.de>
Newsgroups: comp.lang.c++,comp.lang.ada
Subject: Re: "Ravenscar-like" profile for C/C++
Date: Mon, 26 Apr 2004 13:08:53 +0200
Organization: JeLlyFish software
Message-ID: <rcrp80pj2cmirudlfllkmja5tedecp88bl@jellix.jlfencey.com>
References: <c6gdub$j92$1@news-reader4.wanadoo.fr>
 <c6gked$1ha4$1@ulysses.noc.ntua.gr>
 <ev7o80lpud3gfmicusomjs5std2a0dimga@4ax.com>
 <c6hnpg$tio$1@ulysses.noc.ntua.gr>
 <1082964421.KuB1viW3U1@linux1.krischik.com>
 <fcaee77e.0404260306.64acbe9@posting.google.com>
NNTP-Posting-Host: adsl-213-200-246-247.cybernet.ch (213.200.246.247)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de 1082977836 13290895 I 213.200.246.247 ([175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.c++:31692 comp.lang.ada:7505
Date: 2004-04-26T13:08:53+02:00
List-Id: <comp.lang.ada>

Michiel Salters wrote:

> Certainly, in C++ it is easy to
>create a verifiable subset.

Not quite true. Or maybe the FIASCO project just did not find it yet?


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.