Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-10-22 | [Ada] Add more annotations and assertions in the runtime | Arnaud Charlet | 1 | -2/+5 |
2020-10-22 | [Ada] Update annotations for codepeer analysis on GNAT runtime | Arnaud Charlet | 1 | -2/+2 |
2020-10-21 | [Ada] Support of attributes Image, Put_Image, Val and Width for 128-bit types | Eric Botcazou | 1 | -4/+3 |
2020-10-21 | [Ada] Codepeer remarks take into account | Liaiss Merzougue | 1 | -5/+25 |
2020-06-04 | [Ada] Avoid buffer overflow in Long_Long_Float_Text_IO | Steve Baird | 1 | -8/+3 |
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2020-06-02 | [Ada] Address potentially uninitialized variables and dead code | Arnaud Charlet | 1 | -0/+5 |
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/+699 |