From: Stefan.Lucks@uni-weimar.de
Subject: Re: Weakness of Ada is expensive / security / etc. ? Anything else?
Date: Wed, 22 Jul 2015 08:34:53 +0200
Date: 2015-07-22T08:34:53+02:00 [thread overview]
Message-ID: <alpine.DEB.2.20.1507220822200.9483@debian> (raw)
In-Reply-To: <87mvyq7hg2.fsf@mid.deneb.enyo.de>
[-- Attachment #1: Type: text/plain, Size: 915 bytes --]
On Mon, 20 Jul 2015, Florian Weimer wrote:
> Date: Mon, 20 Jul 2015 21:33:01 +0200
> From: Florian Weimer <fw@deneb.enyo.de>
>> I guess GPL SPARK is not included.
>
> It's not.
But it is not difficult to *develope* your software using gnat/GPL (with
SPARK support) and then *compile* the final production executable using
gnat/FSF. The compilers are essentially the same. Well, the fronend of
gnat/FSF appears to be a bit behind the gnat/GPL frontend. When Ada 2012
was fresh, gnat/FSF needed some time to include new Ada features already
supported by gnat/GPL. But this issue is moot, now ... at least until the
next revision of the Standard.
Stefan
-------- I love the taste of Cryptanalysis in the morning! --------
www.uni-weimar.de/de/medien/professuren/mediensicherheit/people/stefan-lucks
----Stefan.Lucks (at) uni-weimar.de, Bauhaus-Universität Weimar, Germany----
next prev parent reply other threads:[~2015-07-22 6:34 UTC|newest]
Thread overview: 61+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-17 10:19 Weakness of Ada is expensive / security / etc. ? Anything else? Trish Cayetano
2015-07-17 10:46 ` Simon Clubley
2015-07-17 15:35 ` Trish Cayetano
2015-07-17 15:54 ` David Botton
2015-07-17 12:06 ` G.B.
2015-07-17 15:38 ` Trish Cayetano
2015-07-17 12:54 ` David Botton
2015-07-17 15:41 ` Trish Cayetano
2015-07-17 16:20 ` Patrick Noffke
2015-07-17 17:31 ` Shark8
2015-07-17 17:43 ` Simon Clubley
2015-07-17 18:39 ` Jeffrey R. Carter
2015-07-17 19:28 ` jm.tarrasa
2015-07-17 21:00 ` Pascal Obry
2015-07-17 21:53 ` Shark8
2015-07-17 22:41 ` Nasser M. Abbasi
2015-07-18 7:40 ` Trish Cayetano
2015-07-19 14:55 ` David Botton
2015-07-20 2:40 ` Norman Worth
2015-07-20 9:52 ` Serge Robyns
2015-07-20 17:35 ` Shark8
2015-07-20 19:13 ` David Botton
2015-07-20 22:12 ` NiGHTS
2015-07-21 1:37 ` Norman Worth
2015-07-21 6:54 ` Dmitry A. Kazakov
2015-07-21 13:31 ` NiGHTS
2015-07-21 16:59 ` Dmitry A. Kazakov
2015-07-21 17:50 ` NiGHTS
2015-07-21 19:44 ` Dmitry A. Kazakov
2015-07-21 20:28 ` Björn Lundin
2015-07-21 22:01 ` Georg Bauhaus
2015-07-21 23:44 ` Shark8
2015-07-22 6:19 ` Dmitry A. Kazakov
2015-07-22 6:13 ` Dmitry A. Kazakov
2015-07-22 7:04 ` Georg Bauhaus
2015-07-22 7:37 ` Dmitry A. Kazakov
2015-07-22 9:29 ` Graham Stark
2015-07-22 10:33 ` Dmitry A. Kazakov
2015-07-22 10:12 ` G.B.
2015-07-22 10:31 ` Dmitry A. Kazakov
2015-07-22 11:20 ` G.B.
2015-07-22 0:17 ` NiGHTS
2015-07-22 6:54 ` Dmitry A. Kazakov
2015-07-22 15:11 ` Shark8
2015-07-22 11:43 ` Brian Drummond
2015-07-24 7:34 ` Egil H H
2015-07-21 11:17 ` Serge Robyns
2015-07-20 17:38 ` Florian Weimer
2015-07-20 17:45 ` Paul Rubin
2015-07-20 17:53 ` Florian Weimer
2015-07-20 18:09 ` Paul Rubin
2015-07-20 18:25 ` Florian Weimer
2015-07-20 18:34 ` Paul Rubin
2015-07-20 19:33 ` Florian Weimer
2015-07-20 20:20 ` Paul Rubin
2015-07-22 18:29 ` Florian Weimer
2015-07-22 19:58 ` Paul Rubin
2015-07-26 19:41 ` Florian Weimer
2015-07-27 1:18 ` Jeremiah
2015-07-22 6:34 ` Stefan.Lucks [this message]
2015-07-26 14:51 ` EGarrulo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox