Age | Commit message (Expand) | Author | Files | Lines |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -1/+1 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+22 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -63/+84 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -11/+7 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+34 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -9/+21 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -2/+2 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -11/+13 |
2013-04-12 | s-rident.ads: Add various missing Ada 2012 restrictions... | Ed Schonberg | 1 | -1/+125 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-02-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2011-11-21 | frontend.adb (Frontend): Capture restrictions from config files | Robert Dewar | 1 | -19/+56 |
2011-11-21 | sem_ch6.adb (Is_Public_Subprogram_For): New procedure | Arnaud Charlet | 1 | -0/+72 |
2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -13/+87 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -4/+11 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2011-08-02 | Minor reformatting. | Arnaud Charlet | 1 | -1/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+42 |
2011-08-02 | einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get/set for new flag denoting ... | Yannick Moy | 1 | -1/+1 |
2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -9/+4 |
2011-08-02 | errout.adb (First_Node): minor renaming | Yannick Moy | 1 | -7/+3 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -10/+60 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2011-08-02 | par-ch6.adb: Correct obsolete name in comments | Yannick Moy | 1 | -0/+12 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
2010-10-07 | gnat_rm.texi, [...]: Change spelling parametrize(d) => parameterize(d). | Robert Dewar | 1 | -1/+1 |
2010-09-09 | sem_ch13.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+14 |
2010-09-09 | nlists.ads, nlists.adb (In_Same_List): New function. | Robert Dewar | 1 | -0/+24 |
2010-08-10 | a-chahan.ads: Add comments on handling of obsolescent entries. | Robert Dewar | 1 | -0/+41 |
2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2010-06-18 | par-labl.adb, [...]: Fix copyright notices. | Arnaud Charlet | 1 | -1/+1 |
2009-04-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2009-04-16 | exp_dist.adb (Build_From_Any_Call): For a subtype that is a generic actual ty... | Thomas Quinot | 1 | -4/+1 |
2008-08-04 | restrict.adb: Improved messages for restriction warnings | Robert Dewar | 1 | -83/+167 |
2008-05-28 | 2008-05-28 Robert Dewar <dewar@adacore.com> | Robert Dewar | 1 | -2/+11 |
2008-04-10 | gnat_ugn.texi: Fix typos. | Ralf Wildenhues | 1 | -3/+3 |
2008-03-26 | exp_ch11.adb (Expand_At_End_Handler): Set From_At_End flag on raise stmt. | Robert Dewar | 1 | -0/+13 |
2007-12-13 | restrict.ads, [...] (Check_Implicit_Dynamic_Code_Allowed): New procedure to b... | Bob Duff | 1 | -11/+10 |
2007-09-12 | types.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+11 |