| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2020-12-15 | [Ada] Postcondition checks performed before finalization | Justin Squirek | 1 | -0/+15 |
| 2020-10-20 | [Ada] Support for new aspect Subprogram_Variant on recursive subprograms | Piotr Trojanek | 1 | -6/+8 |
| 2020-06-11 | [Ada] Allow specifying volatility refinement aspects for types | Steve Baird | 1 | -2/+15 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-08-12 | [Ada] New aspect/pragma No_Caching for analysis of volatile data | Yannick Moy | 1 | -0/+1 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-07-16 | [Ada] Missing error on hidden state in instantiation | Hristian Kirtchev | 1 | -1/+8 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -7/+7 |
| 2017-01-13 | Code cleanups. | Arnaud Charlet | 1 | -2/+3 |
| 2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -9/+19 |
| 2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -6/+14 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -34/+41 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+156 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |