| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2019-09-19 | [Ada] Move SPARK borrow-checker to gnat2why codebase | Yannick Moy | 1 | -177/+0 |
| 2019-08-20 | [Ada] Minor reformattings | Gary Dismukes | 1 | -2/+1 |
| 2019-08-19 | [Ada] Allow reading a borrowed object inside a call to a pledge function | Claire Dross | 1 | -0/+3 |
| 2019-08-14 | [Ada] Expose part of ownership checking for use in GNATprove | Yannick Moy | 1 | -0/+6 |
| 2019-07-23 | [Ada] Issue error on SPARK ownership rule violation | Yannick Moy | 1 | -0/+4 |
| 2019-07-11 | [Ada] Refactor ownership pointer checking in SPARK as a generic | Claire Dross | 1 | -0/+22 |
| 2019-07-01 | [Ada] SPARK support for pointers through ownership | Yannick Moy | 1 | -4/+4 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -4/+4 |
| 2017-09-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+143 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |