projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f8d3dd) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:11:12 +0000 (14:11 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:11:12 +0000 (14:11 +0200)
commitca0b6141fa6a9c98939224ebc3b7ddc171df5b96
treeec75083ebd09c2e021f40d04d04b9092e0c5b95etree
parent5f8d3dd5b33acad71225d815ef3389fbf6c5963dcommit | diff
[multiple changes]

2017-04-25  Gary Dismukes  <dismukes@adacore.com>

* sem_ch3.adb, exp_util.adb, sem_prag.adb, exp_ch4.adb: Minor
reformatting.

2017-04-25  Yannick Moy  <moy@adacore.com>

* a-ngelfu.adb, a-ngelfu.ads: Add SPARK_Mode On on spec, Off
on body.

From-SVN: r247207
gcc/ada/ChangeLog diff | blob | history
gcc/ada/a-ngelfu.adb diff | blob | history
gcc/ada/a-ngelfu.ads diff | blob | history
gcc/ada/exp_ch4.adb diff | blob | history
gcc/ada/exp_util.adb diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history