aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/par-prag.adb
AgeCommit message (Expand)AuthorFilesLines
2014-07-29gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old.Robert Dewar1-0/+1
2014-07-18[multiple changes]Arnaud Charlet1-0/+1
2014-06-13lib.ads, [...] (Is_Compiler_Unit): Removed.Robert Dewar1-2/+16
2014-06-11[multiple changes]Arnaud Charlet1-4/+1
2014-02-25[multiple changes]Arnaud Charlet1-0/+1
2014-02-25[multiple changes]Arnaud Charlet1-0/+1
2014-02-25lib.ads, [...]: Implement pragma Compiler_Unit_Warning...Arnaud Charlet1-0/+1
2014-02-20[multiple changes]Arnaud Charlet1-5/+26
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2014-01-292014-01-29 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-0/+1
2014-01-21[multiple changes]Arnaud Charlet1-0/+4
2014-01-20[multiple changes]Arnaud Charlet1-0/+1
2013-10-17aspects.adb, [...]: Remove all entries for Refined_Pre from the various tables.Hristian Kirtchev1-1/+0
2013-10-14[multiple changes]Arnaud Charlet1-0/+1
2013-10-14[multiple changes]Arnaud Charlet1-0/+2
2013-10-14aspects.adb: Add an entry in table Canonical_Aspect for Initializes.Hristian Kirtchev1-0/+1
2013-10-13gnat_rm.texi: Add documentation for pragmas Pre[_Class] Post[_Class].Robert Dewar1-0/+4
2013-10-10[multiple changes]Arnaud Charlet1-0/+1
2013-10-10[multiple changes]Arnaud Charlet1-0/+2
2013-10-10[multiple changes]Arnaud Charlet1-0/+1
2013-10-10[multiple changes]Arnaud Charlet1-0/+1
2013-09-10[multiple changes]Arnaud Charlet1-0/+4
2013-07-08[multiple changes]Arnaud Charlet1-4/+2
2013-07-08[multiple changes]Arnaud Charlet1-5/+5
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev1-0/+1
2013-04-25[multiple changes]Arnaud Charlet1-1/+1
2013-04-25gnat_rm.texi: Document Reason argument for pragma Warnings.Robert Dewar1-2/+9
2013-04-25[multiple changes]Arnaud Charlet1-1/+0
2013-04-22par-prag.adb, [...]: Remove all references to Pragma_Contract_Case and Name_C...Yannick Moy1-1/+0
2013-04-12[multiple changes]Arnaud Charlet1-3/+1
2013-04-12aspects.adb: Alphabetize subprogram bodies in this unit.Hristian Kirtchev1-0/+1
2013-04-11[multiple changes]Arnaud Charlet1-0/+1
2013-02-06[multiple changes]Arnaud Charlet1-0/+1
2013-02-06snames.ads-tmpl (Name_Loop_Optimize, [...]): New pragma-related names.Eric Botcazou1-0/+1
2013-02-06[multiple changes]Arnaud Charlet1-0/+1
2013-02-06[multiple changes]Arnaud Charlet1-1/+2
2013-01-29[multiple changes]Arnaud Charlet1-7/+16
2013-01-04[multiple changes]Arnaud Charlet1-0/+1
2013-01-03[multiple changes]Arnaud Charlet1-0/+1
2013-01-02checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.Robert Dewar1-0/+1
2012-12-05[multiple changes]Arnaud Charlet1-0/+1
2012-12-05[multiple changes]Arnaud Charlet1-1/+2
2012-12-05[multiple changes]Arnaud Charlet1-0/+1
2012-12-05gnat_rm.texi: Update overflow description.Robert Dewar1-1/+1
2012-11-06[multiple changes]Arnaud Charlet1-0/+1
2012-10-29gnat_rm.texi, [...] (Sem_Prag.Analyze_Pragma): Handle new pragma Attribute_De...Thomas Quinot1-0/+1
2012-10-29[multiple changes]Arnaud Charlet1-0/+1
2012-10-29[multiple changes]Arnaud Charlet1-0/+1
2012-10-01[multiple changes]Arnaud Charlet1-0/+1
2012-06-14[multiple changes]Arnaud Charlet1-0/+1