ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
29,001 Commits 72 Branches 1 Tag
master
Commit Graph

5 Commits

Author SHA1 Message Date
Piotr Trojanek
7d79f30d8f remove trailing whitespace from Ada source code 
(no-tn-check)

Change-Id: Iceab29878b39f74f76a9a7a4a04830cd501e70ff
 2019-01-29 13:39:27 +01:00
Pavlos Efstathopoulos
76ddf968c9 [MB19-011] test - move mapping spec examples in testsuite 
* 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.
 2013-11-19 16:36:21 +00:00
Arnaud Charlet
ff0d4ee3ca Minor reformatting. 2013-10-27 12:30:09 +01:00
Arnaud Charlet
f1b8c73bb4 M724-046 - Minor reformatting and fix syntax to match RM. 2013-10-24 21:08:58 +02:00
Yannick Moy
d8d624a416 [M605-034] Move LRM under docs directory 2013-06-05 18:33:50 +02:00