aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
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
2013-04-23[multiple changes]Arnaud Charlet6-29/+40
2013-04-23[multiple changes]Arnaud Charlet5-14/+32
2013-04-23sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogr...Ed Schonberg9-95/+106
2013-04-23exp_prag.adb (Expand_Pragma_Check): Check for Assert rather than Assertion.Robert Dewar7-100/+205
2013-04-23sinfo.ads, [...]: Minor reformatting and code clean up.Robert Dewar6-30/+46
2013-04-23[multiple changes]Arnaud Charlet7-15/+60
2013-04-23[multiple changes]Arnaud Charlet9-206/+325
2013-04-23[multiple changes]Arnaud Charlet6-44/+65
2013-04-23[multiple changes]Arnaud Charlet6-36/+56
2013-04-23[multiple changes]Arnaud Charlet5-17/+43
2013-04-23a-envvar.adb, [...]: Minor reformatting.Robert Dewar5-17/+22
2013-04-23[multiple changes]Arnaud Charlet8-256/+292
2013-04-23[multiple changes]Arnaud Charlet10-58/+163
2013-04-23[multiple changes]Arnaud Charlet5-31/+119
2013-04-22exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as null statement i...Yannick Moy4-25/+24
2013-04-22[multiple changes]Arnaud Charlet3-80/+156
2013-04-22[multiple changes]Arnaud Charlet7-19/+39
2013-04-22sem_prag.adb, [...]: Minor reformatting.Robert Dewar8-219/+214
2013-04-22exp_ch6.adb: Omit check for init proc.Ed Schonberg1-0/+1
2013-04-22[multiple changes]Arnaud Charlet8-23/+94
2013-04-22[multiple changes]Arnaud Charlet9-38/+57
2013-04-22par-prag.adb, [...]: Remove all references to Pragma_Contract_Case and Name_C...Yannick Moy9-193/+61
2013-04-22aspects.ads, [...]: Removal of references to Contract_Case.Yannick Moy7-138/+113
2013-04-12makeutl.adb, [...]: Minor reformatting.Robert Dewar7-67/+217
2013-04-12Update dependencies.Arnaud Charlet1-33/+34
2013-04-12[multiple changes]Arnaud Charlet7-89/+188
2013-04-12[multiple changes]Arnaud Charlet41-406/+302
2013-04-12exp_aggr.adb: Minor reformatting.Robert Dewar4-4/+134
generated by cgit v1.1 at 2024-08-24 05:39:14 +0000