From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.emacs.gnus.general/26140 Path: main.gmane.org!not-for-mail From: Samuel Tardieu Newsgroups: gmane.emacs.gnus.general Subject: [fr.comp.lang.ada] Re: GNAT 3.12p pour Linux et Sparc Solaris Date: 03 Nov 1999 09:30:50 +0100 Organization: Ada addicts (see http://ada.eu.org/) Sender: owner-ding@hpc.uh.edu Message-ID: <1999-11-03-09-30-50+trackit+sam@ada.eu.org> Reply-To: Samuel Tardieu NNTP-Posting-Host: coloc-standby.netfonds.no Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Content-Transfer-Encoding: 8bit X-Trace: main.gmane.org 1035163404 17850 80.91.224.250 (21 Oct 2002 01:23:24 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Mon, 21 Oct 2002 01:23:24 +0000 (UTC) Return-Path: Original-Received: from lisa.math.uh.edu (lisa.math.uh.edu [129.7.128.49]) by sclp3.sclp.com (8.8.5/8.8.5) with ESMTP id DAA25524 for ; Wed, 3 Nov 1999 03:31:36 -0500 (EST) Original-Received: from sina.hpc.uh.edu (lists@Sina.HPC.UH.EDU [129.7.3.5]) by lisa.math.uh.edu (8.9.1/8.9.1) with ESMTP id CAB17923; Wed, 3 Nov 1999 02:31:32 -0600 (CST) Original-Received: by sina.hpc.uh.edu (TLB v0.09a (1.20 tibbs 1996/10/09 22:03:07)); Wed, 03 Nov 1999 02:31:50 -0600 (CST) Original-Received: from sclp3.sclp.com (root@sclp3.sclp.com [204.252.123.139]) by sina.hpc.uh.edu (8.9.3/8.9.3) with ESMTP id CAA14089 for ; Wed, 3 Nov 1999 02:31:38 -0600 (CST) Original-Received: from ada.eu.org (marvin.enst.fr [137.194.161.2]) by sclp3.sclp.com (8.8.5/8.8.5) with ESMTP id DAA25519 for ; Wed, 3 Nov 1999 03:31:07 -0500 (EST) Original-Received: from antinea.enst.fr (antinea.enst.fr [137.194.160.145]) by ada.eu.org (Postfix) with ESMTP id DDAB51902E; Wed, 3 Nov 1999 09:31:05 +0100 (CET) Original-Received: by antinea.enst.fr (Postfix, from userid 1000) id 6AF2710F65; Wed, 3 Nov 1999 09:30:50 +0100 (CET) Original-To: ding@gnus.org Original-Lines: 55 User-Agent: Gnus/5.070096 (Pterodactyl Gnus v0.96) XEmacs/21.1 (Biscayne) X-WWW: http://www.inf.enst.fr/~tardieu/ X-Mail-Processing: Sam's procmail tools X-ICQ: 21547599 Precedence: list X-Majordomo: 1.94.jlt7 Xref: main.gmane.org gmane.emacs.gnus.general:26140 X-Report-Spam: http://spam.gmane.org/gmane.emacs.gnus.general:26140 --=-=-= Why does Gnus insist in sending news article in QP form? :( Sam --=-=-= Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Path: enst!not-for-mail From: Samuel Tardieu Newsgroups: fr.comp.lang.ada Subject: Re: GNAT 3.12p pour Linux et Sparc Solaris Date: 03 Nov 1999 09:29:11 +0100 Organization: TELECOM Paris Lines: 25 Message-ID: <87aeowf06g.fsf@antinea.enst.fr> References: <7ula74$t6s$1@front4.grolier.fr> <381E32F3.1FFB53CB@free.fr> <01bf251d$002a8890$022a6282@dieppe> <381FAA60.F56CBE2D@free.fr> <01bf25cb$57bc99f0$022a6282@dieppe> NNTP-Posting-Host: antinea.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset=3Dus-ascii Content-Transfer-Encoding: quoted-printable X-Trace: enst.enst.fr 941617751 8599 137.194.160.145 (3 Nov 1999 08:29:11 GMT) X-Complaints-To: usenet@enst.enst.fr NNTP-Posting-Date: 3 Nov 1999 08:29:11 GMT To: "Pascal Obry" Mail-Copies-To: sam@ada.eu.org User-Agent: Gnus/5.070096 (Pterodactyl Gnus v0.96) XEmacs/21.1 (Biscayne) Xref: enst fr.comp.lang.ada:2286 >>>>> "Pascal" =3D=3D Pascal Obry writes: Pascal> Elle existe. Il y a deux version. La version publique est Pascal> d=E9riv=E9e de la version Pro mais ACT ne peut en aucun cas la Pascal> certifier puisque tout le monde y a acc=E8s librement avec les Pascal> sources. C'est en partie vrai ("la version publique est d=E9riv=E9e de la version pro"), mais en partie faux ("puisque tout le monde y a acc=E8s librement avec les sources"). En effet, le processus de validation (certification) est un contrat tripartite: l'autorit=E9 de certification, qui garantit que les tests sont bien pass=E9s, le fabriquant de compilateur, qui garantit qu'il n'a pas arnaqu=E9 l'autorit=E9 de certification en codant par exemple tous les tests en dur dans le compilateur, et le client final. C'est pour cela que la version publique de GNAT est validable, mais pas valid=E9e, au sens o=F9 l'utilisateur final ne dispose pas d'un tel contrat. M=EAme les clients d'ACT qui souhaitent une version valid=E9e doivent le demander explicitement, et conclure un accord avec ACT. Sam --=20 Samuel Tardieu -- sam@ada.eu.org --=-=-= -- Samuel Tardieu -- sam@ada.eu.org --=-=-=--