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,109 Commits 72 Branches 1 Tag
fsf
Commit Graph

6 Commits

Author SHA1 Message Date
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
1f6eaccd7f MA27-006] Update of mapping spec 
Nearly completed
 2013-11-14 17:55:03 +00:00
Arnaud Charlet
ad4fa457a4 Minor editing, remove redundant parens. 2013-10-27 12:42:20 +01:00
Arnaud Charlet
75d3581ca9 Minor: Fix error in postcondition. Code clean up. 2013-10-27 12:28:37 +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