| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2017-01-19 | Code cleanup. | Arnaud Charlet | 1 | -1/+4 |
| 2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -566/+489 |
| 2017-01-13 | Code cleanups. | Arnaud Charlet | 1 | -2/+27 |
| 2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -1/+0 |
| 2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+574 |
| 2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -12/+12 |
| 2017-01-06 | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 1 | -17/+15 |
| 2016-10-13 | Code cleanup. | Arnaud Charlet | 1 | -2/+11 |
| 2016-10-12 | contracts.adb (Analyze_Contracts): For a type declaration, analyze an iterabl... | Ed Schonberg | 1 | -0/+17 |
| 2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -63/+0 |
| 2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -10/+1 |
| 2016-04-20 | sem_util.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -46/+40 |
| 2016-04-20 | contracts.adb (Build_Postconditions_Procedure): Code cleanup. | Javier Miranda | 1 | -38/+33 |
| 2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+30 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -5/+74 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -48/+0 |
| 2016-04-18 | contracts.adb (Analyze_Object_Contract): Update references to SPARK RM. | Hristian Kirtchev | 1 | -2/+2 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -158/+0 |
| 2015-11-24 | sem_ch3.adb, [...]: Minor reformatting, rewording, and typo corrections. | Gary Dismukes | 1 | -2/+2 |
| 2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -54/+131 |
| 2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+18 |
| 2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -5/+12 |
| 2015-11-12 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Remove the guard c... | Hristian Kirtchev | 1 | -27/+29 |
| 2015-10-26 | contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b... | Hristian Kirtchev | 1 | -46/+46 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+33 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -52/+197 |
| 2015-10-26 | Code clean ups. | Arnaud Charlet | 1 | -18/+23 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -232/+351 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -53/+5 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -51/+52 |
| 2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+2453 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |