aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/aspects.adb
AgeCommit message (Expand)AuthorFilesLines
2024-08-02ada: Fix handling of SPARK_Mode on standalone child subprogramYannick Moy1-1/+7
2024-05-13ada: Remove guards against traversal of empty list of aspectsPiotr Trojanek1-1/+0
2024-05-07ada: Aspects on multiple component declarationsBob Duff1-1/+2
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-81/+23
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+55
2023-08-01ada: Default Put_Image for composite derived types is missing informationPascal Obry1-8/+22
2023-06-15ada: Accept aspect Always_Terminates without expressionPiotr Trojanek1-14/+14
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-0/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-04ada: Remove redundant calls in handling of aspect specificationsPiotr Trojanek1-1/+0
2022-05-13[Ada] Do not overwrite limited view of result typeEric Botcazou1-1/+3
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-11-10[Ada] ACATS BDC1002 shall not error on arbitrary aspectEtienne Servais1-0/+10
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-0/+5
2021-05-07[Ada] Minor reformattingsBob Duff1-7/+7
2021-05-07[Ada] Variable-sized node typesBob Duff1-4/+8
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-11-27[Ada] Implement AI12-0187 (Stable properties of abstract data types)Steve Baird1-7/+21
2020-10-23[Ada] Update header of front-end filesArnaud Charlet1-10/+4
2020-10-20[Ada] Add support for Unreferenced aspect on formal parametersArnaud Charlet1-0/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-9/+5
2020-06-04[Ada] Put_Image attributeBob Duff1-130/+30
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet1-58/+0
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-20[Ada] Minor reformattingsGary Dismukes1-2/+2
2019-08-13[Ada] Implement pragma Max_Entry_Queue_LengthJustin Squirek1-0/+1
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy1-0/+1
2019-07-23[Ada] Iterators are view-specificEd Schonberg1-1/+4
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-05-30[Ada] Implement pragma Max_Entry_Queue_DepthJustin Squirek1-0/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-09-25[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-1/+2
2017-01-12[multiple changes]Arnaud Charlet1-0/+1
2017-01-06aspects.adb, [...]: Reverted previous change for now.Patrick Bernardi1-1/+0
2017-01-06aspect.adb, aspect.ads: Added new aspect Secondary_Stack_Size.Patrick Bernardi1-0/+1
2017-01-06[multiple changes]Arnaud Charlet1-1/+2
2015-10-26[multiple changes]Arnaud Charlet1-0/+1
2015-10-26[multiple changes]Arnaud Charlet1-4/+20
2015-10-26[multiple changes]Arnaud Charlet1-1/+3
2015-10-202015-10-20 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-0/+1
2015-10-16[multiple changes]Arnaud Charlet1-0/+1
2015-05-26[multiple changes]Arnaud Charlet1-0/+1
2015-05-12[multiple changes]Arnaud Charlet1-0/+2
2015-03-13[multiple changes]Arnaud Charlet1-1/+2
2014-10-312014-10-31 Hristian Kirtchev <kirtchev@adacore.com>Arnaud Charlet1-0/+1
2014-10-31[multiple changes]Arnaud Charlet1-0/+1
2014-10-30[multiple changes]Arnaud Charlet1-0/+1
2014-10-20gnat_rm.texi: Document No_Tagged_Streams pragma and aspect.Robert Dewar1-0/+1
generated by cgit v1.1 at 2025-01-16 22:06:22 +0000