| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2019-07-22 | [Ada] Incorrect values in conversion from fixed-point subtype with 'Small | Ed Schonberg | 1 | -0/+11 |
| 2019-07-22 | [Ada] Crash in C++ constructor without external and link name | Javier Miranda | 1 | -0/+15 |
| 2019-07-09 | [Ada] Prevent inconsistent state for inlining in GNATprove | Yannick Moy | 1 | -1/+4 |
| 2019-07-03 | [Ada] Extend -gnatw.z warning to array types | Eric Botcazou | 1 | -9/+16 |
| 2019-07-01 | [Ada] Crash due to missing freeze nodes in transient scope | Hristian Kirtchev | 1 | -4/+15 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-12-11 | [Ada] Spurious error with pragma Thread_Local_Storage | Hristian Kirtchev | 1 | -40/+99 |
| 2018-12-11 | [Ada] Crash on generic instantiation in ignored Ghost context | Hristian Kirtchev | 1 | -35/+31 |
| 2018-12-11 | [Ada] Crash on ignored Ghost expression function | Hristian Kirtchev | 1 | -2/+8 |
| 2018-12-11 | [Ada] Spurious errors on aspect specifications in generic units | Ed Schonberg | 1 | -8/+0 |
| 2018-12-03 | [Ada] Fix internal error on package instantiation on private type | Eric Botcazou | 1 | -2/+23 |
| 2018-11-14 | [Ada] Use of Suppress_Initialization with pragma Thread_Local_Storage | Hristian Kirtchev | 1 | -33/+63 |
| 2018-11-14 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -6/+6 |
| 2018-11-14 | [Ada] Improper extension of bounds of fixed-point type | Ed Schonberg | 1 | -3/+4 |
| 2018-09-26 | [Ada] Fix ICE related to type freezing | Ed Schonberg | 1 | -4/+13 |
| 2018-08-21 | [Ada] Minor reformattings | Hristian Kirtchev | 1 | -17/+16 |
| 2018-08-21 | [Ada] Spurious crash on expression function as completion with contracts | Ed Schonberg | 1 | -0/+204 |
| 2018-08-21 | [Ada] Unnesting: do not emit warnings for access to subprograms | Ed Schonberg | 1 | -1/+5 |
| 2018-07-31 | [Ada] Fix a freezing issue | Javier Miranda | 1 | -0/+6 |
| 2018-07-17 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -17/+19 |
| 2018-07-17 | [Ada] Crash processing abstract state aspect of a package | Javier Miranda | 1 | -214/+303 |
| 2018-05-30 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -5/+4 |
| 2018-05-30 | [Ada] Extend the applicability of Thread_Local_Storage to composite types | Ed Schonberg | 1 | -6/+13 |
| 2018-05-30 | [Ada] Spell preanalysis, preanalyze correctly | Bob Duff | 1 | -1/+1 |
| 2018-05-25 | [Ada] Support for C99 and C++ standard boolean types | Eric Botcazou | 1 | -4/+7 |
| 2018-05-24 | [Ada] Quadratic compile time with tagged types | Justin Squirek | 1 | -1/+1 |
| 2018-05-24 | [Ada] Fix crash on formal containers | Hristian Kirtchev | 1 | -15/+26 |
| 2018-05-24 | [Ada] Spurious error on imported subprogram with precondition | Hristian Kirtchev | 1 | -3/+14 |
| 2018-05-23 | [Ada] Minor reformattings | Hristian Kirtchev | 1 | -0/+1 |
| 2018-05-23 | [Ada] Spurious Storage_Error on imported array | Hristian Kirtchev | 1 | -39/+133 |
| 2018-05-23 | [Ada] Build-in-place aggregates and Address clauses | Bob Duff | 1 | -7/+6 |
| 2018-05-22 | [Ada] Spurious visibility error on aspect in generic unit | Ed Schonberg | 1 | -1/+4 |
| 2018-05-22 | [Ada] Spurious size error on fixed point type with aspect Small | Ed Schonberg | 1 | -0/+10 |
| 2018-05-22 | [Ada] Minor reformattings | Hristian Kirtchev | 1 | -1/+1 |
| 2018-05-21 | [Ada] Spurious warning on object declaration with address clause | Ed Schonberg | 1 | -1/+4 |
| 2018-05-21 | [Ada] Spurious error on early call region of tagged type | Hristian Kirtchev | 1 | -1/+0 |
| 2018-05-21 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -2/+1 |
| 2018-01-11 | [Ada] Crash on build-in-place call with address specification for target | Ed Schonberg | 1 | -4/+9 |
| 2018-01-11 | [Ada] Prohibit concurrent types in Ghost regions | Hristian Kirtchev | 1 | -15/+5 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-11-09 | exp_util.adb, freeze.adb: Minor reformatting. | Gary Dismukes | 1 | -1/+0 |
| 2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+1 |
| 2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2017-09-18 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+1 |
| 2017-09-13 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+2 |
| 2017-09-11 | [multiple changes] | Arnaud Charlet | 1 | -69/+3 |
| 2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
| 2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -13/+21 |
| 2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+60 |
| 2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
