| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2025-01-07 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
| 2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
| 2023-07-06 | ada: Refactor the proof of the Value and Image runtime units | Claire Dross | 1 | -0/+1 |
| 2023-05-23 | ada: Update ghost code for proof of integer input functions | Claire Dross | 1 | -7/+3 |
| 2023-05-16 | ada: Update proof of runtime units | Yannick Moy | 1 | -6/+6 |
| 2023-05-15 | ada: Fix proof of runtime unit System.Value* | Claire Dross | 1 | -30/+62 |
| 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 | -317/+127 |
| 2022-05-18 | [Ada] Fix proof of runtime unit s-valeu | Claire Dross | 1 | -4/+8 |
| 2022-05-18 | [Ada] Fix proof of runtime units | Yannick Moy | 1 | -0/+1 |
| 2022-05-12 | [Ada] Add ghost code to facilitate proof with SPARK | Yannick Moy | 1 | -0/+4 |
| 2022-05-11 | [Ada] Proof of 'Image support for unsigned integers | Yannick Moy | 1 | -0/+71 |
| 2022-01-11 | [Ada] Proof of System.Val_Uns at gold level | Claire Dross | 1 | -11/+425 |
| 2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
| 2021-12-02 | [Ada] Proof of System.Val_Util utilities for 'Value support | Yannick Moy | 1 | -1/+1 |
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2020-10-21 | [Ada] Support of attributes Image, Put_Image, Val and Width for 128-bit types | Eric Botcazou | 1 | -0/+324 |
