Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -7/+6 |
2014-04-14 | opt.ads (Suppress_Back_Annotation): Remove as unused. | Eric Botcazou | 1 | -6/+0 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+29 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2014-02-25 | binde.adb: Change messages to mention -gnatel instead of -gnatwl. | Robert Dewar | 1 | -1/+5 |
2014-02-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2014-02-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2014-01-24 | back_end.adb: Remove Short_Enums handling (handled in Ttypes/Get_Targ now) Mi... | Robert Dewar | 1 | -9/+6 |
2014-01-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2014-01-22 | errout.adb (Initialize): Remove trick to add dummy entry in Warnings table. | Yannick Moy | 1 | -2/+5 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+12 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -5/+13 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -16/+0 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -8/+7 |
2014-01-20 | exp_spark.adb (Expand_SPARK_Call): Remove procedure. | Yannick Moy | 1 | -12/+0 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -2/+2 |
2013-10-17 | gnat_ugn.texi: Document -gnatw.y/-gnatw.Y. | Robert Dewar | 1 | -0/+5 |
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 |