Age | Commit message (Expand) | Author | Files | Lines |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+28 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-10-14 | sem_res.adb: Minor fix to error message text. | Robert Dewar | 1 | -0/+2 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -2/+2 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -11/+13 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-01-29 | errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. | Javier Miranda | 1 | -1/+4 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+24 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -7/+0 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -20/+0 |
2012-10-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
2012-01-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-11-23 | errout.adb: Minor reformattin (Finalize): Take templates into account for war... | Robert Dewar | 1 | -1/+2 |
2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2011-09-19 | errout.ads: Minor reformatting. | Robert Dewar | 1 | -3/+2 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-08-30 | sem_ch3.adb (Check_Abstract_Overriding): Code cleanup... | Javier Miranda | 1 | -0/+4 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -21/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+0 |
2011-08-02 | errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues... | Yannick Moy | 1 | -0/+7 |
2011-08-01 | sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq... | Robert Dewar | 1 | -2/+3 |
2011-08-01 | err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~ | Yannick Moy | 1 | -19/+19 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+19 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2010-12-20 | Fix typos in gcc/ada. | Ralf Wildenhues | 1 | -1/+1 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2010-09-10 | [multiple changes] | Arnaud Charlet | 1 | -15/+0 |
2010-09-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+11 |
2010-08-10 | a-chahan.ads: Add comments on handling of obsolescent entries. | Robert Dewar | 1 | -4/+14 |
2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
2010-06-18 | par-ch9.adb, [...]: Update comments. | Arnaud Charlet | 1 | -8/+1 |
2009-05-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+27 |
2009-04-24 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2009-04-09 | Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception. | Jakub Jelinek | 1 | -7/+7 |
2009-04-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2008-04-08 | errout.ads: Update comments for new handling of info: messages | Robert Dewar | 1 | -9/+16 |
2008-03-26 | errout.ads: Document new !! insertion sequence | Robert Dewar | 1 | -1/+9 |
2007-10-15 | errout.ads: Comment clarification | Robert Dewar | 1 | -0/+2 |