aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/opt.adb
AgeCommit message (Expand)AuthorFilesLines
2021-06-18[Ada] Replace Opt.Extensions_Allowed by Ada_VersionArnaud Charlet1-5/+0
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-23[Ada] Update header of front-end filesArnaud Charlet1-10/+4
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet1-4/+0
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet1-126/+0
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-4/+0
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
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
generated by cgit v1.1 at 2024-11-06 10:04:37 +0000