Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

The first version always gets thrown away.

devel / comp.lang.ada / Re: Looking for Ada source code

SubjectAuthor
* Looking for Ada source codeChristophe Meudec
+- Re: Looking for Ada source codeJeffrey R.Carter
+- Re: Looking for Ada source codeStephen Leake
`- Re: Looking for Ada source codeNiklas Holsti

1
Looking for Ada source code

<97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9287&group=comp.lang.ada#9287

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:7ca5:0:b0:3b6:321d:5093 with SMTP id z5-20020ac87ca5000000b003b6321d5093mr1101600qtv.595.1674655226844;
Wed, 25 Jan 2023 06:00:26 -0800 (PST)
X-Received: by 2002:a54:4097:0:b0:364:98ca:e998 with SMTP id
i23-20020a544097000000b0036498cae998mr1499204oii.18.1674655226543; Wed, 25
Jan 2023 06:00:26 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!feeder.erje.net!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 25 Jan 2023 06:00:26 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=149.153.251.2; posting-account=j4uaqAoAAAA5AhxfF2TUYlfYDKlx8cY_
NNTP-Posting-Host: 149.153.251.2
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
Subject: Looking for Ada source code
From: echancrure@gmail.com (Christophe Meudec)
Injection-Date: Wed, 25 Jan 2023 14:00:26 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 11
 by: Christophe Meudec - Wed, 25 Jan 2023 14:00 UTC

Hi all,
[crossposted from LinkedIn Ada group]
I am looking for Ada source code (open source or NDA protected) to test my automatic test data generator for Ada (available at www.midoan.com) for regression purposes.

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.

I started to look at GitHub repositories but without success.

Any 'pointers'?

Many thanks,
Chris

Re: Looking for Ada source code

<tqrjj5$lva4$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9289&group=comp.lang.ada#9289

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: spam.jrcarter.not@spam.acm.org.not (Jeffrey R.Carter)
Newsgroups: comp.lang.ada
Subject: Re: Looking for Ada source code
Date: Wed, 25 Jan 2023 16:58:29 +0100
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <tqrjj5$lva4$1@dont-email.me>
References: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 25 Jan 2023 15:58:29 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="49c92bd5185717942afc5eb5b0d958c0";
logging-data="720196"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX194yiO19IPT/+dK/bkOSxJE1LjmNd3mM4k="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.4.2
Cancel-Lock: sha1:urud1sMzj3nx1uj09ILMl5u693M=
Content-Language: en-US
In-Reply-To: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
 by: Jeffrey R.Carter - Wed, 25 Jan 2023 15:58 UTC

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

Re: Looking for Ada source code

<a76bbed2-08ec-4ee7-965a-a1087fe87d97n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9291&group=comp.lang.ada#9291

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:134e:b0:706:49fb:8049 with SMTP id c14-20020a05620a134e00b0070649fb8049mr772363qkl.36.1674667996474;
Wed, 25 Jan 2023 09:33:16 -0800 (PST)
X-Received: by 2002:a05:6870:b304:b0:144:76a7:9135 with SMTP id
a4-20020a056870b30400b0014476a79135mr1735267oao.223.1674667996117; Wed, 25
Jan 2023 09:33:16 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 25 Jan 2023 09:33:15 -0800 (PST)
In-Reply-To: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=135.180.197.170; posting-account=W2gdXQoAAADxIuhBWhPFjUps3wUp4RhQ
NNTP-Posting-Host: 135.180.197.170
References: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a76bbed2-08ec-4ee7-965a-a1087fe87d97n@googlegroups.com>
Subject: Re: Looking for Ada source code
From: stephen.leake84@gmail.com (Stephen Leake)
Injection-Date: Wed, 25 Jan 2023 17:33:16 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1814
 by: Stephen Leake - Wed, 25 Jan 2023 17:33 UTC

On Wednesday, January 25, 2023 at 6:00:28 AM UTC-8, echan...@gmail.com wrote:
> Hi all,
> [crossposted from LinkedIn Ada group]
> I am looking for Ada source code (open source or NDA protected) to test my automatic test data generator for Ada (available at www.midoan.com) for regression purposes.
>
> 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.

Some of the packages in SAL meet these criteria, and have tests I wrote as well. Available as Alire crate stephes_ada_library, or at https://savannah.nongnu.org/git/?group=ada-mode, branch org.stephe_leake.sal.

Re: Looking for Ada source code

<k3de11F24kU1@mid.individual.net>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9292&group=comp.lang.ada#9292

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: niklas.holsti@tidorum.invalid (Niklas Holsti)
Newsgroups: comp.lang.ada
Subject: Re: Looking for Ada source code
Date: Wed, 25 Jan 2023 21:25:21 +0200
Organization: Tidorum Ltd
Lines: 32
Message-ID: <k3de11F24kU1@mid.individual.net>
References: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net vXhWgtezHaB12wpMY2PprgA0EptlgVu1ATw91LUidlNbmaVtwb
Cancel-Lock: sha1:0+VkQIFMyUzJU0TEgllKMM/LeQI=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:102.0)
Gecko/20100101 Thunderbird/102.6.1
Content-Language: en-US
In-Reply-To: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
 by: Niklas Holsti - Wed, 25 Jan 2023 19:25 UTC

On 2023-01-25 16:00, Christophe Meudec wrote:
> Hi all, [crossposted from LinkedIn Ada group]
>
> I am looking for Ada source code (open source or NDA protected) to
> test my automatic test data generator for Ada (available at
> www.midoan.com) for regression purposes.
>
> 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.
>
> I started to look at GitHub repositories but without success.
>
> Any 'pointers'?

I could provide an Ada translation of an embedded application,
originally coded in C for an 8-bit processor (Intel MCS51 architecture).
It's about 8600 lines. There are two variants: one that cannot be
executed, because all HW and RTOS usage is replaced by null stubs, and
one that includes a built-in set of tests and can be executed on any
standard Ada system, with no input and only text output.

There are a very few uses of pointers, but they would be easy to remove
if you don't care about the success of the built-in tests.

There are some non-standard pragmas that can also be removed easily.

If you are interested in this code, I can send you a zip. My e-mail is
the same as the "From" address of this post, with "invalid" replaced by
"fi".

Niklas

devel / comp.lang.ada / Re: Looking for Ada source code

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor