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:15:20 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:13:36 +0200
Organization: JeLlyFish software
Message-ID: <vjrp80lklkqklvd9gojfk3v676dmeagj2d@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>
 <rcrp80pj2cmirudlfllkmja5tedecp88bl@jellix.jlfencey.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 1082978119 13096579 I 213.200.246.247 ([175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.c++:31693 comp.lang.ada:7506
Date: 2004-04-26T13:13:36+02:00
List-Id: <comp.lang.ada>

Vinzent 'Gadget' Hoefler wrote:

>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?

Damn itchy fingers. Wanted to include the URL, too...
<URL:http://os.inf.tu-dresden.de/vfiasco/>

Still doesn't look too easy to me.


Vinzent.