From: Brian Drummond <brian3@shapes.demon.co.uk>
Subject: Re: CPAN style Ada repository
Date: Thu, 12 Dec 2013 10:37:42 GMT
Date: 2013-12-12T10:37:42+00:00 [thread overview]
Message-ID: <Wlgqu.28$dP7.13@fx25.fr7> (raw)
In-Reply-To: 87eh5ibc1r.fsf@adaheads.sparre-andersen.dk
On Thu, 12 Dec 2013 11:26:08 +0100, Jacob Sparre Andersen wrote:
> Yannick Duchêne wrote:
>> Le Thu, 12 Dec 2013 09:23:05 +0100, Jacob Sparre Andersen
>> <jacob@jacob-sparre.dk> a écrit:
>
>> Still talking about other compilers, then a point to add would be to
>> try to restrict sources to what other compilers supports at a given
>> time, and I guess actually this is rather Ada 2005 and not Ada 2012
>> (except may be Janus Ada from RR Software).
>
> I don't see any point in excluding software written in Ada 2012 (or Ada
> 83 for that matter) as long as it is correct Ada 2012. Showing off how
> one can make good use of Ada 2012 is likely to motivate the vendors to
> upgrade their offerings to support it.
Colour code the download buttons (or provide other filtering means).
Green indicates tested successfully with multiple compilers, multiple OS.
Perhaps gold makes imaginative use of new techniques (Ada-2012), steel
blue (hardened and tempered) uses SPARK.
-Brian
next prev parent reply other threads:[~2013-12-12 10:37 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-28 15:41 CPAN style Ada repository banjo
2013-11-29 7:04 ` Thomas Løcke
2013-12-12 10:17 ` Lucretia
2013-12-13 6:54 ` J Kimball
2013-12-13 9:58 ` Lucretia
2013-11-29 19:22 ` Felix Krause
2013-11-29 20:17 ` Simon Wright
2013-11-29 22:53 ` Dennis Lee Bieber
2013-12-09 23:45 ` Yannick Duchêne (Hibou57)
2013-11-29 22:13 ` Jeffrey Carter
2013-11-29 22:15 ` Georg Bauhaus
2013-12-03 18:12 ` Martin
2013-12-03 19:03 ` Randy Brukardt
2013-11-30 1:20 ` Shark8
2013-11-30 13:46 ` gautier_niouzes
2013-11-29 22:07 ` Stephen Leake
2013-11-30 13:12 ` Jacob Sparre Andersen
2013-12-02 17:10 ` Tero Koskinen
2013-12-01 6:36 ` johannes falcone
2013-12-01 7:08 ` Simon Wright
2013-12-01 11:18 ` Brian Drummond
2013-12-01 11:19 ` Brian Drummond
2013-12-01 12:18 ` Jacob Sparre Andersen
2013-12-01 8:24 ` Jacob Sparre Andersen
2013-12-11 20:49 ` Björn Persson
2013-12-12 16:12 ` Stephen Leake
2013-12-13 11:52 ` darkestkhan
2013-12-13 18:38 ` Björn Persson
2013-12-15 5:40 ` Stephen Leake
2013-12-12 8:23 ` Jacob Sparre Andersen
2013-12-12 9:55 ` Yannick Duchêne (Hibou57)
2013-12-12 10:26 ` Jacob Sparre Andersen
2013-12-12 10:37 ` Brian Drummond [this message]
2013-12-12 11:39 ` G.B.
2013-12-12 22:20 ` Jacob Sparre Andersen
2013-12-13 5:43 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox