comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <jrcarter@acm.org>
Subject: Re: List Containers - The Road Ahead
Date: Fri, 09 Nov 2001 01:48:37 GMT
Date: 2001-11-09T01:48:37+00:00	[thread overview]
Message-ID: <3BEB3621.410A774@acm.org> (raw)
In-Reply-To: 9sdpku$eu2$1@news.huji.ac.il

Ehud Lamm wrote:
> 
> We need some central repository. I hope David will agree to host this on
> AdaPower.
> The repository will include:
> - Specs (we have several alternative, and I think we can keep an open mind.
> But let's try to keep the number of variations to a minimum).

OK. PragmAda contributes PragmARC.List_Unbounded_Unprotected, which is
already at AdaPower.

> 
> - Refernce implementations of the specs. These can be contributes by anyone,
> but must adhere to the spec. Trying to provide implementations, is the sure
> way of finding mistakes in the specs...

OK. PragmAda contributes PragmARC.List_Unbounded_Unprotected, which is
already at AdaPower.

> 
> - Test code, that uses the containers. If the specs are useful, it should be
> easy enough to take some code you have that uses lists, and make it use
> "standard" list package.

OK. PragmAda contributes lsort.adb, which is already at AdaPower.

-- 
Jeff Carter
"Now go away or I shall taunt you a second time."
Monty Python & the Holy Grail



  parent reply	other threads:[~2001-11-09  1:48 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-11-08 11:13 List Containers - The Road Ahead Ehud Lamm
2001-11-08 13:55 ` Ehud Lamm
2001-11-08 14:08 ` David Botton
2001-11-08 16:44   ` Darren New
2001-11-08 19:39     ` Marin David Condic
2001-11-09 16:43     ` Ted Dennison
2001-11-09 18:07       ` Darren New
2001-11-11  2:20         ` David Botton
2001-11-12 18:49           ` Darren New
2001-11-08 20:39   ` Ehud Lamm
2001-11-08 22:24     ` Nick Roberts
2001-11-08 23:24       ` Marin David Condic
2001-11-09 17:04         ` Ted Dennison
2001-11-09 17:52           ` Marin David Condic
2001-11-10  2:21             ` Ted Dennison
2001-11-10  4:04               ` Jeffrey Carter
2001-11-10  5:04                 ` Ted Dennison
2001-11-10 19:41                   ` Nick Roberts
2001-11-10 20:48                     ` Florian Weimer
2001-11-10 21:30                       ` Nick Roberts
2001-11-10 23:01                         ` Ted Dennison
2001-11-11 17:42                           ` Jeffrey Carter
2001-11-10 11:57               ` Florian Weimer
2001-11-10 11:59               ` Florian Weimer
2001-11-09  1:55     ` Jeffrey Carter
2001-11-08 19:36 ` Marin David Condic
2001-11-08 20:37   ` Ehud Lamm
2001-11-09 17:20   ` Ted Dennison
2001-11-08 21:32 ` Nick Roberts
2001-11-09  1:48 ` Jeffrey Carter [this message]
2001-11-09 19:04 ` Ted Dennison
2001-11-14  8:36 ` Mats Karlssohn
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox