| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2020-07-07 | [Ada] Move generation of range checks for entry families to expander | Eric Botcazou | 1 | -3/+3 |
| 2020-06-10 | [Ada] Remove more references to ASIS | Arnaud Charlet | 1 | -2/+2 |
| 2020-06-09 | [Ada] Propagate DIC, Invariant and Predicate attributes to views | Eric Botcazou | 1 | -0/+10 |
| 2020-06-08 | [Ada] Remove processing of SPARK_05 restriction | Arnaud Charlet | 1 | -12/+0 |
| 2020-06-05 | [Ada] Spurious error on address clause in task body | Ed Schonberg | 1 | -0/+18 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-12-12 | [Ada] Fix repeated words and typos in doc and comments | Piotr Trojanek | 1 | -1/+1 |
| 2019-08-21 | [Ada] Replace low-level membership tests with high-level routines | Piotr Trojanek | 1 | -2/+1 |
| 2019-07-11 | [Ada] Missing finalization of private protected type | Hristian Kirtchev | 1 | -22/+26 |
| 2019-07-05 | [Ada] Compiler loop on illegal nested accept statement | Ed Schonberg | 1 | -1/+7 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-07-31 | [Ada] Replace low-level calls to Ekind with high-level calls to Is_Formal | Piotr Trojanek | 1 | -1/+1 |
| 2018-05-23 | [Ada] Suppression of elaboration-related warnings | Hristian Kirtchev | 1 | -6/+9 |
| 2018-05-21 | [Ada] Aspects on stubs | Hristian Kirtchev | 1 | -1/+1 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-11-16 | opt.ads: Elaboration warnings are now on by default. | Hristian Kirtchev | 1 | -3/+4 |
| 2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -10/+10 |
| 2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+3 |
| 2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+40 |
| 2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+3 |
| 2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
| 2017-04-25 | sem_ch9.adb, [...]: Minor reformatting and typo fixes. | Gary Dismukes | 1 | -2/+2 |
| 2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -18/+3 |
| 2017-01-23 | sem_util.adb (New_Copy_Tree): Code cleanup: removal of the internal map (ie. | Javier Miranda | 1 | -0/+26 |
| 2017-01-23 | sem_ch3.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -0/+1 |
| 2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
| 2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -13/+19 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -3/+3 |
| 2017-01-09 | einfo.ads, einfo.adb: Remove uses of flags Has_Default_Init_Cond... | Hristian Kirtchev | 1 | -0/+10 |
| 2017-01-06 | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 1 | -4/+5 |
| 2016-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2016-07-07 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
| 2016-06-20 | [multiple changes] | Arnaud Charlet | 1 | -7/+36 |
| 2016-06-16 | bindgen.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -4/+4 |
| 2016-06-16 | sem_ch9.adb, [...]: Minor reformatting and typo fixes. | Gary Dismukes | 1 | -3/+4 |
| 2016-06-16 | [multiple changes] | Arnaud Charlet | 1 | -1/+18 |
| 2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -10/+2 |
| 2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -3/+1 |
| 2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2015-11-24 | sem_ch3.adb, [...]: Minor reformatting, rewording, and typo corrections. | Gary Dismukes | 1 | -3/+3 |
| 2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -28/+17 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -10/+0 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -5/+18 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -79/+140 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
