aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/opt.adb
AgeCommit message (Expand)AuthorFilesLines
2019-07-04[Ada] Minor reformattingHristian Kirtchev1-0/+1
2019-07-04[Ada] Keep assertions in internal units enabled for GNATprovePiotr Trojanek1-1/+7
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-17[Ada] Configuration state not observed for instance bodiesHristian Kirtchev1-47/+51
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-09-06[multiple changes]Arnaud Charlet1-0/+5
2017-05-02[multiple changes]Arnaud Charlet1-3/+2
2015-11-25[multiple changes]Arnaud Charlet1-4/+8
2015-11-23opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL...Olivier Hainque1-0/+38
2015-02-20[multiple changes]Arnaud Charlet1-5/+10
2014-10-30Recommit wrongly reverted change.Arnaud Charlet1-1/+1
2014-10-10exp_intr.adb (Write_Entity_Name): Moved to outer levelRobert Dewar1-0/+7
2014-08-01a-numaux-vxworks.ads, [...]: Fix bad package header comments.Robert Dewar1-4/+0
2014-07-29[multiple changes]Arnaud Charlet1-0/+5
2014-07-29gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old.Robert Dewar1-0/+5
2014-07-18[multiple changes]Arnaud Charlet1-1/+11
2014-02-25[multiple changes]Arnaud Charlet1-0/+7
2014-01-27[multiple changes]Arnaud Charlet1-1/+1
2014-01-23[multiple changes]Arnaud Charlet1-0/+1
2014-01-23[multiple changes]Arnaud Charlet1-0/+2
2014-01-23[multiple changes]Arnaud Charlet1-2/+7
2014-01-20[multiple changes]Arnaud Charlet1-0/+5
2014-01-20exp_spark.adb (Expand_SPARK_Call): Remove procedure.Yannick Moy1-9/+0
2014-01-202014-01-20 Yannick Moy <moy@adacore.com>Yannick Moy1-1/+1
2013-09-10[multiple changes]Arnaud Charlet1-0/+5
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-1/+1
2013-04-12[multiple changes]Arnaud Charlet1-17/+1
2013-01-02checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.Robert Dewar1-0/+6
2012-10-01[multiple changes]Arnaud Charlet1-3/+1
2011-08-31[multiple changes]Arnaud Charlet1-1/+1
2011-08-30[multiple changes]Arnaud Charlet1-0/+9
2011-08-05a-cbmutr.adb: Minor reformattingRobert Dewar1-0/+8
2011-08-04[multiple changes]Arnaud Charlet1-8/+15
2011-08-04[multiple changes]Arnaud Charlet1-1/+5
2011-08-01sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq...Robert Dewar1-67/+0
2011-08-01err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~Yannick Moy1-1/+5
2011-08-01[multiple changes]Arnaud Charlet1-0/+63
2010-10-18[multiple changes]Arnaud Charlet1-0/+6
2010-09-10[multiple changes]Arnaud Charlet1-0/+4
2010-06-22[multiple changes]Arnaud Charlet1-1/+1
2009-11-30[multiple changes]Arnaud Charlet1-0/+8
2009-04-09Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception.Jakub Jelinek1-13/+11
2008-08-22checks.adb (Determine_Range): Deal with values that might be invalidArnaud Charlet1-16/+23
2008-04-08fe.h: Remove global Optimize_Alignment flag, no longer usedRobert Dewar1-13/+31
2008-03-26ali.ads, ali.adb (Optimize_Alignment_Setting): New field in ALI recordRobert Dewar1-0/+6
2007-12-13a-ngcoty.adb: New pragma Fast_MathRobert Dewar1-0/+5
2007-06-06g-comlin.ads, [...]: Add new warning for renaming of function return objectsRobert Dewar1-14/+16
2006-02-15opt.ads opt.adb: Add Ada_Version_Explicit_Config along with save/restore rout...Robert Dewar1-26/+20
2005-09-05opt.ads, opt.adb: Add new switches Debug_Pragmas_Enabled[_Config]Robert Dewar1-3/+25
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
generated by cgit v1.1 at 2024-11-11 16:52:02 +0000