From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: What exactly is the licensing situation with GNAT?
Date: Thu, 13 Nov 2014 16:24:20 -0600
Date: 2014-11-13T16:24:20-06:00 [thread overview]
Message-ID: <m43b2k$cj0$1@loke.gir.dk> (raw)
"Randy Brukardt" <randy@rrsoftware.com> wrote in message news:...
...
> Right, but there are a number of other cases that
> No_Implementation_Extensions covers: implementation-defined things in
> language-defined packages (there are a number of such places in the RM,
> such as in System); No_Implementation_Aspect_Specifications (obviously
> only relevant for Ada 2012, but still important); and
> No_Implementation_Units (which covers implementation-defined descendants
> of Ada, System, and Interfaces; implementation-defined children of Ada are
> banned, but grandchildren are allowed).
>
> Still not covered are issues like the representation of predefined types
> (esp. Integer and Float), and implementation-defined behavior (such as
> what happens when a potentially blocking operation is called from a
> protected action). These things can't really be detected at compile-time.
I should have mentioned that for GNAT, you also should use pragma
No_Dependence (GNAT) to ensure that none of the GNAT defined packages are
used.
Randy.
next reply other threads:[~2014-11-13 22:24 UTC|newest]
Thread overview: 174+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-11-13 22:24 Randy Brukardt [this message]
-- strict thread matches above, loose matches on Subject: below --
2014-11-10 9:30 What exactly is the licensing situation with Gnat? Hubert
2014-11-10 10:03 ` Markus Schöpflin
2014-11-10 10:38 ` What exactly is the licensing situation with GNAT? Jacob Sparre Andersen
2014-11-10 11:09 ` Hubert
2014-11-10 11:19 ` Markus Schöpflin
2014-11-10 15:45 ` David Botton
2014-11-11 0:09 ` Hubert
2014-11-11 10:54 ` Georg Bauhaus
2014-11-11 11:05 ` Hubert
2014-11-11 13:37 ` john
2014-11-11 22:52 ` Hubert
2014-11-11 23:10 ` David Botton
2014-11-11 23:25 ` Alan Jump
2014-11-12 0:50 ` David Botton
2014-11-12 1:02 ` Simon Clubley
2014-11-12 7:09 ` Gour
2014-11-12 11:06 ` David Botton
2014-11-12 7:41 ` Simon Wright
2014-11-13 1:30 ` Simon Clubley
2014-11-12 1:15 ` Hubert
2014-11-12 1:24 ` David Botton
2014-11-12 1:33 ` Hubert
2014-11-12 7:13 ` Gour
2014-11-12 10:56 ` David Botton
2014-11-12 8:12 ` Simon Wright
2014-11-12 8:35 ` Hubert
2014-11-12 9:25 ` Mark Carroll
2014-11-12 9:37 ` Hubert
2014-11-12 10:31 ` jm.tarrasa
2014-11-12 10:43 ` J-P. Rosen
2014-11-12 10:44 ` Hubert
2014-11-12 12:06 ` Gour
2014-11-12 12:38 ` David Botton
2014-11-12 15:23 ` Gour
2014-11-12 16:30 ` David Botton
2014-11-12 13:20 ` Dmitry A. Kazakov
2014-11-12 22:53 ` Randy Brukardt
2014-11-12 23:21 ` David Botton
2014-11-13 1:49 ` Randy Brukardt
2014-11-13 8:18 ` Georg Bauhaus
2014-11-13 21:51 ` Randy Brukardt
2014-11-14 8:36 ` Dmitry A. Kazakov
2014-11-14 22:24 ` Randy Brukardt
2014-11-14 22:43 ` Jeffrey Carter
2014-11-15 9:18 ` Dmitry A. Kazakov
2014-11-18 0:37 ` Randy Brukardt
2014-11-18 9:04 ` Dmitry A. Kazakov
2014-11-14 4:51 ` Randy Brukardt
2014-11-14 5:12 ` David Botton
2014-11-14 6:13 ` Randy Brukardt
2014-11-14 8:40 ` Dmitry A. Kazakov
2014-11-14 22:29 ` Randy Brukardt
2014-11-15 9:29 ` Dmitry A. Kazakov
2014-11-15 9:40 ` Pascal Obry
2014-11-15 11:18 ` Tero Koskinen
2014-11-15 11:36 ` Dmitry A. Kazakov
2014-11-18 0:28 ` Randy Brukardt
2014-11-18 9:20 ` Dmitry A. Kazakov
2014-11-18 22:25 ` Randy Brukardt
2014-11-19 9:10 ` Dmitry A. Kazakov
2014-11-19 23:59 ` Randy Brukardt
2014-11-20 9:53 ` Dmitry A. Kazakov
2014-11-20 21:23 ` Randy Brukardt
2014-11-21 9:38 ` Dmitry A. Kazakov
2014-11-21 22:12 ` Randy Brukardt
2014-11-22 9:21 ` Dmitry A. Kazakov
2014-11-15 17:32 ` Florian Weimer
2014-11-13 0:48 ` sbelmont700
2014-11-13 1:31 ` Randy Brukardt
2014-11-13 1:29 ` Randy Brukardt
2014-11-13 8:03 ` Georg Bauhaus
2014-11-13 22:22 ` Randy Brukardt
2014-11-13 16:26 ` Tero Koskinen
2014-11-13 22:29 ` Randy Brukardt
2014-11-13 1:54 ` Hubert
2014-11-13 2:04 ` Hubert
2014-11-13 7:53 ` Luther Bogart
2014-11-13 7:58 ` Luther Bogart
2014-11-13 16:38 ` Tero Koskinen
2014-11-13 21:57 ` Randy Brukardt
2014-11-13 22:02 ` Mark Carroll
2014-11-13 22:43 ` Jeffrey Carter
2014-11-14 1:36 ` Hubert
2014-11-14 4:45 ` Randy Brukardt
2014-11-14 5:24 ` Hubert
2014-11-14 8:51 ` Dmitry A. Kazakov
2014-11-14 9:02 ` Stan Mills
2014-11-14 10:14 ` Dmitry A. Kazakov
2014-11-14 10:38 ` Stan Mills
2014-11-14 12:57 ` Peter Chapin
2014-11-14 22:33 ` Randy Brukardt
2014-11-17 8:28 ` Stan Mills
2014-11-14 13:35 ` Dmitry A. Kazakov
2014-11-17 8:36 ` Stan Mills
2014-11-17 11:03 ` Dmitry A. Kazakov
2014-11-17 14:20 ` G.B.
2014-11-14 9:19 ` Hubert
2014-11-14 10:30 ` Dmitry A. Kazakov
2014-11-15 1:00 ` Hubert
2014-11-15 1:24 ` Hubert
2014-11-15 9:45 ` Dmitry A. Kazakov
2014-11-15 10:27 ` Hubert
2014-11-15 19:44 ` Robert A Duff
2014-11-15 7:22 ` Gour
2014-11-15 9:57 ` Dmitry A. Kazakov
2014-11-15 10:51 ` Gour
2014-11-15 11:26 ` Dmitry A. Kazakov
2014-11-15 12:41 ` Gour
2014-11-15 13:18 ` Dmitry A. Kazakov
2014-11-17 8:11 ` Stan Mills
2014-11-17 8:28 ` Dmitry A. Kazakov
2014-11-17 8:48 ` Stan Mills
2014-11-17 10:40 ` Dmitry A. Kazakov
2014-11-13 8:03 ` Pete Ballmer
2014-11-13 8:41 ` Georg Bauhaus
2014-11-13 8:59 ` Georg Bauhaus
2014-11-12 11:18 ` David Botton
2014-11-13 0:01 ` David Botton
2014-11-13 0:03 ` David Botton
2014-11-12 11:15 ` David Botton
2014-11-13 23:56 ` David Botton
2014-11-14 8:25 ` Pete Ballmer
2014-11-14 12:46 ` Peter Chapin
2014-11-15 8:47 ` Mart van de Wege
2014-11-16 9:32 ` Pete Ballmer
2014-11-16 19:41 ` Florian Weimer
2014-11-12 13:31 ` Jacob Sparre Andersen
2014-11-12 14:33 ` David Botton
2014-11-12 15:07 ` David Botton
2014-11-12 16:39 ` Simon Wright
2014-11-12 23:06 ` Randy Brukardt
2014-11-12 23:31 ` David Botton
2014-11-13 1:59 ` Randy Brukardt
2014-11-13 2:21 ` David Botton
2014-11-13 22:01 ` Randy Brukardt
2014-11-12 22:47 ` Randy Brukardt
2014-11-12 23:23 ` Britt
2014-11-13 2:10 ` Randy Brukardt
2014-11-13 5:13 ` Shark8
2014-11-13 9:43 ` Gour
2014-11-13 22:06 ` Randy Brukardt
2014-11-13 23:37 ` Gour
2014-11-13 16:51 ` Tero Koskinen
2014-11-13 7:46 ` George Curioso
2014-11-13 22:14 ` Randy Brukardt
2014-11-14 8:18 ` George Curioso
2014-11-12 10:53 ` Simon Wright
2014-11-12 11:19 ` David Botton
2014-11-12 8:16 ` Simon Wright
2014-11-12 8:06 ` Simon Wright
2014-11-12 8:26 ` Hubert
2014-11-12 7:13 ` Pascal Obry
2014-11-12 7:47 ` Hubert
2014-11-12 9:08 ` Thomas Jahrne
2014-11-12 10:19 ` Georg Bauhaus
2014-11-12 9:30 ` Mark Carroll
2014-11-12 11:05 ` David Botton
2014-11-12 11:32 ` Pascal Obry
2014-11-12 12:31 ` David Botton
2014-11-12 13:17 ` G.B.
2014-11-12 14:21 ` David Botton
2014-11-12 18:31 ` john
2014-11-12 18:56 ` David Botton
2014-11-12 19:24 ` David Botton
2014-11-13 1:48 ` Simon Clubley
2014-11-13 7:40 ` Harry Bolger
2014-11-13 8:30 ` Georg Bauhaus
2014-11-13 8:41 ` Harry Bolger
2014-11-13 8:57 ` Georg Bauhaus
2014-11-13 14:30 ` Maciej Sobczak
2014-11-13 19:19 ` Peter Chapin
2014-11-13 19:43 ` David Botton
2014-11-12 7:38 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox