aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-writ.adb
AgeCommit message (Expand)AuthorFilesLines
2017-04-27[multiple changes]Arnaud Charlet1-52/+57
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-5/+3
2017-01-12contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff1-1/+1
2017-01-06snames.ads-tmpl (Renamed): New name for the pragma argument.Bob Duff1-1/+1
2016-10-12[multiple changes]Arnaud Charlet1-31/+21
2016-10-12[multiple changes]Arnaud Charlet1-1/+13
2016-04-21[multiple changes]Arnaud Charlet1-4/+3
2016-04-21lib-writ.adb, [...]: Minor reformatting and code cleanup.Hristian Kirtchev1-7/+13
2016-04-21[multiple changes]Arnaud Charlet1-3/+31
2016-04-19[multiple changes]Arnaud Charlet1-14/+25
2015-11-23opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL...Olivier Hainque1-1/+5
2015-10-16exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM.Arnaud Charlet1-10/+1
2015-02-05015-02-05 Robert Dewar <dewar@adacore.com>Arnaud Charlet1-2/+2
2015-01-30[multiple changes]Arnaud Charlet1-1/+5
2015-01-06[multiple changes]Arnaud Charlet1-0/+1
2014-10-10[multiple changes]Arnaud Charlet1-0/+4
2014-08-01[multiple changes]Arnaud Charlet1-2/+2
2014-08-01snames.ads-tmpl, [...]: Remove VMS-specific code.Robert Dewar1-14/+0
2014-07-31[multiple changes]Arnaud Charlet1-2/+1
2014-07-31[multiple changes]Arnaud Charlet1-1/+3
2014-07-31[multiple changes]Arnaud Charlet1-0/+2
2014-07-30lib-load.ads: Minor reformatting.Thomas Quinot1-3/+25
2014-07-29[multiple changes]Arnaud Charlet1-0/+5
2014-07-29sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati...Robert Dewar1-2/+3
2014-07-18[multiple changes]Arnaud Charlet1-24/+18
2014-07-18[multiple changes]Arnaud Charlet1-4/+7
2014-07-18[multiple changes]Arnaud Charlet1-6/+0
2014-07-17[multiple changes]Arnaud Charlet1-4/+2
2014-06-13exp_attr.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2014-06-13lib.ads, [...] (Is_Compiler_Unit): Removed.Robert Dewar1-3/+3
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2014-01-202014-01-20 Yannick Moy <moy@adacore.com>Yannick Moy1-4/+5
2013-10-17[multiple changes]Arnaud Charlet1-4/+4
2013-10-14[multiple changes]Arnaud Charlet1-1/+1
2013-10-10[multiple changes]Arnaud Charlet1-0/+1
2013-10-10[multiple changes]Arnaud Charlet1-1/+20
2013-07-08[multiple changes]Arnaud Charlet1-0/+32
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev1-44/+46
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-7/+7
2013-04-11[multiple changes]Arnaud Charlet1-89/+1
2012-12-05[multiple changes]Arnaud Charlet1-0/+88
2012-10-29[multiple changes]Arnaud Charlet1-0/+5
2012-07-12[multiple changes]Arnaud Charlet1-37/+114
2012-04-25[multiple changes]Arnaud Charlet1-2/+2
2012-04-02[multiple changes]Arnaud Charlet1-2/+20
2011-12-05[multiple changes]Arnaud Charlet1-1/+11
2011-09-19[multiple changes]Arnaud Charlet1-4/+4
2011-09-01[multiple changes]Arnaud Charlet1-0/+6
2011-08-31[multiple changes]Arnaud Charlet1-5/+5
2011-08-05[multiple changes]Arnaud Charlet1-0/+7