From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Subject: Re: Looking for Ada source code
Date: Wed, 25 Jan 2023 16:58:29 +0100 [thread overview]
Message-ID: <tqrjj5$lva4$1@dont-email.me> (raw)
In-Reply-To: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
On 2023-01-25 15:00, Christophe Meudec wrote:
>
> The source code should not contain pointers and be self-contained (no OS calls, no external libraries). Ada for existing embedded system would be best.
Do you include anonymous access-to-subprogram parameters among pointers?
At https://github.com/jrcarter/PragmARC you can find a collection of Ada
components that are compiler and OS independent. You will want to exclude
* PragmARC.Data_Structures.Skip_Lists.Unbounded
* PragmARC.Job_Pools
* PragmARC.REM_NN_Wrapper
* PragmARC.Safety.Pointers
* PragmARC.Safety.Semaphores
* PragmARC.Safety.Suspension_Objects
as they declare access-to-object types.
Some of the remaining use anonymous access-to-subprogram parameters, if that is
a problem, but there should still be about 140 source files.
There is additional Ada code in other https://github.com/jrcarter repositories.
--
Jeff Carter
“Bug rates in C++ are running higher even than C ...”
Stephen F. Zeigler
216
next prev parent reply other threads:[~2023-01-25 15:58 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-01-25 14:00 Looking for Ada source code Christophe Meudec
2023-01-25 15:58 ` Jeffrey R.Carter [this message]
2023-01-25 17:33 ` Stephen Leake
2023-01-25 19:25 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox