| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2020-06-05 | [Ada] Add missing Global contract to Ada.Containers.Functional_Vectors | Piotr Trojanek | 1 | -1/+2 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-08-19 | [Ada] Add formal function parameter equality to SPARK containers | Joffrey Huguet | 1 | -0/+1 |
| 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-08 | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 1 | -0/+393 |
