]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2dbdd82) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 2 Jan 2013 10:15:44 +0000 (11:15 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 2 Jan 2013 10:15:44 +0000 (11:15 +0100)
commitfab62a15d14a3a8cf4a534f48411108a776b1a81
treed634861a660b2234686c24b7a8d3cb903120f717tree
parent2dbdd821d6a7d75afdc640b6fd7207545b520430commit | diff
[multiple changes]

2013-01-02  Vincent Celier  <celier@adacore.com>

* usage.adb: Minor reformatting.

2013-01-02  Arnaud Charlet  <charlet@adacore.com>

* opt.ads: Fix typo.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb: Generate P decision SCOs for SPARK pragmas
Assume and Loop_Invariant.

From-SVN: r194791
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/opt.ads diff | blob | blame | history
gcc/ada/par_sco.adb diff | blob | blame | history
gcc/ada/usage.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git