Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
2022-01-10 | [Ada] Remove CodePeer annotations for pragma Loop_Variant | Piotr Trojanek | 1 | -3/+0 |
2022-01-06 | [Ada] Justify false positive message from CodePeer analysis of GNAT | Yannick Moy | 1 | -0/+3 |
2022-01-06 | [Ada] Proof of runtime units for binary modular exponentiation | Yannick Moy | 1 | -1/+22 |
2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2020-10-21 | [Ada] Basic support for 128-bit types | Eric Botcazou | 1 | -0/+63 |