| 2024-01-22 |
Marc Poulhiès | Update copyright years. |
commit | commitdiff |
| 2023-09-15 |
Bob Duff | ada: Clean up scope depth and related code (tech debt) |
commit | commitdiff |
| 2023-05-23 |
Eric Botcazou | ada: Small code cleanup |
commit | commitdiff |
| 2023-01-09 |
Arnaud Charlet | ada: Update copyright notice |
commit | commitdiff |
| 2022-11-22 |
Ghjuvan Lacambre | ada: Disable checking of Elab_Spec procedures in CodePe... |
commit | commitdiff |
| 2022-11-21 |
Ghjuvan Lacambre | ada: Disable subprogram call validation in CodePeer... |
commit | commitdiff |
| 2022-11-21 |
Bob Duff | ada: Move warnings switches |
commit | commitdiff |
| 2022-11-08 |
Javier Miranda | ada: Enforce matching of extra formals |
commit | commitdiff |
| 2022-05-30 |
Piotr Trojanek | [Ada] Deconstruct deferred references |
commit | commitdiff |
| 2022-01-11 |
Piotr Trojanek | [Ada] Remove extra space in single object declarations |
commit | commitdiff |
| 2022-01-11 |
Arnaud Charlet | [Ada] Update copyright notice and bump Gnatvsn.Current_Year |
commit | commitdiff |
| 2021-12-01 |
Richard Kenner | [Ada] Fix issues with ignored ghost code and unnesting |
commit | commitdiff |
| 2021-05-07 |
Bob Duff | [Ada] Minor reformattings |
commit | commitdiff |
| 2021-05-07 |
Bob Duff | [Ada] Variable-sized node types |
commit | commitdiff |
| 2021-05-03 |
Arnaud Charlet | [Ada] Update copyright notice |
commit | commitdiff |
| 2020-07-16 |
Arnaud Charlet | [Ada] Disable Initialize_Scalars on runtime files |
commit | commitdiff |
| 2020-06-03 |
Arnaud Charlet | [Ada] Initial infrastructure for adding a tree checker |
commit | commitdiff |
| 2020-06-02 |
Arnaud Charlet | [Ada] Remove ASIS_Mode |
commit | commitdiff |
| 2020-06-02 |
Arnaud Charlet | [Ada] Bump copyright year |
commit | commitdiff |
| 2019-09-18 |
Yannick Moy | [Ada] Skip entity name qualification in GNATprove mode |
commit | commitdiff |
| 2019-01-08 |
Pierre-Marie de... | [Ada] Bump copyright years to 2019 |
commit | commitdiff |
| 2018-07-17 |
Hristian Kirtchev | [Ada] Faulty ignored Ghost code removal |
commit | commitdiff |
| 2018-07-17 |
Hristian Kirtchev | [Ada] Configuration state not observed for instance... |
commit | commitdiff |
| 2018-07-16 |
Arnaud Charlet | [Ada] Only unnest subprograms if no previous errors... |
commit | commitdiff |
| 2018-01-11 |
Arnaud Charlet | [Ada] Bump copyright notices to 2018 |
commit | commitdiff |
| 2017-12-05 |
Pierre-Marie de... | [multiple changes] |
commit | commitdiff |
| 2017-10-09 |
Pierre-Marie de... | [multiple changes] |
commit | commitdiff |
| 2017-10-09 |
Pierre-Marie de... | [multiple changes] |
commit | commitdiff |
| 2017-09-29 |
Pierre-Marie de... | [multiple changes] |
commit | commitdiff |
| 2017-09-25 |
Pierre-Marie de... | [multiple changes] |
commit | commitdiff |
| 2017-09-06 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2017-09-06 |
Bob Duff | frontend.adb (Frontend): Skip -gnatec=gnat.adc switch... |
commit | commitdiff |
| 2017-01-23 |
Javier Miranda | sem_util.adb (New_Copy_Tree): Code cleanup: removal... |
commit | commitdiff |
| 2017-01-23 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2017-01-19 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2017-01-13 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2017-01-13 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2017-01-12 |
Bob Duff | contracts.adb, [...] (Pragma_Name): Change name to... |
commit | commitdiff |
| 2017-01-06 |
Bob Duff | snames.ads-tmpl (Renamed): New name for the pragma... |
commit | commitdiff |
| 2016-07-04 |
Arnaud Charlet | Minor reformatting. |
commit | commitdiff |
| 2016-07-04 |
Bob Duff | sem_eval.adb (Decompose_Expr): Set 'out' parameters... |
commit | commitdiff |
| 2016-04-21 |
Javier Miranda | frontend.adb: Update call to Unnest_Subprograms. |
commit | commitdiff |
| 2016-04-21 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2016-04-20 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2015-10-16 |
Arnaud Charlet | exp_ch5.adb, [...]: Code clean up: remove special handl... |
commit | commitdiff |
| 2015-05-22 |
Robert Dewar | debug.adb: Update documentation. |
commit | commitdiff |
| 2015-05-12 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2015-03-13 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2015-02-05 |
Arnaud Charlet | 015-02-05 Robert Dewar <dewar@adacore.com> |
commit | commitdiff |
| 2015-01-07 |
Hristian Kirtchev | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> |
commit | commitdiff |
| 2015-01-06 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2014-07-31 |
Robert Dewar | cstand.adb, [...]: Remove obsolete VMS-specific code. |
commit | commitdiff |
| 2014-07-31 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2014-07-30 |
Bob Duff | s-taasde.adb (Timer_Queue): Don't use a build-in-place... |
commit | commitdiff |
| 2014-07-29 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2014-07-29 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2014-07-29 |
Robert Dewar | frontend.adb, [...]: Minor reformatting and code clean up. |
commit | commitdiff |
| 2014-07-29 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2014-06-13 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2014-01-31 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2014-01-29 |
Robert Dewar | a-except-2005.adb, [...]: Minor reformatting. |
commit | commitdiff |
| 2014-01-20 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2014-01-20 |
Yannick Moy | 2014-01-20 Yannick Moy <moy@adacore.com> |
commit | commitdiff |
| 2013-10-14 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2013-04-25 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2013-04-25 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2012-08-06 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2012-08-06 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2011-11-21 |
Robert Dewar | frontend.adb (Frontend): Capture restrictions from... |
commit | commitdiff |
| 2011-08-29 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2011-08-29 |
Johannes Kanig | frontend.adb (Frontend): Exit after creating Standard... |
commit | commitdiff |
| 2011-08-04 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2011-08-04 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2010-10-04 |
Vincent Celier | frontend.adb: Set Lib.Parsing_Main_Extended_Source... |
commit | commitdiff |
| 2010-09-10 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2010-09-10 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2010-09-09 |
Robert Dewar | sem_ch13.adb, [...]: Minor reformatting. |
commit | commitdiff |
| 2010-06-23 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2009-11-30 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2009-11-30 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2009-08-07 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2009-07-29 |
Javier Miranda | frontend.adb (Frontend): Code cleanup. |
commit | commitdiff |
| 2009-07-28 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2009-07-28 |
Javier Miranda | gnat1drv.adb (Adjust_Global_Switches): Disable generati... |
commit | commitdiff |
| 2009-04-16 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2009-04-15 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2009-04-15 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2009-04-07 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| 2008-04-08 |
Robert Dewar | alloc.ads: Add entries for Obsolescent_Warnings table |
commit | commitdiff |
| 2008-03-30 |
Ralf Wildenhues | a-textio.ads, [...]: Fix comment typos. |
commit | commitdiff |
| 2008-03-26 |
Robert Dewar | ali.ads, ali.adb (Optimize_Alignment_Setting): New... |
commit | commitdiff |
| 2007-09-10 |
Robert Dewar | exp_atag.ads, [...]: Replace headers with GPL v3 headers. |
commit | commitdiff |
| 2007-08-14 |
Robert Dewar | inline.adb, [...]: Suppress unmodified in-out parameter... |
commit | commitdiff |
| 2007-06-06 |
Vincent Celier | frontend.adb (Frontend): Return immediately if the... |
commit | commitdiff |
| 2006-10-31 |
Robert Dewar | errout.ads, errout.adb (Finalize): Implement switch... |
commit | commitdiff |
| 2005-12-09 |
Thomas Quinot | hostparm.ads (Max_Line_Length): Set to Types.Column_Num... |
commit | commitdiff |
| 2005-11-15 |
Robert Dewar | a-secain.adb, [...]: Minor reformatting |
commit | commitdiff |
| 2005-09-05 |
Arnaud Charlet | re PR ada/23646 (Ada testsuite hangs -- many new failures) |
commit | commitdiff |
| 2005-07-01 |
R. Kelley Cook | Update FSF address |
commit | commitdiff |
| 2004-05-10 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
| next |
git://gcc.gnu.org / gcc.git / history