summaryrefslogtreecommitdiff
path: root/gcc/ada/ghost.ads
Commit message (Expand)AuthorAgeFilesLines
* [Ada] Update copyright noticeArnaud Charlet2021-05-031-1/+1
* [Ada] Bump copyright yearArnaud Charlet2020-06-021-1/+1
* [Ada] Bump copyright years to 2019Pierre-Marie de Rodat2019-01-081-1/+1
* [Ada] New ignored Ghost code removal mechanismHristian Kirtchev2018-07-171-4/+0
* [Ada] Fix crash on formal containersHristian Kirtchev2018-05-241-14/+20
* [Ada] Prohibit concurrent types in Ghost regionsHristian Kirtchev2018-01-111-0/+4
* [Ada] Bump copyright notices to 2018Arnaud Charlet2018-01-111-1/+1
* contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev2017-04-251-38/+20
* ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.Hristian Kirtchev2017-01-231-0/+4
* [multiple changes]Arnaud Charlet2017-01-201-0/+5
* atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke...Hristian Kirtchev2017-01-131-57/+139
* contracts.adb (Analyze_Object_Contract): Update references to SPARK RM.Hristian Kirtchev2016-04-181-8/+17
* [multiple changes]Arnaud Charlet2015-10-231-4/+0
* exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...Hristian Kirtchev2015-10-161-6/+0
* exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh...Hristian Kirtchev2015-05-261-17/+46
* 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev2015-01-071-0/+115
View Lorry Controller Status