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-09-12 | [Ada] Replace SPARK containers implementation by Compile_Time_Error | Joffrey Huguet | 1 | -345/+5 |
2022-07-12 | [Ada] Annotate libraries with returning annotation | Joffrey Huguet | 1 | -1/+4 |
2022-07-04 | [Ada] Create new unbounded functional sequence | Julien Bortolussi | 1 | -0/+377 |