aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/ghost.adb
AgeCommit message (Expand)AuthorFilesLines
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
2015-10-16exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...Hristian Kirtchev1-14/+30
2015-05-26[multiple changes]Arnaud Charlet1-15/+15
2015-05-26exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh...Hristian Kirtchev1-208/+446
2015-05-22[multiple changes]Arnaud Charlet1-3/+3
2015-01-07prj.ads, [...]: Minor reformatting.Robert Dewar1-9/+3
2015-01-072015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-0/+949
generated by cgit v1.1 at 2024-11-06 13:15:25 +0000