aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
2014-01-31[multiple changes]Arnaud Charlet1-6/+12
2014-01-31[multiple changes]Arnaud Charlet1-2/+2
2014-01-29[multiple changes]Arnaud Charlet1-0/+1
2014-01-29[multiple changes]Arnaud Charlet1-2/+2
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar1-5/+5
2014-01-27[multiple changes]Arnaud Charlet1-2/+7
2014-01-27[multiple changes]Arnaud Charlet1-4/+7
2014-01-27[multiple changes]Arnaud Charlet1-5/+14
2014-01-24[multiple changes]Arnaud Charlet1-2/+14
2014-01-24[multiple changes]Arnaud Charlet1-7/+17
2014-01-23gnatlink.adb (Gnatlink): Check for suspicious executable file names on windows.Robert Dewar1-1/+5
2014-01-23[multiple changes]Arnaud Charlet1-13/+0
2014-01-22[multiple changes]Arnaud Charlet1-0/+24
2014-01-22[multiple changes]Arnaud Charlet1-2/+11
2014-01-21[multiple changes]Arnaud Charlet1-0/+2
2014-01-21[multiple changes]Arnaud Charlet1-15/+13
2014-01-21[multiple changes]Arnaud Charlet1-6/+10
2014-01-21[multiple changes]Arnaud Charlet1-1/+98
2014-01-21[multiple changes]Arnaud Charlet1-0/+8
2014-01-20[multiple changes]Arnaud Charlet1-13/+13
2014-01-20[multiple changes]Arnaud Charlet1-42/+50
2014-01-20gnat_rm.texi (Allow_Integer_Address): Remove note about not allowed if addres...Robert Dewar1-0/+6
2014-01-20[multiple changes]Arnaud Charlet1-19/+5
2014-01-20[multiple changes]Arnaud Charlet1-38/+49
2014-01-20[multiple changes]Arnaud Charlet1-0/+2
2014-01-20[multiple changes]Arnaud Charlet1-1/+28
2014-01-20[multiple changes]Arnaud Charlet1-4/+4
2014-01-20[multiple changes]Arnaud Charlet1-18/+21
2014-01-20[multiple changes]Arnaud Charlet1-4/+14
2014-01-20[multiple changes]Arnaud Charlet1-27/+45
2014-01-20exp_spark.adb (Expand_SPARK_Call): Remove procedure.Yannick Moy1-13/+13
2014-01-202014-01-20 Yannick Moy <moy@adacore.com>Yannick Moy1-2/+2
2013-10-17[multiple changes]Arnaud Charlet1-1/+1
2013-10-17exp_util.adb (Get_Current_Value_Condition, [...]): Handle the case of express...Thomas Quinot1-1/+45
2013-10-17sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit...Ed Schonberg1-2/+2
2013-10-17[multiple changes]Arnaud Charlet1-4/+4
2013-10-17[multiple changes]Arnaud Charlet1-3/+3
2013-10-14sem_res.adb: Minor fix to error message text.Robert Dewar1-14/+17
2013-10-14[multiple changes]Arnaud Charlet1-0/+9
2013-10-10[multiple changes]Arnaud Charlet1-12/+15
2013-09-10[multiple changes]Arnaud Charlet1-1/+7
2013-09-10[multiple changes]Arnaud Charlet1-7/+8
2013-07-08[multiple changes]Arnaud Charlet1-2/+3
2013-07-08[multiple changes]Arnaud Charlet1-0/+16
2013-07-08[multiple changes]Arnaud Charlet1-4/+4
2013-04-242013-04-24 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet1-2/+74
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-7/+7
2013-04-23exp_prag.adb (Expand_Pragma_Check): Check for Assert rather than Assertion.Robert Dewar1-7/+12
2013-04-23sinfo.ads, [...]: Minor reformatting and code clean up.Robert Dewar1-21/+21
2013-04-23[multiple changes]Arnaud Charlet1-3/+4