Johannes Kanig
35e56d626f
(no-tn-check) fix various whitespace issues on the repo
...
Change-Id: I387b5ffa968e0e212924455ada8a38ef71a64431
2021-12-15 11:54:30 +09:00
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
Trevor Jennings
5dceef0fc6
MA27-006] Partial update of mapping spec.
...
Work in progress
2013-11-14 11:42:11 +00: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
