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