| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2020-10-20 | [Ada] AI12-0339: Empty function for Aggregate aspect of Ada containers | Ed Schonberg | 1 | -0/+11 |
| 2020-10-19 | [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types | Bob Duff | 1 | -0/+31 |
| 2020-07-15 | [Ada] Mark standard containers as not in SPARK | Yannick Moy | 1 | -1/+3 |
| 2020-06-17 | [Ada] Ada2020: AI12-0110 Tampering checks are performed first | Bob Duff | 1 | -4/+4 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-10-10 | [Ada] Replace in Ordered_Maps gets tampering failure | Bob Duff | 1 | -5/+5 |
| 2019-09-18 | [Ada] Avoid uninitialized variable in bounded containers | Bob Duff | 1 | -10/+5 |
| 2019-08-20 | [Ada] Efficiency improvement in bounded ordered containers | Bob Duff | 1 | -1/+3 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-09-12 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
| 2017-09-08 | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 1 | -0/+1637 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |