help / color / mirror / Atom feed
From: "Jeffrey R.Carter" <>
Subject: Re: Looking for Ada source code
Date: Wed, 25 Jan 2023 16:58:29 +0100	[thread overview]
Message-ID: <tqrjj5$lva4$> (raw)
In-Reply-To: <>

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 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 repositories.

Jeff Carter
“Bug rates in C++ are running higher even than C ...”
Stephen F. Zeigler

  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