aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/einfo.ads
AgeCommit message (Expand)AuthorFilesLines
2014-07-30[multiple changes]Arnaud Charlet1-4/+12
2014-07-30[multiple changes]Arnaud Charlet1-1/+1
2014-07-30einfo.ads (Is_Inlined): Document new use in GNATprove mode.Yannick Moy1-0/+4
2014-07-30[multiple changes]Arnaud Charlet1-1/+1
2014-07-29[multiple changes]Arnaud Charlet1-0/+27
2014-07-29[multiple changes]Arnaud Charlet1-3/+3
2014-07-29[multiple changes]Arnaud Charlet1-38/+10
2014-07-29[multiple changes]Arnaud Charlet1-0/+28
2014-07-29einfo.ads, einfo.adb (Static_Real_Or_String_Predicate): New functionRobert Dewar1-1/+29
2014-07-29sem_aggr.adb, [...]: General cleanup of static predicate handling.Robert Dewar1-8/+8
2014-07-29gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old.Robert Dewar1-0/+13
2014-07-29sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati...Robert Dewar1-7/+7
2014-07-18[multiple changes]Arnaud Charlet1-6/+7
2014-07-18[multiple changes]Arnaud Charlet1-9/+18
2014-07-18[multiple changes]Arnaud Charlet1-2/+2
2014-07-18[multiple changes]Arnaud Charlet1-18/+40
2014-07-18sem_aggr.adb, [...]: Change name Packed_Array_Type to Packed_Array_Impl_Type.Robert Dewar1-22/+22
2014-07-18[multiple changes]Arnaud Charlet1-0/+5
2014-07-18par_sco.adb, [...]: Minor reformatting.Robert Dewar1-0/+9
2014-07-17sem_ch3.adb, [...]: Remove the word kludge from ada sources.Robert Dewar1-4/+4
2014-07-17[multiple changes]Arnaud Charlet1-11/+0
2014-06-13[multiple changes]Arnaud Charlet1-0/+5
2014-06-13[multiple changes]Arnaud Charlet1-62/+62
2014-06-11[multiple changes]Arnaud Charlet1-2/+3
2014-06-11[multiple changes]Arnaud Charlet1-14/+24
2014-06-11[multiple changes]Arnaud Charlet1-1/+1
2014-05-21[multiple changes]Arnaud Charlet1-54/+53
2014-05-21einfo.ads (Can_Never_Be_Null): Minor comment update.Robert Dewar1-8/+56
2014-02-25[multiple changes]Arnaud Charlet1-4/+4
2014-02-25[multiple changes]Arnaud Charlet1-0/+10
2014-02-252014-02-25 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-3/+4
2014-02-24[multiple changes]Arnaud Charlet1-0/+11
2014-02-20[multiple changes]Arnaud Charlet1-2/+1
2014-02-20einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type.Robert Dewar1-1/+2
2014-02-062014-02-06 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet1-0/+14
2014-02-06[multiple changes]Arnaud Charlet1-0/+21
2014-02-04exp_ch5.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2014-02-04[multiple changes]Arnaud Charlet1-7/+7
2014-01-29[multiple changes]Arnaud Charlet1-0/+2
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar1-4/+4
2014-01-29[multiple changes]Arnaud Charlet1-13/+4
2014-01-292014-01-29 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-10/+20
2014-01-27[multiple changes]Arnaud Charlet1-18/+0
2014-01-27sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can on...Robert Dewar1-2/+6
2014-01-24[multiple changes]Arnaud Charlet1-10/+0
2014-01-23[multiple changes]Arnaud Charlet1-4/+29
2014-01-21[multiple changes]Arnaud Charlet1-11/+18
2014-01-21[multiple changes]Arnaud Charlet1-12/+58
2014-01-20[multiple changes]Arnaud Charlet1-5/+4
2014-01-20[multiple changes]Arnaud Charlet1-3/+7