Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-09-13 | Merged current trunk to branch. | Thomas Koenig | 1 | -1/+1 |
2020-06-11 | [Ada] Add fallback on Integer_Arithmetic | Arnaud Charlet | 1 | -14/+75 |
2020-06-10 | [Ada] AI12-0364 Add a modular atomic arithmetic package | Arnaud Charlet | 1 | -0/+148 |