aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/restrict.adb
AgeCommit message (Expand)AuthorFilesLines
2024-05-14ada: Fix crash with -gnatdJ and JSON outputRonan Desplanques1-6/+6
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+12
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-21ada: Internal compiler error for Sequential Partition_Elaboration_PolicySteve Baird1-2/+10
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-07-12[Ada] Extend No_Dependence restriction to code generationEric Botcazou1-21/+70
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-3/+3
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-18/+0
2021-07-07[Ada] Optimize away certain elaboration checksBob Duff1-3/+2
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-0/+15
2021-06-16[Ada] Fix typos in all occurrences of "occuring" in GNATPiotr Trojanek1-1/+1
2021-05-07[Ada] Minor reformattingsBob Duff1-17/+17
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-12/+12
2020-07-16[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPUBob Duff1-16/+35
2020-07-07[Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clausesGhjuvan Lacambre1-1/+8
2020-06-16[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-1/+3
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-0/+22
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-173/+3
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-2/+2
2016-10-12exp_ch5.adb, [...]: Minor reformatting.Hristian Kirtchev1-6/+6
2016-10-12[multiple changes]Arnaud Charlet1-2/+4
2016-06-22[multiple changes]Arnaud Charlet1-2/+1
2016-06-16[multiple changes]Arnaud Charlet1-14/+14
2016-04-18par-ch2.adb (P_Expression_Or_Reserved_Word): New routine.Hristian Kirtchev1-134/+145
2015-10-23gnat1drv.adb (Adjust_Global_Switches): Adjust settings.Arnaud Charlet1-4/+2
2015-10-23[multiple changes]Arnaud Charlet1-1/+1
2015-10-23exp_ch7.adb (Process_Transient_Objects): Reimplement to properly handle restr...Hristian Kirtchev1-5/+9
2015-10-20fmap.adb, [...]: Fix coding style for marking start of processing of subprogr...Yannick Moy1-1/+1
2015-10-20[multiple changes]Arnaud Charlet1-0/+18
2015-05-26[multiple changes]Arnaud Charlet1-3/+3
2015-05-26[multiple changes]Arnaud Charlet1-3/+24
2015-01-07prj.ads, [...]: Minor reformatting.Robert Dewar1-0/+189
2014-10-17[multiple changes]Arnaud Charlet1-1/+2
2014-08-04[multiple changes]Arnaud Charlet1-8/+8
2014-08-04[multiple changes]Arnaud Charlet1-0/+1
2014-08-01restrict.adb (Update_Restrictions): For restrictions with a maximum parameter...Ed Schonberg1-2/+11
2014-08-01[multiple changes]Arnaud Charlet1-7/+2
2014-07-31[multiple changes]Arnaud Charlet1-0/+5
2014-06-13lib.ads, [...] (Is_Compiler_Unit): Removed.Robert Dewar1-3/+10
2014-06-112014-06-11 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet1-66/+66
2014-05-21[multiple changes]Arnaud Charlet1-4/+4
2014-05-21[multiple changes]Arnaud Charlet1-2/+2
2014-02-25lib.ads, [...]: Implement pragma Compiler_Unit_Warning...Arnaud Charlet1-1/+1
generated by cgit v1.1 at 2024-07-04 10:36:03 +0000