aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/ghost.adb
AgeCommit message (Expand)AuthorFilesLines
2023-06-13ada: Mark attribute Initialized as ghost codeYannick Moy1-1/+14
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-12/+21
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-03ada: Cannot reference ghost entity in class-wide preconditionJavier Miranda1-0/+10
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-6/+4
2022-07-06[Ada] Support ghost generic formal parametersYannick Moy1-13/+129
2022-07-05[Ada] Fix spurious error on object renaming with ghost typeYannick Moy1-1/+10
2022-06-02[Ada] Issue errors on wrong context for ghost entitiesYannick Moy1-8/+58
2022-05-10[Ada] Reuse Is_Rewrite_Substitution where possiblePiotr Trojanek1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-1/+1
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+9
2021-06-16[Ada] Fix missing array bounds checkingBob Duff1-4/+14
2021-05-07[Ada] Minor reformattingsBob Duff1-20/+20
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-28[Ada] Improve error message for ghost in predicateYannick Moy1-0/+50
2020-10-19[Ada] Expanded names in ghost assignmentsBob Duff1-50/+85
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-42/+41
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-11-14[Ada] Crash on ignored Ghost assignmentHristian Kirtchev1-18/+51
2018-11-14[Ada] Lingering loop for ignored Ghost assignmentHristian Kirtchev1-2/+2
2018-07-17[Ada] New ignored Ghost code removal mechanismHristian Kirtchev1-215/+133
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-32/+91
2018-01-11[Ada] Prohibit concurrent types in Ghost regionsHristian Kirtchev1-0/+36
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-09-25[multiple changes]Pierre-Marie de Rodat1-3/+3
2017-09-07[multiple changes]Arnaud Charlet1-0/+44
2017-09-07[multiple changes]Arnaud Charlet1-6/+22
2017-04-27[multiple changes]Arnaud Charlet1-1/+1
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-51/+8
2017-01-23ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.Hristian Kirtchev1-2/+17
2017-01-20[multiple changes]Arnaud Charlet1-2/+37
2017-01-19[multiple changes]Arnaud Charlet1-1/+3
2017-01-13atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke...Hristian Kirtchev1-243/+592
2017-01-12contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff1-1/+1
2017-01-06snames.ads-tmpl (Renamed): New name for the pragma argument.Bob Duff1-1/+1
2017-01-06[multiple changes]Arnaud Charlet1-14/+17
2016-10-12exp_ch5.adb, [...]: Minor reformatting.Hristian Kirtchev1-2/+2
2016-10-12[multiple changes]Arnaud Charlet1-0/+2
2016-07-07sem_ch6.adb (Process_Formals): Set ghost flag on formal entities of ghost sub...Yannick Moy1-0/+8
2016-07-04[multiple changes]Arnaud Charlet1-0/+2
2016-07-04ghost.adb (Prune_Node): A freeze node for an ignored ghost entity must be pru...Ed Schonberg1-0/+9
2016-04-27[multiple changes]Arnaud Charlet1-9/+40
2016-04-20sem_util.adb, [...]: Minor reformatting.Hristian Kirtchev1-3/+3
2016-04-20contracts.adb (Build_Postconditions_Procedure): Code cleanup.Javier Miranda1-7/+18
2016-04-18contracts.adb (Analyze_Object_Contract): Update references to SPARK RM.Hristian Kirtchev1-74/+216
2015-10-23[multiple changes]Arnaud Charlet1-2/+3
2015-10-23[multiple changes]Arnaud Charlet1-44/+33
generated by cgit v1.1 at 2024-11-03 17:17:36 +0000