aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.ads
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+2
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-0/+4
2023-05-29ada: Analyze pre/post on access-to-subprogram without a wrapperPiotr Trojanek1-0/+2
2023-05-25ada: Fix comments for recently added SPARK aspectsPiotr Trojanek1-0/+4
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+2
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-08ada: Adjust classwide contract expression preanalysisRonan Desplanques1-0/+4
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-15/+21
2022-05-17[Ada] Spurious error on subprogram with class-wide preconditionsJavier Miranda1-0/+33
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+25
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-12-15[Ada] Postcondition checks performed before finalizationJustin Squirek1-0/+15
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-6/+8
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-2/+15
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy1-0/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-16[Ada] Missing error on hidden state in instantiationHristian Kirtchev1-1/+8
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-7/+7
2017-01-13Code cleanups.Arnaud Charlet1-2/+3
2015-11-18[multiple changes]Arnaud Charlet1-9/+19
2015-11-18[multiple changes]Arnaud Charlet1-0/+2
2015-10-26[multiple changes]Arnaud Charlet1-1/+5
2015-10-26[multiple changes]Arnaud Charlet1-6/+14
2015-10-26[multiple changes]Arnaud Charlet1-34/+41
2015-10-26[multiple changes]Arnaud Charlet1-4/+4
2015-10-23[multiple changes]Arnaud Charlet1-0/+156
generated by cgit v1.1 at 2024-07-19 02:57:46 +0000