Age | Commit message (Expand) | Author | Files | Lines |
2012-06-12 | switch-c.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+4 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2012-04-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2012-03-19 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -7/+13 |
2011-12-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2011-11-21 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+3 |
2011-11-21 | sem_ch6.adb (Is_Public_Subprogram_For): New procedure | Arnaud Charlet | 1 | -1/+1 |
2011-10-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2011-10-06 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2011-09-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2011-09-02 | usage.adb, [...]: Disable by default warnings on suspicious contracts, and en... | Yannick Moy | 1 | -2/+2 |
2011-09-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2011-08-30 | opt.ads, [...]: Update comment. | Robert Dewar | 1 | -13/+12 |
2011-08-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-05 | a-cbmutr.adb: Minor reformatting | Robert Dewar | 1 | -0/+10 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -15/+7 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -13/+0 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2011-08-04 | bindgen.adb, [...]: Minor reformatting | Robert Dewar | 1 | -1/+1 |
2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -4/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -16/+0 |
2011-08-01 | sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq... | Robert Dewar | 1 | -13/+11 |
2011-08-01 | err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~ | Yannick Moy | 1 | -0/+16 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+28 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2010-10-26 | opt.ads: Move documentation on checksum stuff here from prj-nmsc | Robert Dewar | 1 | -20/+50 |
2010-10-26 | opt.ads (Checksum_Accumulate_Token_Checksum): New Boolean flag, defaulted to ... | Vincent Celier | 1 | -5/+18 |
2010-10-26 | opt.ads (Old_Checksums, [...]): New Boolean flags, defaulted to False. | Vincent Celier | 1 | -0/+7 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -18/+18 |
2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2010-10-11 | par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05 (Ada_Version_Type). | Bob Duff | 1 | -5/+4 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |