aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat1drv.adb
AgeCommit message (Expand)AuthorFilesLines
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
2017-11-09exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat1-2/+3
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-0/+8
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-09-29[multiple changes]Pierre-Marie de Rodat1-2/+7
2017-09-25[multiple changes]Pierre-Marie de Rodat1-2/+2
2017-09-25[multiple changes]Pierre-Marie de Rodat1-29/+29
2017-09-12[multiple changes]Arnaud Charlet1-3/+7
2017-09-12[multiple changes]Arnaud Charlet1-4/+12
2017-09-11gnat1drv.adb (Adjust_Global_Switches): Set Check_Validity_Of_Parameters to Fa...Yannick Moy1-0/+2
2017-09-08[multiple changes]Arnaud Charlet1-0/+7
2017-09-08sem_ch3.adb, [...]: Remove references to Frontend_Layout_On_Target and remain...Arnaud Charlet1-15/+9
2017-09-08[multiple changes]Arnaud Charlet1-1/+1
2017-09-08[multiple changes]Arnaud Charlet1-3/+3
2017-09-07[multiple changes]Arnaud Charlet1-1/+5
2017-04-28exp_util.adb, [...]: Minor reformatting.Hristian Kirtchev1-21/+25
2017-04-27[multiple changes]Arnaud Charlet1-20/+23
2017-04-27[multiple changes]Arnaud Charlet1-0/+24
2017-04-27[multiple changes]Arnaud Charlet1-1/+17
2017-04-252017-04-25 Arnaud Charlet <charlet@adacore.com trojanek>Arnaud Charlet1-0/+5
2017-01-23ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.Hristian Kirtchev1-8/+16
2017-01-19[multiple changes]Arnaud Charlet1-1/+1
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-0/+2
2017-01-13[multiple changes]Arnaud Charlet1-13/+0
2017-01-13[multiple changes]Arnaud Charlet1-0/+5
2017-01-12[multiple changes]Arnaud Charlet1-22/+29
2016-10-13[multiple changes]Arnaud Charlet1-12/+7
2016-10-13[multiple changes]Arnaud Charlet1-7/+12
2016-10-13sem_prag.ads (Process_Compile_Time_Warning_Or_Error): New overloaded subprogr...Javier Miranda1-0/+12
2016-10-12[multiple changes]Arnaud Charlet1-1/+1
2016-07-06[multiple changes]Arnaud Charlet1-76/+98
2016-07-04[multiple changes]Arnaud Charlet1-5/+0
2016-06-16[multiple changes]Arnaud Charlet1-1/+1
generated by cgit v1.1 at 2025-03-27 15:24:05 +0000