aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/restrict.ads
AgeCommit message (Expand)AuthorFilesLines
2020-07-07[Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clausesGhjuvan Lacambre1-3/+4
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-0/+8
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-25/+0
2020-06-05[Ada] AI12-0318 No_IO should apply to Ada.DirectoriesArnaud Charlet1-0/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou1-3/+15
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
2016-10-12[multiple changes]Arnaud Charlet1-5/+5
2016-04-18par-ch2.adb (P_Expression_Or_Reserved_Word): New routine.Hristian Kirtchev1-5/+8
2015-11-13[multiple changes]Arnaud Charlet1-0/+1
2015-11-12[multiple changes]Arnaud Charlet1-1/+1
2015-10-26[multiple changes]Arnaud Charlet1-1/+1
2015-10-20[multiple changes]Arnaud Charlet1-0/+9
2015-10-20sem_ch13.adb (Analyze_One_Aspect): Avoid analyzing the expression in a 'Disab...Bob Duff1-1/+1
2015-10-16sem_ch12.adb: Minor punctuation fix in commentArnaud Charlet1-2/+2
2015-05-26[multiple changes]Arnaud Charlet1-5/+16
2015-01-07prj.ads, [...]: Minor reformatting.Robert Dewar1-10/+32
2015-01-06[multiple changes]Arnaud Charlet1-2/+43
2014-08-04[multiple changes]Arnaud Charlet1-4/+4
2014-08-01[multiple changes]Arnaud Charlet1-2/+0
2014-07-31[multiple changes]Arnaud Charlet1-0/+1
2014-07-17bindgen.adb (Gen_Elab_Calls): Skip reference to elab entity if none exists (G...Robert Dewar1-0/+1
2014-07-17[multiple changes]Arnaud Charlet1-1/+1
2014-07-17gnat_rm.texi: Improve documentation of Unrestricted_Access.Robert Dewar1-1/+2
2014-06-13lib.ads, [...] (Is_Compiler_Unit): Removed.Robert Dewar1-4/+9
2014-05-21layout.adb: Minor reformatting.Robert Dewar1-1/+2
2014-01-22[multiple changes]Arnaud Charlet1-1/+1
2013-07-08[multiple changes]Arnaud Charlet1-0/+5
2013-07-08[multiple changes]Arnaud Charlet1-29/+3
2013-07-08[multiple changes]Arnaud Charlet1-6/+6
2013-07-05par_sco.adb, [...]: Minor reformatting.Robert Dewar1-3/+3
2013-04-24[multiple changes]Arnaud Charlet1-1/+1
2013-04-12[multiple changes]Arnaud Charlet1-3/+3
2013-04-12s-rident.ads: Add various missing Ada 2012 restrictions...Ed Schonberg1-1/+24
2012-12-05[multiple changes]Arnaud Charlet1-3/+9
2012-07-12[multiple changes]Arnaud Charlet1-4/+4
2012-07-09[multiple changes]Arnaud Charlet1-5/+5
2011-11-21frontend.adb (Frontend): Capture restrictions from config filesRobert Dewar1-20/+65
2011-11-21sem_ch6.adb (Is_Public_Subprogram_For): New procedureArnaud Charlet1-0/+7
2011-09-19[multiple changes]Arnaud Charlet1-2/+16
2011-08-29[multiple changes]Arnaud Charlet1-1/+1
2011-08-05exp_ch7.ads, [...]: Minor reformatting.Robert Dewar1-0/+5
2011-08-03sem_aggr.adb, [...]: Minor reformattingRobert Dewar1-7/+7
2011-08-03[multiple changes]Arnaud Charlet1-2/+2
2011-08-02[multiple changes]Arnaud Charlet1-3/+3
2011-08-02[multiple changes]Arnaud Charlet1-7/+11
2011-08-02[multiple changes]Arnaud Charlet1-0/+31
2011-08-02sem_aggr.adb, [...]: cleanup of SPARK modeYannick Moy1-2/+2
2011-08-02[multiple changes]Arnaud Charlet1-8/+20
generated by cgit v1.1 at 2024-08-19 14:42:29 +0000