[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:

   https://forge.open-do.org/plugins/moinmoin/spark2014/PrivateUnitState

It might provide you some ideas on structure.

>
> Arno
>

-Tuck


More information about the Spark2014-discuss mailing list