aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sinfo.ads
AgeCommit message (Expand)AuthorFilesLines
2020-06-16[Ada] Expand 'Pos and 'Val for enumeration types with standard representationEric Botcazou1-2/+2
2020-06-16[Ada] Declare expressionsBob Duff1-5/+15
2020-06-15[Ada] Put_Image improvements for stringsBob Duff1-1/+1
2020-06-12[Ada] Implement AI12-0175 Preelaborable packages with address clausesEric Botcazou1-0/+13
2020-06-08[Ada] Remove the Has_Dynamic_Range_Check flagEric Botcazou1-18/+0
2020-06-04[Ada] Remove OpenACC supportArnaud Charlet1-26/+0
2020-06-04[Ada] Fix glitch for N_Delta_Aggregate/N_Case_Expression/N_Quantified_ExpressionEric Botcazou1-2/+4
2020-06-03[Ada] Minor tweaks in commentaryEric Botcazou1-5/+5
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-98/+23
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Remove degenerate Treat_Fixed_As_Integer mechanismEric Botcazou1-48/+9
2020-06-02[Ada] Typo corrections and minor reformattingGary Dismukes1-1/+1
2019-12-16[Ada] Prototype implementastion of Ada2020 Map-reduce constructEd Schonberg1-0/+14
2019-12-13[Ada] New flag to indicate whether aspect appears on partial viewEd Schonberg1-0/+15
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou1-0/+4
2019-10-10[Ada] 'others' in conditional_expressionsBob Duff1-0/+21
2019-08-20[Ada] Minor reformattingsGary Dismukes1-1/+2
2019-08-13[Ada] Complete the more extended AST traversal used in GNATproveYannick Moy1-1/+1
2019-07-22[Ada] Sinfo: update doc about Do_Division/Overlflow/Range_CheckEric Botcazou1-26/+17
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-07-09[Ada] Sinfo: refine comment for Do_Range_CheckYannick Moy1-1/+5
2019-07-03[Ada] Minor editorial corrections and reformattingGary Dismukes1-2/+2
2019-07-03[Ada] ABE checks v3.0, foundations of Elaboration order v4.0Hristian Kirtchev1-20/+55
2019-07-03[Ada] Spell "laid" correctlyBob Duff1-4/+4
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-11-14[Ada] System'To_Address not always staticBob Duff1-15/+2
2018-11-14[Ada] Fix handling of generic actuals with default expression in SPARKPiotr Trojanek1-3/+5
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-2/+2
2018-09-26[Ada] Front-end support for OpenACC pragmasOlivier Hainque1-0/+26
2018-08-21[Ada] Minor reformattingsHristian Kirtchev1-1/+1
2018-07-16[Ada] Deconstruct unused Withed_Body filed of N_With_Clause nodePiotr Trojanek1-15/+0
2018-06-11[Ada] Wrong code in array aggregates of Ada coextensionsJavier Miranda1-2/+5
2018-06-11[Ada] Minor reformattingHristian Kirtchev1-1/+1
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-1/+1
2018-05-24[Ada] Minor fix grammar in comment of N_Defining_IdentifierPiotr Trojanek1-1/+1
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-26/+40
2018-05-23[Ada] Suppression of elaboration-related warningsHristian Kirtchev1-0/+2
2018-05-23[Ada] Minor reformattingBob Duff1-1/+1
2018-05-22[Ada] Ada2020: Reduction expressionsEd Schonberg1-51/+0
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2018-01-11[Ada] Encoding of with clauses in ALI filesHristian Kirtchev1-25/+39
2017-12-15[multiple changes]Pierre-Marie de Rodat1-2/+54
2017-12-05[multiple changes]Pierre-Marie de Rodat1-5/+41
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-10/+53
2017-11-16[multiple changes]Pierre-Marie de Rodat1-2/+43
2017-11-09exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat1-18/+18
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-18/+0
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev1-2/+66
2017-10-20[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-20sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag to indicate that an all...Bob Duff1-1/+14
generated by cgit v1.1 at 2024-11-06 16:54:20 +0000