aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/opt.ads
AgeCommit message (Expand)AuthorFilesLines
2014-08-01snames.ads-tmpl, [...]: Remove VMS-specific code.Robert Dewar1-13/+0
2014-08-01[multiple changes]Arnaud Charlet1-1/+1
2014-08-01debug.adb: Remove doc for gnatmake/gprbuild switch -ds.Vincent Celier1-0/+5
2014-07-31[multiple changes]Arnaud Charlet1-0/+4
2014-07-30[multiple changes]Arnaud Charlet1-1/+1
2014-07-30[multiple changes]Arnaud Charlet1-9/+13
2014-07-30gnat1drv.adb (Adjust_Global_Switches): Set Ineffective_Inline_Warnings to Tru...Yannick Moy1-4/+5
2014-07-29[multiple changes]Arnaud Charlet1-1/+2
2014-07-29[multiple changes]Arnaud Charlet1-14/+27
2014-07-29gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old.Robert Dewar1-0/+10
2014-07-18[multiple changes]Arnaud Charlet1-11/+10
2014-07-16[multiple changes]Arnaud Charlet1-1/+6
2014-06-13lib.ads, [...] (Is_Compiler_Unit): Removed.Robert Dewar1-0/+9
2014-06-11[multiple changes]Arnaud Charlet1-7/+6
2014-04-14opt.ads (Suppress_Back_Annotation): Remove as unused.Eric Botcazou1-6/+0
2014-02-25[multiple changes]Arnaud Charlet1-0/+29
2014-02-25[multiple changes]Arnaud Charlet1-1/+6
2014-02-25binde.adb: Change messages to mention -gnatel instead of -gnatwl.Robert Dewar1-1/+5
2014-02-06[multiple changes]Arnaud Charlet1-0/+7
2014-02-04[multiple changes]Arnaud Charlet1-2/+2
2014-01-31[multiple changes]Arnaud Charlet1-1/+4
2014-01-27[multiple changes]Arnaud Charlet1-1/+3
2014-01-27[multiple changes]Arnaud Charlet1-3/+3
2014-01-24back_end.adb: Remove Short_Enums handling (handled in Ttypes/Get_Targ now) Mi...Robert Dewar1-9/+6
2014-01-24[multiple changes]Arnaud Charlet1-1/+1
2014-01-22[multiple changes]Arnaud Charlet1-6/+6
2014-01-22errout.adb (Initialize): Remove trick to add dummy entry in Warnings table.Yannick Moy1-2/+5
2014-01-21[multiple changes]Arnaud Charlet1-1/+12
2014-01-21[multiple changes]Arnaud Charlet1-0/+5
2014-01-20[multiple changes]Arnaud Charlet1-5/+13
2014-01-20[multiple changes]Arnaud Charlet1-16/+0
2014-01-20[multiple changes]Arnaud Charlet1-4/+5
2014-01-20[multiple changes]Arnaud Charlet1-3/+2
2014-01-20[multiple changes]Arnaud Charlet1-0/+7
2014-01-20[multiple changes]Arnaud Charlet1-1/+3
2014-01-20[multiple changes]Arnaud Charlet1-8/+7
2014-01-20exp_spark.adb (Expand_SPARK_Call): Remove procedure.Yannick Moy1-12/+0
2014-01-202014-01-20 Yannick Moy <moy@adacore.com>Yannick Moy1-2/+2
2013-10-17gnat_ugn.texi: Document -gnatw.y/-gnatw.Y.Robert Dewar1-0/+5
2013-10-14[multiple changes]Arnaud Charlet1-0/+7
2013-10-14gnat_ugn.texi: Document -gnateu switch.Robert Dewar1-0/+6
2013-10-10[multiple changes]Arnaud Charlet1-6/+6
2013-09-10[multiple changes]Arnaud Charlet1-0/+8
2013-09-10[multiple changes]Arnaud Charlet1-1/+1
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev1-11/+15
2013-07-05freeze.adb (Freeze_Entity): Remove test of obsolete flag Propagate_Exceptions...Robert Dewar1-6/+0
2013-04-25[multiple changes]Arnaud Charlet1-7/+0
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-10/+12
2013-04-23[multiple changes]Arnaud Charlet1-1/+1
2013-04-22sem_prag.adb, [...]: Minor reformatting.Robert Dewar1-8/+11
generated by cgit v1.1 at 2024-11-11 17:11:37 +0000