Age | Commit message (Expand) | Author | Files | Lines |
2020-10-15 | [Ada] Ada_2020: Add aspect Aggregate to standard container units | Ed Schonberg | 1 | -1/+14 |
2020-07-27 | [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types | Bob Duff | 1 | -1/+5 |
2020-07-15 | [Ada] Mark standard containers as not in SPARK | Yannick Moy | 1 | -1/+3 |
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-05-24 | [Ada] Add documentation from the Ada RM to Ada.Containers.Vector | Raphael Amiard | 1 | -0/+306 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-09-08 | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 1 | -0/+518 |