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

Cyrille Comar comar at adacore.com
Thu Mar 14 16:09:54 CET 2013

Le 14/03/2013 15:31, Arnaud Charlet a écrit :

> - being able to mark elaboration in/out spark
> Is the above a correct summary of our needs/requirements, or am I completely
> off?

What is the rational for marking specially elaboration stuff?

More information about the Spark2014-discuss mailing list