aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/opt.ads
AgeCommit message (Expand)AuthorFilesLines
2012-10-29[multiple changes]Arnaud Charlet1-1/+1
2012-10-29[multiple changes]Arnaud Charlet1-0/+5
2012-10-29[multiple changes]Arnaud Charlet1-0/+12
2012-10-04[multiple changes]Arnaud Charlet1-0/+6
2012-10-02par_sco.adb, [...]: Change name Conditional_Expression to If_Expression.Robert Dewar1-3/+4
2012-10-01[multiple changes]Arnaud Charlet1-3/+8
2012-10-01[multiple changes]Arnaud Charlet1-1/+1
2012-10-01[multiple changes]Arnaud Charlet1-1/+11
2012-10-01[multiple changes]Arnaud Charlet1-15/+4
2012-08-06[multiple changes]Arnaud Charlet1-3/+4
2012-06-12switch-c.adb, [...]: Minor reformatting.Robert Dewar1-3/+4
2012-06-12[multiple changes]Arnaud Charlet1-0/+6
2012-04-02[multiple changes]Arnaud Charlet1-0/+5
2012-03-19[multiple changes]Arnaud Charlet1-4/+0
2012-03-15[multiple changes]Arnaud Charlet1-7/+13
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