aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.adb
AgeCommit message (Expand)AuthorFilesLines
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
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-59/+28
2020-10-19[Ada] Wrong freezing for expression function with contracts in a genericArnaud Charlet1-2/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-72/+69
2020-07-07[Ada] Freeze aspect expression relocated to pragma PreconditionPiotr Trojanek1-2/+6
2020-07-07[Ada] Checking type invariants on in params of procedures, not functions (AI1...Gary Dismukes1-1/+3
2020-06-16[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)Steve Baird1-3/+19
2020-06-15[Ada] Do not expect Global or Depends on single protected objectsPiotr Trojanek1-3/+3
2020-06-12[Ada] Reuse Is_Entry where possiblePiotr Trojanek1-2/+1
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-101/+290
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-2/+2
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-6/+0
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Reuse Is_Package_Or_Generic_Package where possiblePiotr Trojanek1-1/+1
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy1-0/+11
2019-07-05[Ada] Removing support for SCIL "contract-only" subprogram bodiesJavier Miranda1-495/+0
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-15/+15
2018-09-26[Ada] Disable special handling for preconditions specified by pragmasEd Schonberg1-1/+3
2018-09-26[Ada] Fix ICE related to type freezingEd Schonberg1-2/+24
2018-08-21[Ada] Minor reformattingsHristian Kirtchev1-7/+12
2018-08-21[Ada] Spurious crash on expression function as completion with contractsEd Schonberg1-6/+34
2018-07-31[Ada] Minor reformattingsHristian Kirtchev1-2/+2
2018-07-16[Ada] Missing error on hidden state in instantiationHristian Kirtchev1-11/+68
2018-06-11[Ada] Suppress the expansion of ignored assertion pragmasHristian Kirtchev1-35/+66
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-1/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-104/+189
2017-11-09[multiple changes]Pierre-Marie de Rodat1-0/+10
2017-04-27einfo.ads: Minor fixes in comments.Arnaud Charlet1-2/+2
2017-04-27sem_util.adb, [...] (Build_Class_Wide_Clone_Body): Build body of subprogram t...Ed Schonberg1-3/+17
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-32/+74
2017-04-25Code cleanup.Arnaud Charlet1-1/+2
2017-04-25Code clean up.Arnaud Charlet1-6/+0
2017-04-25Code clean ups.Arnaud Charlet1-4/+25
2017-01-19Code cleanup.Arnaud Charlet1-1/+4
2017-01-19[multiple changes]Arnaud Charlet1-1/+1
2017-01-13[multiple changes]Arnaud Charlet1-566/+489
2017-01-13Code cleanups.Arnaud Charlet1-2/+27
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-1/+0
2017-01-12[multiple changes]Arnaud Charlet1-1/+574
generated by cgit v1.1 at 2024-10-06 04:34:22 +0000