aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/opt.ads
AgeCommit message (Expand)AuthorFilesLines
2011-12-20[multiple changes]Arnaud Charlet1-2/+4
2011-11-21sem_ch3.adb, [...]: Minor reformatting.Robert Dewar1-0/+3
2011-11-21sem_ch6.adb (Is_Public_Subprogram_For): New procedureArnaud Charlet1-1/+1
2011-10-24[multiple changes]Arnaud Charlet1-0/+5
2011-10-06[multiple changes]Arnaud Charlet1-5/+5
2011-09-27[multiple changes]Arnaud Charlet1-0/+5
2011-09-02usage.adb, [...]: Disable by default warnings on suspicious contracts, and en...Yannick Moy1-2/+2
2011-09-02[multiple changes]Arnaud Charlet1-0/+6
2011-08-31[multiple changes]Arnaud Charlet1-3/+3
2011-08-30opt.ads, [...]: Update comment.Robert Dewar1-13/+12
2011-08-30[multiple changes]Arnaud Charlet1-0/+8
2011-08-29[multiple changes]Arnaud Charlet1-2/+2
2011-08-29[multiple changes]Arnaud Charlet1-1/+1
2011-08-05a-cbmutr.adb: Minor reformattingRobert Dewar1-0/+10
2011-08-05[multiple changes]Arnaud Charlet1-1/+1
2011-08-05[multiple changes]Arnaud Charlet1-0/+4
2011-08-05[multiple changes]Arnaud Charlet1-15/+7
2011-08-04[multiple changes]Arnaud Charlet1-4/+0
2011-08-04[multiple changes]Arnaud Charlet1-3/+0
2011-08-04[multiple changes]Arnaud Charlet1-13/+0
2011-08-04[multiple changes]Arnaud Charlet1-0/+8
2011-08-04bindgen.adb, [...]: Minor reformattingRobert Dewar1-1/+1
2011-08-02sem_aggr.adb, [...]: cleanup of SPARK modeYannick Moy1-4/+1
2011-08-02[multiple changes]Arnaud Charlet1-2/+1
2011-08-02[multiple changes]Arnaud Charlet1-0/+2
2011-08-02[multiple changes]Arnaud Charlet1-0/+7
2011-08-02[multiple changes]Arnaud Charlet1-1/+1
2011-08-02[multiple changes]Arnaud Charlet1-16/+0
2011-08-01sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq...Robert Dewar1-13/+11
2011-08-01err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~Yannick Moy1-0/+16
2011-08-01[multiple changes]Arnaud Charlet1-0/+28
2010-10-26[multiple changes]Arnaud Charlet1-1/+3
2010-10-26opt.ads: Move documentation on checksum stuff here from prj-nmscRobert Dewar1-20/+50
2010-10-26opt.ads (Checksum_Accumulate_Token_Checksum): New Boolean flag, defaulted to ...Vincent Celier1-5/+18
2010-10-26opt.ads (Old_Checksums, [...]): New Boolean flags, defaulted to False.Vincent Celier1-0/+7
2010-10-26[multiple changes]Arnaud Charlet1-1/+1
2010-10-26[multiple changes]Arnaud Charlet1-2/+7
2010-10-26[multiple changes]Arnaud Charlet1-18/+18
2010-10-19[multiple changes]Arnaud Charlet1-2/+8
2010-10-19[multiple changes]Arnaud Charlet1-3/+3
2010-10-19[multiple changes]Arnaud Charlet1-4/+4
2010-10-18[multiple changes]Arnaud Charlet1-0/+16
2010-10-12[multiple changes]Arnaud Charlet1-0/+5
2010-10-11par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05 (Ada_Version_Type).Bob Duff1-5/+4
2010-10-11[multiple changes]Arnaud Charlet1-4/+3
2010-10-07[multiple changes]Arnaud Charlet1-0/+3
2010-10-07[multiple changes]Arnaud Charlet1-0/+6
2010-09-10[multiple changes]Arnaud Charlet1-0/+14
2010-09-09[multiple changes]Arnaud Charlet1-0/+1
2010-09-09[multiple changes]Arnaud Charlet1-0/+8