aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.adb
AgeCommit message (Expand)AuthorFilesLines
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-04-27 05:53:35 +0000