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
27,080 Commits 72 Branches 1 Tag
25.1
Commit Graph

30 Commits

Author SHA1 Message Date
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
Piotr Trojanek
76667ea53a minor convert Ada code to Unix line endings 
(no-tn-check)

Change-Id: I20f3f1253c829a9d453f27f6f01467bd99813348
 2019-01-29 13:39:11 +01:00
Piotr Trojanek
751d5a641b minor whitespace fixes in LRM and UG 
(no-tn-check)

Change-Id: I081d98dd7f73a4ac102ed6f8753e3d96c3126053
 2018-06-04 20:13:41 +02:00
Piotr Trojanek
473279e618 minor removal of executable bits from non-executable files 2015-04-01 14:25:26 +01:00
Trevor Jennings
0ead312d17 [MA27-006] Address RPM's review comments 2013-12-05 17:14:18 +00:00
Robin Messer
0a327a383b MA27-006 - minor typo fixes and rewordings from review of mapping spec. 2013-11-22 10:42:54 +00:00
Trevor Jennings
e207324fa5 MA27-006] add missing file 2013-11-20 23:03:31 +00:00
Trevor Jennings
d97fb2a3be MA27-006] Update of mapping spec completed 
Passing on for review
 2013-11-20 17:52:36 +00:00
Pavlos Efstathopoulos
775609bc50 [MA27-006] Partial update of mapping spec examples 
* Uploaded Trevor's update on the other_proof_types_and_functions
  example.
 2013-11-20 10:39:20 +00: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
d6d1e7841e [MA27-006] Partial update of mapping spec. 
Corrected example contracts_with_remote_state
 2013-11-19 11:50:53 +00:00
Trevor Jennings
1f6eaccd7f MA27-006] Update of mapping spec 
Nearly completed
 2013-11-14 17:55:03 +00:00
Trevor Jennings
d4805cefab [MA27-006] Partial update of mapping spec. 
Work in progress
 2013-11-14 11:42:12 +00:00
Trevor Jennings
5dceef0fc6 MA27-006] Partial update of mapping spec. 
Work in progress
 2013-11-14 11:42:11 +00:00
Pavlos Efstathopoulos
fffe420072 Minor: removed an accidentally added file from version control 2013-11-13 11:45:09 +00:00
Trevor Jennings
f3a8a147bd [MA27-006] Partial update of mapping spec. 
Add missing file
 2013-11-13 11:18:49 +00:00
Trevor Jennings
d7ba8704c9 [MA27-006] Partial update of mapping spec. 
Work in progress
 2013-11-13 11:16:04 +00:00
Trevor Jennings
c0e9ae8e8f [MA27-006] Partial update of mapping spec. 
Work in progress
 2013-11-12 16:10:21 +00:00
Trevor Jennings
68b9baf100 [MA27-006][MB07-008] 
[MA27-006] Work in progress on mapping spec
[MB07-008] Correction to SPARK RM to allow subprograms declared
in the private part of a package to have Refined_... aspects
 2013-11-08 14:28:51 +00:00
Trevor Jennings
0c656ec3b5 [MA27-006] Partial update of mapping spec. 
Missing file
 2013-11-05 15:46:16 +00:00
Trevor Jennings
717bfc3ecc [MA27-006] Partial update of mapping spec. 
Work in progress
 2013-11-05 15:42:14 +00:00
Trevor Jennings
6a0b85b69a [MA27-006] Partial update of mapping spec. 
Work in progress
 2013-11-05 15:35:35 +00:00
Trevor Jennings
3ffa416f0e [MA27-006] Partial update of mapping spec. 
Work in progress
 2013-11-05 11:26:37 +00:00
Arnaud Charlet
ad4fa457a4 Minor editing, remove redundant parens. 2013-10-27 12:42:20 +01:00