[Spark2014-discuss] [M122-037] specifying SPARK sources for analysis

Tucker Taft taft at adacore.com
Thu Mar 14 18:40:23 CET 2013

On 3/14/13 1:20 PM, Arnaud Charlet wrote:

> The idea is that I come up with such summary+proposal sufficiently in
> advance so that we can discuss it during the 26th March SPARK concall.
> How does that sound?

Sounds good.  I wrote one SPARK issue recently, at:


It might provide you some ideas on structure.

> Arno


More information about the Spark2014-discuss mailing list