[Spark2014-discuss] [M122-037] mark code in or out SPARK

Arnaud Charlet charlet at adacore.com
Mon Mar 25 15:18:57 CET 2013

I've written a first draft of the updated SPARK in/out proposal:


So that we can discuss it tomorrow during the SPARK 2014 RM concall.


More information about the Spark2014-discuss mailing list