aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.adb
AgeCommit message (Expand)AuthorFilesLines
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
2015-10-26[multiple changes]Arnaud Charlet1-53/+5
2015-10-26[multiple changes]Arnaud Charlet1-1/+1
2015-10-26[multiple changes]Arnaud Charlet1-51/+52
2015-10-23[multiple changes]Arnaud Charlet1-0/+2453
generated by cgit v1.1 at 2025-08-06 13:36:14 +0000