aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib.ads
AgeCommit message (Expand)AuthorFilesLines
2019-08-20[Ada] Get rid of linear searches in LibEric Botcazou1-4/+37
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-05-21[Ada] Typo in lib.ads commentPiotr Trojanek1-1/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-10-20exp_aggr.adb (Initialize_Array_Component): Avoid adjusting a component of an ...Pierre-Marie de Rodat1-4/+7
2017-10-14[multiple changes]Pierre-Marie de Rodat1-50/+81
2017-10-09[multiple changes]Pierre-Marie de Rodat1-1/+8
2017-04-27[multiple changes]Arnaud Charlet1-2/+38
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-4/+2
2017-04-25[multiple changes]Arnaud Charlet1-0/+5
2017-01-23sem_ch4.adb (Try_Primitive_Operations, [...]): argument is valid if it is a d...Ed Schonberg1-1/+1
2016-06-22[multiple changes]Arnaud Charlet1-0/+6
2016-06-22lib.ads: Code cleanup.Arnaud Charlet1-20/+20
2016-06-20[multiple changes]Arnaud Charlet1-2/+2
2016-06-14[multiple changes]Arnaud Charlet1-1/+9
2016-04-18[multiple changes]Arnaud Charlet1-1/+1
2015-02-05015-02-05 Robert Dewar <dewar@adacore.com>Arnaud Charlet1-19/+36
2015-01-072015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-120/+120
2014-10-20[multiple changes]Arnaud Charlet1-0/+2
2014-08-01[multiple changes]Arnaud Charlet1-34/+10
2014-07-31[multiple changes]Arnaud Charlet1-1/+36
2014-07-30lib-load.ads: Minor reformatting.Thomas Quinot1-6/+1
2014-07-18[multiple changes]Arnaud Charlet1-3/+3
2014-07-18[multiple changes]Arnaud Charlet1-13/+3
2014-06-13lib.ads, [...] (Is_Compiler_Unit): Removed.Robert Dewar1-10/+3
2014-02-25[multiple changes]Arnaud Charlet1-1/+1
2014-02-25lib.ads, [...]: Implement pragma Compiler_Unit_Warning...Arnaud Charlet1-1/+1
2014-01-22[multiple changes]Arnaud Charlet1-0/+8
2014-01-21[multiple changes]Arnaud Charlet1-8/+0
2013-07-08[multiple changes]Arnaud Charlet1-0/+36
2013-07-08[multiple changes]Arnaud Charlet1-1/+1
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev1-116/+126
2012-07-09[multiple changes]Arnaud Charlet1-1/+1
2012-06-14[multiple changes]Arnaud Charlet1-1/+10
2011-11-21sem_ch6.adb (Is_Public_Subprogram_For): New procedureArnaud Charlet1-2/+2
2011-08-03sem_aggr.adb, [...]: Minor reformattingRobert Dewar1-2/+4
2011-08-03[multiple changes]Arnaud Charlet1-4/+8
2010-10-21a-cgaaso.ads, [...]: Minor reformattingRobert Dewar1-1/+1
2010-10-18[multiple changes]Arnaud Charlet1-12/+27
2010-10-08ali.adb: Set Allocator_In_Body if AB parameter present on M lineRobert Dewar1-1/+11
2010-10-04frontend.adb: Set Lib.Parsing_Main_Extended_Source to True before loading the...Vincent Celier1-0/+5
2010-09-10[multiple changes]Arnaud Charlet1-1/+11
2010-06-14ali.adb (Scan_ALI): Implement reading and storing of N linesRobert Dewar1-0/+19
2009-07-15[multiple changes]Arnaud Charlet1-1/+1
2009-05-24switch.adb (Is_Internal_GCC_Switch, [...]): Bodies of ...Olivier Hainque1-3/+3
2009-04-09Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception.Jakub Jelinek1-13/+11
2008-11-07re PR ada/34289 (gnatmake -s doesn't work)Bechir Zalila1-1/+7
2008-04-08fe.h: Remove global Optimize_Alignment flag, no longer usedRobert Dewar1-4/+14
2007-12-13xeinfo.adb: Remove warningsRobert Dewar1-4/+4