aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_prag.ads
AgeCommit message (Expand)AuthorFilesLines
2014-08-01a-numaux-vxworks.ads, [...]: Fix bad package header comments.Robert Dewar1-6/+4
2014-07-31sem_parg.adb, [...] (Collect_Subprogram_Inputs_Outputs): Make subprogram public.Yannick Moy1-1/+13
2014-02-18[multiple changes]Arnaud Charlet1-0/+26
2014-01-292014-01-29 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-0/+5
2014-01-27[multiple changes]Arnaud Charlet1-1/+1
2014-01-21[multiple changes]Arnaud Charlet1-2/+2
2014-01-21[multiple changes]Arnaud Charlet1-0/+18
2014-01-20[multiple changes]Arnaud Charlet1-2/+3
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/+3
2013-10-14[multiple changes]Arnaud Charlet1-4/+10
2013-10-14aspects.adb: Add an entry in table Canonical_Aspect for Initializes.Hristian Kirtchev1-0/+3
2013-10-10[multiple changes]Arnaud Charlet1-0/+3
2013-10-10[multiple changes]Arnaud Charlet1-18/+26
2013-10-10[multiple changes]Arnaud Charlet1-3/+16
2013-10-10[multiple changes]Arnaud Charlet1-2/+2
2013-10-10[multiple changes]Arnaud Charlet1-2/+11
2013-09-10[multiple changes]Arnaud Charlet1-3/+4
2013-09-10exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set.Robert Dewar1-19/+0
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev1-0/+11
2013-04-24exp_ch6.adb: Remove with and use clause for Sem_Prag.Hristian Kirtchev1-7/+10
2013-04-23[multiple changes]Arnaud Charlet1-0/+6
2013-04-23[multiple changes]Arnaud Charlet1-10/+0
2013-04-23[multiple changes]Arnaud Charlet1-2/+2
2013-04-23exp_prag.adb (Expand_Pragma_Check): Check for Assert rather than Assertion.Robert Dewar1-9/+26
2013-04-22[multiple changes]Arnaud Charlet1-1/+1
2013-04-22[multiple changes]Arnaud Charlet1-8/+8
2013-04-12makeutl.adb, [...]: Minor reformatting.Robert Dewar1-12/+10
2013-04-12[multiple changes]Arnaud Charlet1-6/+38
2013-04-11exp_ch4.adb (Expand_Concatenate): Remove wrapping in expression-with-actions ...Robert Dewar1-8/+1
2013-01-02[multiple changes]Arnaud Charlet1-1/+2
2012-03-15sem_prag.adb, [...]: Minor reformatting.Robert Dewar1-8/+8
2012-03-15aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_Contract_Case.Yannick Moy1-7/+7
2012-01-23[multiple changes]Arnaud Charlet1-3/+2
2012-01-23sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call to Make_Aspect_Fo...Vincent Pucci1-1/+8
2011-08-05a-cbmutr.adb: Minor reformattingRobert Dewar1-1/+7
2011-08-04gnat_rm.texi: Document new pragma and aspect.Yannick Moy1-1/+9
2010-10-12[multiple changes]Arnaud Charlet1-3/+3
2008-04-14vms_data.ads: Fix typo in constant.Ralf Wildenhues1-1/+1
2008-04-13sem_ch10.adb, [...]: Fix comment typos.Ralf Wildenhues1-1/+1
2008-04-08alloc.ads: Add entries for Obsolescent_Warnings tableRobert Dewar1-1/+28
2007-09-10exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar1-5/+4
2005-11-15re PR ada/18434 (Ada: cannot build gnattools on Tru64 UNIX V5.1B)Robert Dewar1-39/+39
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
2004-05-10[multiple changes]Arnaud Charlet1-1/+12
2003-10-213psoccon.ads, [...]: Files added.Arnaud Charlet1-1/+19
2003-04-241aexcept.adb, [...]: Merge header, formatting and other trivial changes from ...Geert Bosch1-1/+0
2002-10-23Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for...Nathanael Nerode1-1/+1
2002-03-14Delete all lines containing "$Revision:".Geoffrey Keating1-1/+0
2001-10-02New Language: AdaRichard Kenner1-0/+62