| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -38/+20 |
| 2017-01-23 | ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine. | Hristian Kirtchev | 1 | -0/+4 |
| 2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -57/+139 |
| 2016-04-18 | contracts.adb (Analyze_Object_Contract): Update references to SPARK RM. | Hristian Kirtchev | 1 | -8/+17 |
| 2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
| 2015-10-16 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore... | Hristian Kirtchev | 1 | -6/+0 |
| 2015-05-26 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh... | Hristian Kirtchev | 1 | -17/+46 |
| 2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -0/+115 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |