Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [Ada] Minor reformatting | Hristian Kirtchev | 2019-07-01 | 1 | -4/+4 |
* | [Ada] Wrong code with -gnatVa on lock-free protected objects | Ed Schonberg | 2019-07-01 | 1 | -0/+13 |
* | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 2019-01-08 | 1 | -1/+1 |
* | [Ada] Volatility, validity checks, and System.Aux_DEC | Hristian Kirtchev | 2018-12-11 | 1 | -17/+17 |
* | [Ada] Minor reformattings | Hristian Kirtchev | 2018-12-03 | 1 | -1/+0 |
* | [Ada] Enhance constraints propagation to ease the work of optimizers | Ed Schonberg | 2018-11-14 | 1 | -1/+12 |
* | [Ada] Minor reformatting | Hristian Kirtchev | 2018-11-14 | 1 | -2/+2 |
* | [Ada] Limited function violates No_Exception_Propagation | Hristian Kirtchev | 2018-11-14 | 1 | -0/+6 |
* | [Ada] Preserve Do_Range_Check flags in SPARK mode | Ed Schonberg | 2018-10-09 | 1 | -3/+2 |
* | [Ada] Missing front-end code for constraint checks on fixed point exprs | Ed Schonberg | 2018-09-26 | 1 | -2/+15 |
* | [Ada] ICE on mix of tagged and limited interfaces | Javier Miranda | 2018-09-26 | 1 | -0/+7 |
* | [Ada] Minor reformattings | Hristian Kirtchev | 2018-08-21 | 1 | -3/+3 |
* | [Ada] Enumeration types with non-standard representation | Javier Miranda | 2018-08-21 | 1 | -5/+34 |
* | [Ada] Minor reformattings | Hristian Kirtchev | 2018-07-31 | 1 | -25/+22 |
* | [Ada] Add provision for floating-point in Apply_Division_Check | Arnaud Charlet | 2018-07-17 | 1 | -7/+18 |
* | [Ada] Illegal copy of limited object | Ed Schonberg | 2018-05-31 | 1 | -0/+13 |
* | [Ada] Minor reformatting | Hristian Kirtchev | 2018-05-30 | 1 | -0/+1 |
* | [Ada] Ignore out of range values for System.Priority in CodePeer mode | Arnaud Charlet | 2018-05-30 | 1 | -1/+10 |
* | [Ada] Fix various defects found by static analysis | Arnaud Charlet | 2018-05-23 | 1 | -0/+6 |
* | [Ada] Fix inconstent subprogram body headers | Piotr Trojanek | 2018-05-21 | 1 | -3/+3 |
* | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 2018-01-11 | 1 | -1/+1 |
* | exp_unst.adb (Unnest_Subprograms): Nothing to do if the main unit is a generi... | Pierre-Marie de Rodat | 2017-12-15 | 1 | -1/+1 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-12-05 | 1 | -2/+10 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-11-16 | 1 | -8/+17 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-11-09 | 1 | -8/+8 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-10-14 | 1 | -0/+4 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-10-09 | 1 | -4/+10 |
* | [multiple changes] | Arnaud Charlet | 2017-09-08 | 1 | -0/+7 |
* | [multiple changes] | Arnaud Charlet | 2017-09-08 | 1 | -1/+7 |
* | [multiple changes] | Arnaud Charlet | 2017-09-06 | 1 | -0/+14 |
* | [multiple changes] | Arnaud Charlet | 2017-09-06 | 1 | -26/+4 |
* | gimple.c (gimple_assign_set_rhs_with_ops): Do not ask gsi_replace to update E... | Eric Botcazou | 2017-07-25 | 1 | -0/+7 |
* | Minor reformatting. | Arnaud Charlet | 2017-05-02 | 1 | -26/+24 |
* | [multiple changes] | Arnaud Charlet | 2017-05-02 | 1 | -15/+31 |
* | [multiple changes] | Arnaud Charlet | 2017-05-02 | 1 | -1/+6 |
* | [multiple changes] | Arnaud Charlet | 2017-05-02 | 1 | -3/+5 |
* | [multiple changes] | Arnaud Charlet | 2017-05-02 | 1 | -6/+25 |
* | [multiple changes] | Arnaud Charlet | 2017-04-28 | 1 | -2/+8 |
* | [multiple changes] | Arnaud Charlet | 2017-04-27 | 1 | -1/+5 |
* | [multiple changes] | Arnaud Charlet | 2017-04-27 | 1 | -0/+198 |
* | [multiple changes] | Arnaud Charlet | 2017-04-27 | 1 | -2/+4 |
* | [multiple changes] | Arnaud Charlet | 2017-04-27 | 1 | -11/+0 |
* | [multiple changes] | Arnaud Charlet | 2017-04-27 | 1 | -0/+11 |
* | [multiple changes] | Arnaud Charlet | 2017-04-25 | 1 | -11/+0 |
* | [multiple changes] | Arnaud Charlet | 2017-04-25 | 1 | -20/+36 |
* | checks.adb (Insert_Valid_Check): Code cleanup. | Hristian Kirtchev | 2017-04-25 | 1 | -17/+18 |
* | [multiple changes] | Arnaud Charlet | 2017-04-25 | 1 | -14/+18 |
* | [multiple changes] | Arnaud Charlet | 2017-04-25 | 1 | -4/+8 |
* | checks.adb (Apply_Scalar_Range_Check): Analyze precisely conversions from flo... | Yannick Moy | 2017-04-25 | 1 | -9/+72 |
* | checks.adb (Determine_Range_R): Special case type conversions from integer to... | Yannick Moy | 2017-04-25 | 1 | -4/+26 |