aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/aspects.ads
AgeCommit message (Expand)AuthorFilesLines
2014-02-24[multiple changes]Arnaud Charlet1-21/+1
2014-02-20[multiple changes]Arnaud Charlet1-0/+5
2014-02-19style.adb (Missing_Overriding): Warning does not apply in language versions p...Ed Schonberg1-0/+4
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/+4
2014-01-23[multiple changes]Arnaud Charlet1-0/+4
2014-01-21[multiple changes]Arnaud Charlet1-0/+16
2014-01-20[multiple changes]Arnaud Charlet1-1/+3
2013-10-17aspects.adb, [...]: Remove all entries for Refined_Pre from the various tables.Hristian Kirtchev1-5/+0
2013-10-14[multiple changes]Arnaud Charlet1-0/+4
2013-10-14aspects.adb: Add an entry in table Canonical_Aspect for Initializes.Hristian Kirtchev1-0/+4
2013-10-10[multiple changes]Arnaud Charlet1-0/+4
2013-10-10[multiple changes]Arnaud Charlet1-1/+11
2013-10-10[multiple changes]Arnaud Charlet1-1/+9
2013-10-10[multiple changes]Arnaud Charlet1-7/+40
2013-09-10[multiple changes]Arnaud Charlet1-7/+23
2013-09-10[multiple changes]Arnaud Charlet1-4/+12
2013-09-10aspects.ads, [...]: Minor reformatting.Thomas Quinot1-7/+7
2013-09-10[multiple changes]Arnaud Charlet1-0/+197
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev1-0/+3
2013-04-25sem_prag.adb: Minor code reorganization (correct misspelling Restiction).Robert Dewar1-1/+1
2013-04-25[multiple changes]Arnaud Charlet1-3/+0
2013-04-23[multiple changes]Arnaud Charlet1-235/+210
2013-04-22aspects.ads, [...]: Removal of references to Contract_Case.Yannick Moy1-6/+1
2013-04-12aspects.adb (Find_Aspect): New routine.Hristian Kirtchev1-2/+9
2013-04-12aspects.adb: Alphabetize subprogram bodies in this unit.Hristian Kirtchev1-17/+23
2013-04-11[multiple changes]Arnaud Charlet1-1/+5
2013-01-29[multiple changes]Arnaud Charlet1-3/+5
2013-01-04[multiple changes]Arnaud Charlet1-0/+4
2013-01-03[multiple changes]Arnaud Charlet1-1/+5
2012-12-05aspects.ads, [...]: Add aspect Relative_Deadline.Ed Schonberg1-0/+3
2012-12-05[multiple changes]Arnaud Charlet1-1/+0
2012-12-05[multiple changes]Arnaud Charlet1-3/+8
2012-10-02[multiple changes]Arnaud Charlet1-1/+1
2012-10-01aspects.ads: Type_Invariant'class is a valid aspect.Ed Schonberg1-5/+6
2012-08-06[multiple changes]Arnaud Charlet1-0/+4
2012-05-15[multiple changes]Arnaud Charlet1-1/+1
2012-05-15[multiple changes]Arnaud Charlet1-18/+23
2012-05-15[multiple changes]Arnaud Charlet1-0/+25
2012-05-15[multiple changes]Arnaud Charlet1-0/+13
2012-05-15[multiple changes]Arnaud Charlet1-1/+8
2012-04-10a-assert.ads: Remove execute permission.Mike Stump1-0/+0
2012-03-15aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_Contract_Case.Yannick Moy1-2/+7
2012-03-09[multiple changes]Arnaud Charlet1-0/+4
2012-02-08[multiple changes]Arnaud Charlet1-26/+29
2012-02-08[multiple changes]Arnaud Charlet1-0/+4
2012-01-30einfo.ads, [...]: Minor reformatting.Robert Dewar1-1/+0
2012-01-30[multiple changes]Arnaud Charlet1-1/+5
2012-01-23[multiple changes]Arnaud Charlet1-1/+4
2011-12-21[multiple changes]Arnaud Charlet1-0/+18