aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.adb
AgeCommit message (Expand)AuthorFilesLines
2024-05-14ada: Update of SPARK RM legality rules on ghost codeYannick Moy1-1/+1
2024-05-13ada: Remove guards against traversal of empty list of aspectsPiotr Trojanek1-4/+1
2024-05-13ada: Deconstruct flag Split_PPC since splitting now is done in expansionPiotr Trojanek1-16/+1
2024-05-13ada: Fix style in commentsPiotr Trojanek1-1/+1
2024-05-06ada: Partial implementation of redesign of support for object finalizationEric Botcazou1-3/+3
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Fix bug in Sem_Util.Enclosing_DeclarationSteve Baird1-10/+2
2023-11-30ada: Remove SPARK legality checksYannick Moy1-156/+7
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+3
2023-09-19ada: Crash processing type invariants on child subprogramJavier Miranda1-1/+24
2023-06-20ada: Add the ability to add error codes to error messagesYannick Moy1-2/+3
2023-06-15ada: Accept aspect Always_Terminates on packagesPiotr Trojanek1-0/+3
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-10/+19
2023-06-13ada: Fix exception raised on invalid contract in generic packageEric Botcazou1-10/+21
2023-06-13ada: Fix internal error on imported function with post-conditionEric Botcazou1-0/+16
2023-05-29ada: Attach pre/post on access-to-subprogram to internal subprogram typePiotr Trojanek1-4/+8
2023-05-29ada: Restore parent link for both lists and nodes in class-wide conditionPiotr Trojanek1-3/+5
2023-05-29ada: Simplify removal of formals from the scopePiotr Trojanek1-20/+1
2023-05-29ada: Fix restoration of parent linkMarc Poulhiès1-1/+2
2023-05-29ada: Analyze pre/post on access-to-subprogram without a wrapperPiotr Trojanek1-2/+18
2023-05-26ada: Fix typos "statment" and "condtion"Bob Duff1-2/+2
2023-05-25ada: Fix comments for recently added SPARK aspectsPiotr Trojanek1-0/+2
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-4/+14
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Simplify new expansion of contractsEric Botcazou1-100/+5
2022-12-06ada: Allow No_Caching on volatile typesYannick Moy1-16/+16
2022-11-22ada: Fix recent assertion failure on GPR2Eric Botcazou1-14/+4
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-08ada: Adjust classwide contract expression preanalysisRonan Desplanques1-232/+249
2022-11-08ada: Preanalyze classwide contracts as spec expressionsRonan Desplanques1-2/+2
2022-09-29ada: Further tweak new expansion of contractsEric Botcazou1-3/+43
2022-09-26ada: Only reject volatile ghost objects when SPARK_Mode is OnPiotr Trojanek1-1/+1
2022-09-12[Ada] Temporary tweak new expansion of contractsEric Botcazou1-35/+84
2022-09-12[Ada] Internal error compiling formal instance of generic with Initial_ConditionSteve Baird1-0/+12
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-436/+617
2022-06-01[Ada] Allow confirming volatile properties on No_Caching variablesYannick Moy1-3/+9
2022-06-01[Ada] Fix bad interaction between Inline_Always and -gnateV + -gnataEric Botcazou1-1/+4
2022-05-17[Ada] Implement calls to abstract subprograms in class-wide pre/post-conditionsJavier Miranda1-2/+12
2022-05-13[Ada] Compiler crash on -gnata -O2Javier Miranda1-9/+30
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Crash in class-wide pre/postconditionsJavier Miranda1-12/+142
2022-01-06[Ada] Crash in class-wide pre/postconditionsJavier Miranda1-106/+58
2021-12-02[Ada] Cleanup insertion of single freezing actionsPiotr Trojanek1-2/+0
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-215/+1348
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-3/+3
2021-09-20[Ada] Accept volatile properties on constant objectsPiotr Trojanek1-51/+25
2021-06-18[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditionsJavier Miranda1-2/+30
2021-05-07[Ada] Minor reformattingsBob Duff1-32/+32
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-5/+5
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
generated by cgit v1.1 at 2024-07-04 10:32:22 +0000