aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_disp.adb
AgeCommit message (Expand)AuthorFilesLines
2019-08-20[Ada] Minor reformattingsGary Dismukes1-2/+2
2019-08-14[Ada] Fix failing assertions on SPARK elaborationYannick Moy1-1/+7
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-07-04[Ada] Minor reformattingHristian Kirtchev1-0/+1
2019-07-04[Ada] Spurious error on incomplete tagged formal parameterJustin Squirek1-0/+8
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-05-30[Ada] Minor reformattingHristian Kirtchev1-7/+4
2018-05-28[Ada] Allow for GNATprove specific versions of routines from Sem_DispClaire Dross1-102/+142
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-4/+13
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...Pierre-Marie de Rodat1-4/+6
2017-11-08sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...Pierre-Marie de Rodat1-2/+10
2017-09-07[multiple changes]Arnaud Charlet1-24/+1
2017-04-25Minor reformatting.Arnaud Charlet1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-0/+7
2017-04-25[multiple changes]Arnaud Charlet1-10/+10
2017-04-25[multiple changes]Arnaud Charlet1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-3/+1
2017-04-25sem_prag.adb, [...]: Minor reformatting.Hristian Kirtchev1-6/+8
2017-04-25[multiple changes]Arnaud Charlet1-0/+59
2017-04-25[multiple changes]Arnaud Charlet1-1/+10
2017-01-19[multiple changes]Arnaud Charlet1-3/+19
2017-01-06exp_ch5.adb (Get_Default_Iterator): For a derived type...Ed Schonberg1-2/+8
2016-04-19[multiple changes]Arnaud Charlet1-1/+1
2016-04-19[multiple changes]Arnaud Charlet1-13/+15
2016-04-18[multiple changes]Arnaud Charlet1-68/+114
2015-10-26[multiple changes]Arnaud Charlet1-7/+23
2015-10-16exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM.Arnaud Charlet1-4/+3
2015-05-26[multiple changes]Arnaud Charlet1-5/+14
2015-05-26[multiple changes]Arnaud Charlet1-0/+3
2015-05-26inline.adb (Has_Initialized_Type): Adapt to new names.Yannick Moy1-0/+10
2015-05-22[multiple changes]Arnaud Charlet1-7/+4
2015-05-22[multiple changes]Arnaud Charlet1-0/+15
2015-05-12sem_ch9.adb, [...]: Minor reformatting.Robert Dewar1-3/+2
2015-05-12sem_ch9.adb (Collect_Interfaces): Initialize Direct_Primitive_Operations for ...Ed Schonberg1-0/+5
2015-05-12[multiple changes]Arnaud Charlet1-1/+1
2015-03-02exp_ch9.adb (Build_Corresponding_Record): Propagate type invariants to the co...Javier Miranda1-3/+3
2015-01-30sem_disp.adb: Minor reformatting.Robert Dewar1-4/+4
2015-01-30sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity or a function...Ed Schonberg1-2/+24
2014-10-10[multiple changes]Arnaud Charlet1-8/+2
2014-08-04[multiple changes]Arnaud Charlet1-45/+60
2014-08-01[multiple changes]Arnaud Charlet1-9/+38
2014-02-24[multiple changes]Arnaud Charlet1-2/+8
2014-01-29a-except-2005.adb, [...]: Minor reformatting.Robert Dewar1-6/+6
2014-01-20exp_spark.adb (Expand_SPARK_Call): Remove procedure.Yannick Moy1-1/+1
2013-10-17[multiple changes]Arnaud Charlet1-1/+1
2013-04-25[multiple changes]Arnaud Charlet1-2/+5
2013-04-25[multiple changes]Arnaud Charlet1-1/+14
2013-04-12[multiple changes]Arnaud Charlet1-8/+5
generated by cgit v1.1 at 2025-03-01 06:15:25 +0000