Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |