| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
| 2013-10-14 | gnat_ugn.texi: Document -gnateu switch. | Robert Dewar | 1 | -0/+6 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-07-05 | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 1 | -11/+15 |
| 2013-07-05 | freeze.adb (Freeze_Entity): Remove test of obsolete flag Propagate_Exceptions... | Robert Dewar | 1 | -6/+0 |
| 2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -7/+0 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -10/+12 |
| 2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-22 | sem_prag.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -8/+11 |
| 2013-04-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -22/+1 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+9 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -11/+10 |
| 2013-04-12 | gnat1drv.adb (Gnat1drv): Test Target_Dependent_Info_Write_Name. | Robert Dewar | 1 | -9/+10 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -11/+5 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -6/+21 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -4/+6 |
| 2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
| 2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
| 2013-01-29 | errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. | Javier Miranda | 1 | -3/+4 |
| 2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2013-01-04 | exp_prag.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -7/+7 |
| 2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2013-01-02 | checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow. | Robert Dewar | 1 | -3/+17 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -15/+19 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -11/+15 |
| 2013-01-02 | errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if... | Robert Dewar | 1 | -8/+10 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
| 2012-10-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
| 2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -3/+4 |
| 2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+8 |
| 2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
| 2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -15/+4 |
| 2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |