From: Daniel Norber <danielnorberto@gmail.com>
Subject: Re: Where to find Ravenscar compatible ADT Containers (List, Vector, stack)
Date: Mon, 3 Sep 2018 02:39:49 -0700 (PDT)
Date: 2018-09-03T02:39:49-07:00 [thread overview]
Message-ID: <f14ca418-d3e3-4f9f-b4ae-9e6851930199@googlegroups.com> (raw)
In-Reply-To: <ec0c3094-12a3-47c7-adf6-af5559c61c86@googlegroups.com>
El martes, 28 de agosto de 2018, 16:48:12 (UTC+2), Shark8 escribió:
> On Tuesday, August 28, 2018 at 6:06:20 AM UTC-6, Daniel Norber wrote:
> >
> > Someone know a modern ADA2012 third party ADT that compliances Ravenscar?.
> > Seems like ADA forgot Ravenscar users when they released 2005 containers.
>
> You could try the Ada.Containers.Formal_* containers, IIRC they are designed to work with full SPARK and should work with Ravenscar. The other item you might want to check out is the red-black tree (Ada.Containers.Red_Black_Trees) that some of the Formal_* containers use in GNAT.
Thank you. You save my day with Formal_* containers.
next prev parent reply other threads:[~2018-09-03 9:39 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-08-28 12:06 Where to find Ravenscar compatible ADT Containers (List, Vector, stack) Daniel Norber
2018-08-28 14:48 ` Shark8
2018-09-03 9:39 ` Daniel Norber [this message]
2018-08-28 15:03 ` Simon Wright
2018-09-03 9:42 ` Daniel Norber
2018-08-29 0:24 ` Randy Brukardt
2018-08-30 0:21 ` Jere
2018-08-30 7:13 ` Jeffrey R. Carter
2018-08-30 12:14 ` AdaMagica
2018-08-30 23:40 ` 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