aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.adb
AgeCommit message (Expand)AuthorFilesLines
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
2017-01-12contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff1-12/+12
2017-01-06snames.ads-tmpl (Renamed): New name for the pragma argument.Bob Duff1-17/+15
2016-10-13Code cleanup.Arnaud Charlet1-2/+11
2016-10-12contracts.adb (Analyze_Contracts): For a type declaration, analyze an iterabl...Ed Schonberg1-0/+17
2016-06-14[multiple changes]Arnaud Charlet1-63/+0
2016-04-21[multiple changes]Arnaud Charlet1-10/+1
2016-04-20sem_util.adb, [...]: Minor reformatting.Hristian Kirtchev1-46/+40
2016-04-20contracts.adb (Build_Postconditions_Procedure): Code cleanup.Javier Miranda1-38/+33
2016-04-20[multiple changes]Arnaud Charlet1-0/+30
2016-04-18[multiple changes]Arnaud Charlet1-5/+74
2016-04-18[multiple changes]Arnaud Charlet1-48/+0
2016-04-18contracts.adb (Analyze_Object_Contract): Update references to SPARK RM.Hristian Kirtchev1-2/+2
2016-04-18[multiple changes]Arnaud Charlet1-158/+0
2015-11-24sem_ch3.adb, [...]: Minor reformatting, rewording, and typo corrections.Gary Dismukes1-2/+2
2015-11-18[multiple changes]Arnaud Charlet1-54/+131
2015-11-18[multiple changes]Arnaud Charlet1-0/+18
2015-11-18[multiple changes]Arnaud Charlet1-5/+12
2015-11-12contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Remove the guard c...Hristian Kirtchev1-27/+29
2015-10-26contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b...Hristian Kirtchev1-46/+46
2015-10-26[multiple changes]Arnaud Charlet1-0/+33
2015-10-26[multiple changes]Arnaud Charlet1-52/+197
2015-10-26Code clean ups.Arnaud Charlet1-18/+23
2015-10-26[multiple changes]Arnaud Charlet1-232/+351
generated by cgit v1.1 at 2025-03-01 01:25:08 +0000