From: Samuel Tardieu <sam@ada.eu.org>
Subject: [fr.comp.lang.ada] Re: GNAT 3.12p pour Linux et Sparc Solaris
Date: 03 Nov 1999 09:30:50 +0100 [thread overview]
Message-ID: <1999-11-03-09-30-50+trackit+sam@ada.eu.org> (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
next reply other threads:[~1999-11-03 8:30 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-03 8:30 Samuel Tardieu [this message]
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
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1999-11-03-09-30-50+trackit+sam@ada.eu.org \
--to=sam@ada.eu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).