| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 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 |
| 2010-09-09 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
| 2010-06-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
| 2010-06-18 | [multiple changes] | Javier Miranda | 1 | -0/+4 |
| 2010-06-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2010-06-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |