mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
* Moved all SPARK 2014 examples from the mapping spec to the testsuite (removed the original ones). * Updated the SPARK RM to point at the new locations.