Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -7/+11 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -20/+5 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -8/+4 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -10/+2 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -14/+14 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2013-04-11 | debug.adb: Reservation and documentation for -gnatd.G switch. | Johannes Kanig | 1 | -2/+7 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -1/+1 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2012-04-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2012-03-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2012-03-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2012-03-07 | sem_ch3.adb (Analyze_Object_Declaration): If the object declaration has an in... | Javier Miranda | 1 | -3/+10 |
2011-10-24 | [multiple changes] | Arnaud Charlet | 1 | -2/+9 |
2011-09-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -7/+5 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -9/+2 |
2011-08-02 | cstand.adb (Register_Float_Type): Print information about type to register, i... | Geert Bosch | 1 | -1/+4 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+16 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2010-10-12 | debug.adb: Add comment. | Robert Dewar | 1 | -0/+2 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2010-10-07 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2010-10-05 | [multiple changes] | Arnaud Charlet | 1 | -6/+0 |
2010-10-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2010-09-09 | impunit.adb: Add entry for a-izteio. | Robert Dewar | 1 | -1/+2 |