aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat1drv.adb
AgeCommit message (Expand)AuthorFilesLines
2021-07-07[Ada] Simplify handling of Generate_Code flag for compilation unitsPiotr Trojanek1-23/+0
2021-07-05[Ada] Turn GNAT_Annotate into its own pragmaGhjuvan Lacambre1-7/+0
2021-06-21[Ada] Make -gnatU and -gnatw.d the defaultGhjuvan Lacambre1-0/+6
2021-05-07[Ada] Minor reformattingsBob Duff1-30/+30
2021-05-07[Ada] Variable-sized node typesBob Duff1-15/+3
2021-05-06[Ada] In CodePeer mode, use regular-exception handlingBoris Yakobowski1-6/+2
2021-05-05[Ada] Speed up enumeration'Value with perfect hash functionPiotr Trojanek1-0/+6
2021-05-04[Ada] Use error marker for messages in GNATprove modeYannick Moy1-0/+4
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-29[Ada] Fix internal consistency error with Duration and 32-bit target fileEric Botcazou1-0/+6
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-9/+0
2020-10-27[Ada] Remove Digits_From_Size and Width_From_SizeEric Botcazou1-2/+0
2020-10-27[Ada] New flag Transform_Function_ArrayArnaud Charlet1-6/+10
2020-10-23[Ada] Always enable the support for 128-bit integer types on 64-bit platformsEric Botcazou1-21/+12
2020-10-22[Ada] Enable the support of 128-bit integer types by defaultEric Botcazou1-22/+22
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-0/+27
2020-10-20[Ada] Flexible AST node structureBob Duff1-2/+9
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet1-8/+0
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-6/+5
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet1-15/+7
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-43/+10
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-10-10[Ada] Fix handling of -gnatceg on incomplete unitArnaud Charlet1-2/+16
2019-08-14[Ada] Defer processing of unknown CTW/E conditions to the back endBob Duff1-0/+2
2019-08-13[Ada] Do not set Back_End_Inlining in ASIS modeEric Botcazou1-0/+4
2019-07-11[Ada] Refactor ownership pointer checking in SPARK as a genericClaire Dross1-8/+0
2019-07-11[Ada] Minor reformattingHristian Kirtchev1-3/+4
2019-07-11[Ada] New Repinfo.Input unit to read back JSON representation info.Eric Botcazou1-1/+46
2019-07-09[Ada] Set Dynamic_Elaboration_Checks to True in CodePeer modeArnaud Charlet1-1/+6
2019-07-08[Ada] Suppress warnings on memory representation in CodePeer modeDaniel Mercier1-1/+17
2019-07-08[Ada] Code reorganizationJavier Miranda1-1/+2
2019-07-04[Ada] Clean up support for validity checks in the compilerEric Botcazou1-2/+1
2019-07-01[Ada] gprbuild fails to find ghost ALI filesBob Duff1-2/+6
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] gnatbind: ghost code with -gnatQBob Duff1-2/+3
2018-12-11[Ada] Minor reformattingHristian Kirtchev1-2/+3
2018-12-11[Ada] Better error message from GNATprove on illegal switchYannick Moy1-2/+15
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-1/+1
2018-09-26[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_FileArnaud Charlet1-0/+6
2018-07-17[Ada] Avoid confusing warning on exception propagation in GNATprove modeYannick Moy1-0/+6
2018-06-11[Ada] Minor tweaks for RepinfoEric Botcazou1-3/+5
2018-06-11[Ada] Do not query the representation information in CodePeer/GNATproveYannick Moy1-1/+8
2018-05-23[Ada] Minor reformattingsHristian Kirtchev1-2/+3
2018-05-23[Ada] Turn off length expansion in CodePeer modeDaniel Mercier1-0/+4
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2018-01-11exp_util.adb (Remove_Side_Effects): No action done for functions returning cl...Javier Miranda1-0/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-3/+3
2017-12-05[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-0/+7
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
generated by cgit v1.1 at 2025-02-19 14:33:29 +0000