aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib.ads
AgeCommit message (Expand)AuthorFilesLines
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Fix incorrect warning about unreferenced packed arraysBob Duff1-5/+4
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-0/+6
2022-05-17[Ada] Initialize Compiler_State to avoid Constraint_ErrorEtienne Servais1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-07-08[Ada] Duplicated D lines in ali filesGhjuvan Lacambre1-1/+3
2021-05-05[Ada] Speed up enumeration'Value with perfect hash functionPiotr Trojanek1-6/+6
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-23[Ada] Update header of front-end filesArnaud Charlet1-10/+4
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet1-10/+1
2020-06-02[Ada] remove last traces of -auxbaseAlexandre Oliva1-1/+1
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-2/+2
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou1-0/+4
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