From: Simon Wright <simon@pushface.org>
Subject: Re: GCC release notes, aka, Ada is still alive!
Date: Wed, 13 Oct 2021 20:59:47 +0100 [thread overview]
Message-ID: <lyily0g0gc.fsf@pushface.org> (raw)
In-Reply-To: sk71mv$doe$1@gioia.aioe.org
Fernando Oleo Blanco <irvise_ml@irvise.xyz> writes:
> - General improvements in the library, SPARK and with the GCC
> ecosystem. I think Ada has somewhat acceptable support for OpenMP,
> which was improved in the past few years, for example. It has also
> been increasing SPARK support in the libraries.
Not sure how to work SPARK into a GCC note, since it's not part of the
GCC ecosystem?
"There's extensive support for possible static analysis of code,
e.g. via SPARK, in the form of annotations that can optionally be
compiled as runtime assertions."
next prev parent reply other threads:[~2021-10-13 19:59 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-10-11 18:41 GCC release notes, aka, Ada is still alive! Fernando Oleo Blanco
2021-10-12 12:54 ` Fabien Chouteau
2021-10-12 18:37 ` Tero Koskinen
2021-10-12 19:28 ` Tero Koskinen
2021-10-13 16:32 ` Fernando Oleo Blanco
2021-10-13 19:59 ` Simon Wright [this message]
2021-10-14 8:24 ` Stéphane Rivière
2021-10-14 10:31 ` J-P. Rosen
2021-10-20 8:42 ` Fernando Oleo Blanco
2021-10-20 20:14 ` Fernando Oleo Blanco
2021-10-20 21:19 ` Simon Wright
2021-10-21 14:39 ` Fernando Oleo Blanco
2021-10-21 18:22 ` Simon Wright
2021-10-25 18:47 ` Fernando Oleo Blanco
2021-10-27 16:52 ` Stephen Leake
2021-10-28 8:30 ` Fernando Oleo Blanco
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox