Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -6/+12 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+5 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -5/+14 |
2014-01-24 | [multiple changes] | Arnaud Charlet | 1 | -2/+14 |
2014-01-24 | [multiple changes] | Arnaud Charlet | 1 | -7/+17 |
2014-01-23 | gnatlink.adb (Gnatlink): Check for suspicious executable file names on windows. | Robert Dewar | 1 | -1/+5 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -13/+0 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+24 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -2/+11 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -15/+13 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -6/+10 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+98 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -13/+13 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -42/+50 |
2014-01-20 | gnat_rm.texi (Allow_Integer_Address): Remove note about not allowed if addres... | Robert Dewar | 1 | -0/+6 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -19/+5 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -38/+49 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+28 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -18/+21 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -4/+14 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -27/+45 |
2014-01-20 | exp_spark.adb (Expand_SPARK_Call): Remove procedure. | Yannick Moy | 1 | -13/+13 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -2/+2 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-10-17 | exp_util.adb (Get_Current_Value_Condition, [...]): Handle the case of express... | Thomas Quinot | 1 | -1/+45 |
2013-10-17 | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit... | Ed Schonberg | 1 | -2/+2 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2013-10-14 | sem_res.adb: Minor fix to error message text. | Robert Dewar | 1 | -14/+17 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -12/+15 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -7/+8 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2013-04-24 | 2013-04-24 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -2/+74 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -7/+7 |
2013-04-23 | exp_prag.adb (Expand_Pragma_Check): Check for Assert rather than Assertion. | Robert Dewar | 1 | -7/+12 |
2013-04-23 | sinfo.ads, [...]: Minor reformatting and code clean up. | Robert Dewar | 1 | -21/+21 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |