Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
2023-08-03 | ada: Add pragma Annotate for GNATcheck exemptions | Sheri Bernstein | 1 | -0/+5 |
2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2022-09-02 | [Ada] Fix proof of runtime unit System.Value* and System.Image* | Claire Dross | 1 | -0/+198 |