[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