Age | Commit message (Expand) | Author | Files | Lines |
2022-05-12 | [Ada] Make debug printouts more robust | Bob Duff | 1 | -2/+2 |
2022-05-10 | [Ada] Cleanup detection of No_Elist with No and Present | Piotr Trojanek | 1 | -1/+1 |
2022-05-10 | [Ada] Accept Structural in aspect Subprogram_Variant and pragma Loop_Variant | Claire Dross | 1 | -9/+16 |
2022-05-10 | [Ada] Simplify conversion from Character to Char_Code | Piotr Trojanek | 1 | -1/+1 |
2022-05-09 | [Ada] Allow Big_Integer in loop and subprogram variants | Piotr Trojanek | 1 | -0/+2 |
2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
2022-01-10 | [Ada] Disable expansion of pragma Loop_Variant in CodePeer mode | Piotr Trojanek | 1 | -1/+4 |
2022-01-07 | [Ada] Fix a couple of issues with pragma Inspection_Point | Eric Botcazou | 1 | -23/+26 |
2022-01-06 | [Ada] Fix typo in comments found running aspell | Etienne Servais | 1 | -1/+1 |
2021-10-25 | [Ada] Change format of the ?? warning insertion sequence | Etienne Servais | 1 | -2/+2 |
2021-09-22 | [Ada] Reuse routines for detecting attributes Old and Result | Piotr Trojanek | 1 | -3/+1 |
2021-09-22 | [Ada] Fix conformance errors and erroneous code | Bob Duff | 1 | -6/+6 |
2021-07-08 | [Ada] Fix use of single question mark in error message | Ghjuvan Lacambre | 1 | -1/+1 |
2021-07-08 | [Ada] Prevent crash on inspection point for unfrozen entity | Ghjuvan Lacambre | 1 | -0/+31 |
2021-05-07 | [Ada] Minor reformattings | Bob Duff | 1 | -35/+35 |
2021-05-07 | [Ada] Variable-sized node types -- cleanup | Bob Duff | 1 | -2/+2 |
2021-05-07 | [Ada] Fix type mismatch warnings during LTO bootstrap #4 | Eric Botcazou | 1 | -1/+1 |
2021-05-07 | [Ada] Variable-sized node types | Bob Duff | 1 | -2/+6 |
2021-05-06 | [Ada] Fix typos | Arnaud Charlet | 1 | -1/+1 |
2021-05-04 | [Ada] Reuse Is_Formal_Object where convenient | Piotr Trojanek | 1 | -2/+1 |
2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2021-05-03 | [Ada] Code and style cleanups for CUDA | Piotr Trojanek | 1 | -17/+16 |
2020-12-15 | [Ada] Postcondition checks performed before finalization | Justin Squirek | 1 | -0/+6 |
2020-11-25 | [Ada] Fix couple of minor issues with local exception propagation | Eric Botcazou | 1 | -3/+14 |
2020-10-27 | [Ada] CUDA: handle parameter associations in expansion of CUDA_Execute | Ghjuvan Lacambre | 1 | -2/+9 |
2020-10-23 | [Ada] CUDA: fix CUDA_Execute not working with aggregates | Ghjuvan Lacambre | 1 | -4/+21 |
2020-10-23 | [Ada] CUDA: Use internal types instead of public ones | Ghjuvan Lacambre | 1 | -55/+117 |
2020-10-22 | [Ada] CUDA: discover runtime types instead of hard-coding | Ghjuvan Lacambre | 1 | -2/+21 |
2020-10-22 | [Ada] Refactor appending to possibly empty lists | Piotr Trojanek | 1 | -15/+3 |
2020-10-20 | [Ada] Implement AI12-0280 Making 'Old more flexible | Steve Baird | 1 | -28/+79 |
2020-10-20 | [Ada] Support for new aspect Subprogram_Variant on recursive subprograms | Piotr Trojanek | 1 | -29/+334 |
2020-10-16 | [Ada] Implement expansion of CUDA_Execute pragma | Ghjuvan Lacambre | 1 | -0/+473 |
2020-07-27 | [Ada] Refactor pragma argument getters | Ghjuvan Lacambre | 1 | -81/+33 |
2020-07-27 | [Ada] Use membership tests in front-end | Arnaud Charlet | 1 | -1/+1 |
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-12-11 | [Ada] Suppress call to Initial_Condition when the annotation is ignored | Hristian Kirtchev | 1 | -1/+7 |
2018-11-14 | [Ada] Lingering loop for ignored Ghost assignment | Hristian Kirtchev | 1 | -2/+2 |
2018-06-11 | [Ada] Suppress the expansion of ignored assertion pragmas | Hristian Kirtchev | 1 | -4/+18 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -47/+253 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -14/+19 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+88 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -6/+10 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |