| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -8/+8 |
| 2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
| 2015-02-20 | a-dispat.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+7 |
| 2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
| 2014-10-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
| 2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -6/+12 |
| 2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
| 2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
| 2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -62/+0 |
| 2014-07-29 | gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old. | Robert Dewar | 1 | -1/+1 |
| 2014-06-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
| 2014-06-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+23 |
| 2014-06-11 | 2014-06-11 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -1/+2 |
| 2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -9/+29 |
| 2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -6/+13 |
| 2014-02-25 | lib.ads, [...]: Implement pragma Compiler_Unit_Warning... | Arnaud Charlet | 1 | -1/+2 |
| 2014-02-25 | sem_ch3.adb, [...]: Mark most references to SPARK RM in error messages for re... | Yannick Moy | 1 | -1/+5 |
| 2014-02-20 | [multiple changes] | Arnaud Charlet | 1 | -6/+13 |
| 2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+28 |
| 2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
| 2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-10-14 | sem_res.adb: Minor fix to error message text. | Robert Dewar | 1 | -0/+2 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
| 2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -2/+2 |
| 2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -11/+13 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-01-29 | errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. | Javier Miranda | 1 | -1/+4 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+24 |
| 2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -7/+0 |
| 2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -20/+0 |
| 2012-10-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
| 2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
| 2012-01-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-11-23 | errout.adb: Minor reformattin (Finalize): Take templates into account for war... | Robert Dewar | 1 | -1/+2 |
| 2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2011-09-19 | errout.ads: Minor reformatting. | Robert Dewar | 1 | -3/+2 |
| 2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-08-30 | sem_ch3.adb (Check_Abstract_Overriding): Code cleanup... | Javier Miranda | 1 | -0/+4 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
| 2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -21/+1 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |