aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/ghost.ads
AgeCommit message (Expand)AuthorFilesLines
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-14/+20
2018-01-11[Ada] Prohibit concurrent types in Ghost regionsHristian Kirtchev1-0/+4
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-38/+20
2017-01-23ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.Hristian Kirtchev1-0/+4
2017-01-20[multiple changes]Arnaud Charlet1-0/+5
2017-01-13atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke...Hristian Kirtchev1-57/+139
2016-04-18contracts.adb (Analyze_Object_Contract): Update references to SPARK RM.Hristian Kirtchev1-8/+17
2015-10-23[multiple changes]Arnaud Charlet1-4/+0
2015-10-16exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...Hristian Kirtchev1-6/+0
2015-05-26exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh...Hristian Kirtchev1-17/+46
2015-01-072015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-0/+115
generated by cgit v1.1 at 2024-11-07 01:04:25 +0000