Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+34 |
2014-01-24 | sem_util.adb, [...]: Correct false positive warnings. | Robert Dewar | 1 | -11/+19 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
2014-01-23 | Minor reformatting. | Arnaud Charlet | 1 | -2/+2 |
2014-01-23 | lib-xref.adb (Output_References): Output progenitors of synchronized tagged t... | Ed Schonberg | 1 | -30/+31 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -4/+4 |
2013-10-15 | [multiple changes] | Arnaud Charlet | 1 | -2/+16 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -18/+18 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -5/+3 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -4/+6 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -5/+7 |
2012-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2012-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2012-04-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+25 |
2012-03-30 | lib-xref.adb, [...]: Minor reformatting & code reorganization. | Robert Dewar | 1 | -24/+13 |
2012-03-30 | lib-xref-alfa.adb (Generate_Dereference): Use Get_Code_Unit instead of Get_So... | Yannick Moy | 1 | -20/+38 |
2012-03-30 | [multiple changes] | Arnaud Charlet | 1 | -25/+23 |
2011-11-21 | frontend.adb (Frontend): Capture restrictions from config files | Robert Dewar | 1 | -4/+6 |
2011-10-13 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2011-10-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -5/+22 |
2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+27 |
2011-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2011-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-09-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+9 |
2011-09-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2011-09-02 | [multiple changes] | Arnaud Charlet | 1 | -10/+10 |
2011-09-02 | [multiple changes] | Arnaud Charlet | 1 | -177/+285 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -83/+2 |
2011-08-05 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+2 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+15 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -561/+64 |
2011-08-02 | sem_ch3.adb, [...]: Update comments. | Robert Dewar | 1 | -38/+38 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -48/+612 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+11 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |