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

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

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

Arno


More information about the Spark2014-discuss mailing list