aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.adb
AgeCommit message (Expand)AuthorFilesLines
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
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Expansion in _postconditions confusing CodePeerJustin Squirek1-18/+10
2020-12-15[Ada] Postcondition checks performed before finalizationJustin Squirek1-4/+237
2020-11-30[Ada] Fix internal error on extended return and fixed-point resultEric Botcazou1-2/+5
2020-11-27[Ada] Implement AI12-0187 (Stable properties of abstract data types)Steve Baird1-5/+259
2020-11-24[Ada] Reuse In_Same_List where possiblePiotr Trojanek1-2/+1
2020-10-26[Ada] Fix freezing of previous contractsPiotr Trojanek1-4/+15
2020-10-23[Ada] Reject illegal syntax in pragma Contract_CasesPiotr Trojanek1-1/+2
2020-10-23[Ada] Fix whitespace in code for external property pragmasPiotr Trojanek1-8/+8
2020-10-20[Ada] Crash on precondition, discriminant and protected objectsArnaud Charlet1-1/+1
generated by cgit v1.1 at 2025-08-13 01:22:15 +0000