Gnus development mailing list
 help / color / mirror / Atom feed
* [fr.comp.lang.ada] Re: GNAT 3.12p pour Linux et Sparc Solaris
@ 1999-11-03  8:30 Samuel Tardieu
  1999-11-03 10:21 ` Kai Großjohann
  0 siblings, 1 reply; 6+ messages in thread
From: Samuel Tardieu @ 1999-11-03  8:30 UTC (permalink / raw)


[-- Attachment #1: Type: text/plain, Size: 68 bytes --]

Why does Gnus insist in sending news article in QP form? :(

  Sam


[-- Attachment #2: Type: message/rfc822, Size: 2045 bytes --]

From: Samuel Tardieu <sam@ada.eu.org>
To: "Pascal Obry" <pascal_obry@csi.com>
Subject: Re: GNAT 3.12p pour Linux et Sparc Solaris
Date: 03 Nov 1999 09:29:11 +0100
Message-ID: <87aeowf06g.fsf@antinea.enst.fr>


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2.1: Type: text/plain; charset=3Dus-ascii, Size: 1114 bytes --]

From: Samuel Tardieu <sam@ada.eu.org>
To: "Pascal Obry" <pascal_obry@csi.com>
Subject: Re: GNAT 3.12p pour Linux et Sparc Solaris
Date: 03 Nov 1999 09:29:11 +0100
Message-ID: <87aeowf06g.fsf@antinea.enst.fr>

>>>>> "Pascal" == Pascal Obry <pascal_obry@csi.com> writes:

Pascal> Elle existe. Il y a deux version. La version publique est
Pascal> dérivée de la version Pro mais ACT ne peut en aucun cas la
Pascal> certifier puisque tout le monde y a accès librement avec les
Pascal> sources.

C'est en partie vrai ("la version publique est dérivée de la version
pro"), mais en partie faux ("puisque tout le monde y a accès librement
avec les sources").

En effet, le processus de validation (certification) est un contrat
tripartite: l'autorité de certification, qui garantit que les tests
sont bien passés, le fabriquant de compilateur, qui garantit qu'il n'a
pas arnaqué l'autorité 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ée, au
sens où l'utilisateur final ne dispose pas d'un tel contrat.

Même les clients d'ACT qui souhaitent une version validée doivent le
demander explicitement, et conclure un accord avec ACT.

  Sam
-- 
Samuel Tardieu -- sam@ada.eu.org

[-- Attachment #3: Type: text/plain, Size: 38 bytes --]


-- 
Samuel Tardieu -- sam@ada.eu.org

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~1999-11-03 18:07 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-11-03  8:30 [fr.comp.lang.ada] Re: GNAT 3.12p pour Linux et Sparc Solaris Samuel Tardieu
1999-11-03 10:21 ` Kai Großjohann
1999-11-03 15:10   ` Samuel Tardieu
1999-11-03 15:15     ` Kai Großjohann
1999-11-03 15:18     ` Toby Speight
1999-11-03 18:07       ` Samuel Tardieu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).