| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
| 2023-05-16 | ada: Simplify dramatically ghost code for proof of System.Arith_Double | Yannick Moy | 1 | -3/+9 |
| 2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2022-09-02 | [Ada] Recover proof of Scaled_Divide in System.Arith_64 | Yannick Moy | 1 | -0/+1 |
| 2022-05-12 | [Ada] Remove use of use-clauses in loaded runtime units | Yannick Moy | 1 | -4/+10 |
| 2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
| 2021-11-10 | [Ada] Prove double precision integer arithmetic unit | Pierre-Alexandre Bazin | 1 | -7/+91 |
| 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/+94 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |