aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.adb
AgeCommit message (Expand)AuthorFilesLines
2025-09-15ada: Update ghost code SPARK RM rulesViljar Indus1-2/+2
2025-09-09ada: Update the uses of Is_Ignored*_In_CodegenViljar Indus1-1/+1
2025-09-09ada: Multiple levels of ghost codeViljar Indus1-3/+11
2025-08-04ada: Update Assertion_Policy handling in GNATProve modeViljar Indus1-2/+3
2025-06-09ada: Incorrect creation of corresponding expression of class-wide contractsGary Dismukes1-94/+9
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek1-5/+14
2025-06-06ada: Set Ekind early for entities created in expansionRonan Desplanques1-0/+1
2025-06-05ada: Cleanup preanalysis of static expressions (part 6)Javier Miranda1-1/+1
2025-01-10ada: Set syntactic node properties immediately when crating the nodesPiotr Trojanek1-2/+2
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-07ada: Remove flag Is_Inherited_Pragma which is only set and never usedPiotr Trojanek1-6/+2
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross1-0/+7
2025-01-03ada: Remove guards against empty listsPiotr Trojanek1-12/+4
2024-11-04ada: Missing precondition runtime check in inherited primitiveJavier Miranda1-6/+2
2024-07-02ada: Fix analysis of Extensions_VisibleYannick Moy1-19/+27
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
generated by cgit v1.1 at 2026-01-03 17:15:45 +0000