Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
2023-06-20 | ada: Remove references to Might_Not_Return and Always_Return | Claire Dross | 1 | -4/+3 |
2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2022-07-12 | [Ada] Annotate libraries with returning annotation | Joffrey Huguet | 1 | -0/+2 |
2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
2021-10-05 | [Ada] Proof of Ada.Characters.Handling | Yannick Moy | 1 | -33/+326 |
2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2020-07-16 | [Ada] AI12-0004 Normalization and allowed characters | Arnaud Charlet | 1 | -0/+1 |
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-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/+159 |