| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [Ada] Update comment for processing of pragma Assertion_Policy | Piotr Trojanek | 2020-12-14 | 1 | -1/+1 |
| * | [Ada] Bump copyright year | Arnaud Charlet | 2020-06-02 | 1 | -1/+1 |
| * | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 2019-01-08 | 1 | -1/+1 |
| * | [Ada] Add sa_messages.ad[sb] for SPARK 2014 | Pierre-Marie de Rodat | 2018-08-21 | 1 | -0/+267 |
 |
index : delta/gcc.git | |
| gcc.gnu.org: git/gcc.git |
| summaryrefslogtreecommitdiff |