aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2015-10-29decl.c: Reorder #include's and remove duplicates.Andrew MacLeod6-50/+35
2015-10-27[multiple changes]Arnaud Charlet5-519/+649
2015-10-27namet.adb, namet.ads: Minor reformatting.Hristian Kirtchev3-161/+171
2015-10-27[multiple changes]Arnaud Charlet11-27/+106
2015-10-27[multiple changes]Arnaud Charlet8-38/+162
2015-10-27inline.adb (Is_Expression_Function): Removed.Hristian Kirtchev6-44/+85
2015-10-27lib-xref-spark_specific.adb, [...]: Minor reformatting.Hristian Kirtchev6-19/+28
2015-10-27[multiple changes]Arnaud Charlet5-9/+45
2015-10-27sinput.ads, [...]: Fix typos.Arnaud Charlet4-7/+11
2015-10-27[multiple changes]Arnaud Charlet4-13/+45
2015-10-27[multiple changes]Arnaud Charlet3-16/+13
2015-10-27[multiple changes]Arnaud Charlet6-38/+128
2015-10-26[multiple changes]Arnaud Charlet9-170/+264
2015-10-26contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b...Hristian Kirtchev9-69/+184
2015-10-26[multiple changes]Arnaud Charlet4-26/+73
2015-10-26[multiple changes]Arnaud Charlet14-50/+521
2015-10-26[multiple changes]Arnaud Charlet6-266/+33
2015-10-26[multiple changes]Arnaud Charlet4-26/+31
2015-10-26[multiple changes]Arnaud Charlet8-21/+42
2015-10-26[multiple changes]Arnaud Charlet9-15/+153
2015-10-26[multiple changes]Arnaud Charlet22-821/+1962
2015-10-26sysdep.c (__gnat_get_task_options): Refine the workaround for the VX_USR_TASK...Jerome Lambourg3-5/+17
2015-10-26[multiple changes]Arnaud Charlet5-22/+195
2015-10-26sem_ch3.adb, [...]: Minor reformatting.Hristian Kirtchev3-21/+32
2015-10-26[multiple changes]Arnaud Charlet7-52/+97
2015-10-26s-rident.ads (No_Dynamic_Sized_Objects): New restriction name.Bob Duff6-0/+131
2015-10-26[multiple changes]Arnaud Charlet3-8/+21
2015-10-26debug.adb: Introduce debug flag -gnatd.5.Arnaud Charlet2-1/+9
2015-10-26s-os_lib.ads, [...] (Kill): New routine.Pascal Obry6-50/+71
2015-10-26einfo.ads, [...] (Needs_Typedef, [...]): Removed, no longer used.Arnaud Charlet4-32/+6
2015-10-26[multiple changes]Arnaud Charlet8-33/+83
2015-10-26[multiple changes]Arnaud Charlet16-23/+105
2015-10-26osint-c.ads: Minor comment update.Arnaud Charlet9-28/+32
2015-10-26[multiple changes]Arnaud Charlet4-45/+106
2015-10-26[multiple changes]Arnaud Charlet7-15/+92
2015-10-26Minor reformatting.Arnaud Charlet1-3/+3
2015-10-26[multiple changes]Arnaud Charlet3-38/+42
2015-10-26[multiple changes]Arnaud Charlet3-54/+123
2015-10-26Code clean ups.Arnaud Charlet1-18/+23
2015-10-26[multiple changes]Arnaud Charlet9-283/+333
2015-10-26[multiple changes]Arnaud Charlet22-554/+1068
2015-10-26sem_case.adb (Check_Choice_Set): Choose initial choice range below low bound ...Ed Schonberg3-4/+18
2015-10-26[multiple changes]Arnaud Charlet16-635/+402
2015-10-26[multiple changes]Arnaud Charlet9-134/+559
2015-10-26[multiple changes]Arnaud Charlet4-17/+44
2015-10-26[multiple changes]Arnaud Charlet20-644/+1173
2015-10-26[multiple changes]Arnaud Charlet5-13/+56
2015-10-26[multiple changes]Arnaud Charlet3-6/+25
2015-10-26freeze.adb (Check_Component_Storage_Order): Skip a record component if it has...Eric Botcazou2-45/+71
2015-10-26[multiple changes]Arnaud Charlet5-13/+45