Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-08-21 | [Ada] Add sa_messages.ad[sb] for SPARK 2014 | Pierre-Marie de Rodat | 1 | -0/+267 |
index : riscv-gnu-toolchain/gcc.git | ||
Unnamed repository; edit this file 'description' to name the repository. | root |
aboutsummaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-08-21 | [Ada] Add sa_messages.ad[sb] for SPARK 2014 | Pierre-Marie de Rodat | 1 | -0/+267 |