Where to find Ravenscar compatible ADT Containers (List, Vector, stack)

[Daniel Norber <danielnorberto@gmail.com>]

The standard ADA.Containers library is not prepared for Ravenscar use.
Even bounded versions, like Bounded_double_Linked_List have several violations of Ravenscar, like Implicit_Heap_Allocation when i try to instantiate it, and bind it.


I've Found ADA95 booch ADT, but is not ready for the new ADA2012 aspects that let you write something like this:

for E of List loop
  E:= E + 1;
  --E is a reference. That increases performance with big structures.
end loop;

Someone know a modern ADA2012 third party ADT that compliances Ravenscar?.
Seems like ADA forgot Ravenscar users when they released 2005 containers.