aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2013-04-25Minor reformatting.Arnaud Charlet1-2/+2
2013-04-25* gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Exclude s-init.ad{s,b}Arnaud Charlet2-0/+5
2013-04-25Update dependencies.Arnaud Charlet1-36/+35
2013-04-25[multiple changes]Arnaud Charlet17-2008/+168
2013-04-25[multiple changes]Arnaud Charlet6-102/+149
2013-04-25gnat_rm.texi: Document Reason argument for pragma Warnings.Robert Dewar5-23/+71
2013-04-25[multiple changes]Arnaud Charlet6-61/+105
2013-04-25[multiple changes]Arnaud Charlet4-38/+34
2013-04-25[multiple changes]Arnaud Charlet6-486/+551
2013-04-25sem_prag.adb: Minor code reorganization (correct misspelling Restiction).Robert Dewar10-406/+826
2013-04-25[multiple changes]Arnaud Charlet9-256/+385
2013-04-25sem_ch12.adb, [...]: Minor reformatting.Robert Dewar4-82/+88
2013-04-25[multiple changes]Arnaud Charlet7-21/+117
2013-04-25[multiple changes]Arnaud Charlet15-215/+261
2013-04-25[multiple changes]Arnaud Charlet5-49/+69
2013-04-25[multiple changes]Arnaud Charlet11-27/+145
2013-04-25[multiple changes]Arnaud Charlet6-4/+49
2013-04-25einfo.ads, einfo.adb: Remove with and use clauses for Namet.Hristian Kirtchev6-61/+62
2013-04-25[multiple changes]Arnaud Charlet6-22/+151
2013-04-25sem_ch7.adb, [...]: Minor reformatting.Robert Dewar6-22/+20
2013-04-25sem_ch7.adb: Minor reformatting.Thomas Quinot2-1/+5
2013-04-25[multiple changes]Arnaud Charlet19-117/+205
2013-04-24Update dependencies.Arnaud Charlet1-1418/+1467
2013-04-24[multiple changes]Arnaud Charlet11-284/+310
2013-04-24[multiple changes]Arnaud Charlet16-82/+187
2013-04-24[multiple changes]Arnaud Charlet7-41/+132
2013-04-24[multiple changes]Arnaud Charlet7-65/+105
2013-04-24[multiple changes]Arnaud Charlet7-118/+172
2013-04-24snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration p...Yannick Moy3-11/+15
2013-04-24[multiple changes]Arnaud Charlet7-7/+20
2013-04-24[multiple changes]Arnaud Charlet9-13/+111
2013-04-242013-04-24 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet8-40/+239
2013-04-24[multiple changes]Arnaud Charlet14-429/+641
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy45-1918/+1925
2013-04-24gnat_rm.texi: Document pragma Assume.Robert Dewar3-33/+53
2013-04-24gnat_rm.texi: Document pragma Assert_And_Cut.Robert Dewar3-4/+42
2013-04-24[multiple changes]Arnaud Charlet3-4/+21
2013-04-24exp_ch6.adb: Remove with and use clause for Sem_Prag.Hristian Kirtchev8-758/+610
2013-04-24[multiple changes]Arnaud Charlet14-71/+199
2013-04-24exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): If this is a renaming...Ed Schonberg4-7/+34
2013-04-24[multiple changes]Arnaud Charlet9-91/+178
2013-04-24[multiple changes]Arnaud Charlet9-30/+73
2013-04-24[multiple changes]Arnaud Charlet4-14/+93
2013-04-23re PR target/55445 (Always defined __SEH__ when build from trunk)Kai Tietz2-3/+9
2013-04-23Makefile.in (targ): Fix target name check.Eric Botcazou2-3/+10
2013-04-23Update dependencies.Arnaud Charlet1-515/+530
2013-04-23[multiple changes]Arnaud Charlet14-1526/+1790
2013-04-23sem_ch13.adb: Minor code reorganization (remove some redundant assignments).Robert Dewar4-20/+12
2013-04-23[multiple changes]Arnaud Charlet8-21/+130
2013-04-23[multiple changes]Arnaud Charlet8-83/+102