12 days ago |
Ronan Desplanques | ada: Fix crash with -gnatdJ and JSON output |
commit | commitdiff |
2024-01-22 |
Marc Poulhiès | Update copyright years. |
commit | commitdiff |
2023-11-07 |
Steve Baird | ada: New Local_Restrictions and User_Aspect aspects. |
commit | commitdiff |
2023-01-09 |
Arnaud Charlet | ada: Update copyright notice |
commit | commitdiff |
2022-11-21 |
Steve Baird | ada: Internal compiler error for Sequential Partition_E... |
commit | commitdiff |
2022-11-21 |
Bob Duff | ada: Move warnings switches |
commit | commitdiff |
2022-07-12 |
Eric Botcazou | [Ada] Extend No_Dependence restriction to code generation |
commit | commitdiff |
2022-01-11 |
Arnaud Charlet | [Ada] Update copyright notice and bump Gnatvsn.Current_Year |
commit | commitdiff |
2022-01-06 |
Etienne Servais | [Ada] Fix typo in comments found running aspell |
commit | commitdiff |
2022-01-05 |
Marc Poulhiès | [Ada] Remove Compiler_Unit[_Warning] pragmas |
commit | commitdiff |
2021-07-07 |
Bob Duff | [Ada] Optimize away certain elaboration checks |
commit | commitdiff |
2021-07-05 |
Justin Squirek | [Ada] INOX: prototype alternative accessibility model |
commit | commitdiff |
2021-06-16 |
Piotr Trojanek | [Ada] Fix typos in all occurrences of "occuring" in... |
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-27 |
Arnaud Charlet | [Ada] Use membership tests in front-end |
commit | commitdiff |
2020-07-16 |
Bob Duff | [Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigne... |
commit | commitdiff |
2020-07-07 |
Ghjuvan Lacambre | [Ada] Ensure No_Specification_Of_Aspect forbids pragmas... |
commit | commitdiff |
2020-06-16 |
Javier Miranda | [Ada] Crash in tagged type constructor with task components |
commit | commitdiff |
2020-06-15 |
Javier Miranda | [Ada] Crash in tagged type constructor with task components |
commit | commitdiff |
2020-06-08 |
Arnaud Charlet | [Ada] Remove processing of SPARK_05 restriction |
commit | commitdiff |
2020-06-02 |
Arnaud Charlet | [Ada] Bump copyright year |
commit | commitdiff |
2019-01-08 |
Pierre-Marie de... | [Ada] Bump copyright years to 2019 |
commit | commitdiff |
2018-01-11 |
Arnaud Charlet | [Ada] Bump copyright notices to 2018 |
commit | commitdiff |
2017-04-27 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2016-10-12 |
Hristian Kirtchev | exp_ch5.adb, [...]: Minor reformatting. |
commit | commitdiff |
2016-10-12 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2016-06-22 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2016-06-16 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2016-04-18 |
Hristian Kirtchev | par-ch2.adb (P_Expression_Or_Reserved_Word): New routine. |
commit | commitdiff |
2015-10-23 |
Arnaud Charlet | gnat1drv.adb (Adjust_Global_Switches): Adjust settings. |
commit | commitdiff |
2015-10-23 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2015-10-23 |
Hristian Kirtchev | exp_ch7.adb (Process_Transient_Objects): Reimplement... |
commit | commitdiff |
2015-10-20 |
Yannick Moy | fmap.adb, [...]: Fix coding style for marking start... |
commit | commitdiff |
2015-10-20 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2015-05-26 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2015-05-26 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2015-01-07 |
Robert Dewar | prj.ads, [...]: Minor reformatting. |
commit | commitdiff |
2014-10-17 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2014-08-04 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2014-08-04 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2014-08-01 |
Ed Schonberg | restrict.adb (Update_Restrictions): For restrictions... |
commit | commitdiff |
2014-08-01 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2014-07-31 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2014-06-13 |
Robert Dewar | lib.ads, [...] (Is_Compiler_Unit): Removed. |
commit | commitdiff |
2014-06-11 |
Arnaud Charlet | 2014-06-11 Sergey Rybin <rybin@adacore.com frybin> |
commit | commitdiff |
2014-05-21 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2014-05-21 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2014-02-25 |
Arnaud Charlet | lib.ads, [...]: Implement pragma Compiler_Unit_Warning... |
commit | commitdiff |
2014-01-22 |
Arnaud Charlet | [multiple changes] |
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-10 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2013-07-08 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2013-07-08 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2013-07-08 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2013-07-08 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2013-04-24 |
Yannick Moy | adabkend.adb, [...]: Everything with name 'Alfa' rename... |
commit | commitdiff |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2013-04-12 |
Ed Schonberg | s-rident.ads: Add various missing Ada 2012 restrictions... |
commit | commitdiff |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2012-08-06 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2012-07-12 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2012-07-09 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2012-02-17 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-11-21 |
Robert Dewar | frontend.adb (Frontend): Capture restrictions from... |
commit | commitdiff |
2011-11-21 |
Arnaud Charlet | sem_ch6.adb (Is_Public_Subprogram_For): New procedure |
commit | commitdiff |
2011-09-19 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-31 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-31 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-05 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-05 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-03 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-03 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-02 |
Arnaud Charlet | Minor reformatting. |
commit | commitdiff |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-02 |
Yannick Moy | einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get... |
commit | commitdiff |
2011-08-02 |
Yannick Moy | sem_aggr.adb, [...]: cleanup of SPARK mode |
commit | commitdiff |
2011-08-02 |
Yannick Moy | errout.adb (First_Node): minor renaming |
commit | commitdiff |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2011-08-02 |
Yannick Moy | par-ch6.adb: Correct obsolete name in comments |
commit | commitdiff |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2010-10-07 |
Robert Dewar | gnat_rm.texi, [...]: Change spelling parametrize(d... |
commit | commitdiff |
2010-09-09 |
Robert Dewar | sem_ch13.adb, [...]: Minor reformatting. |
commit | commitdiff |
2010-09-09 |
Robert Dewar | nlists.ads, nlists.adb (In_Same_List): New function. |
commit | commitdiff |
2010-08-10 |
Robert Dewar | a-chahan.ads: Add comments on handling of obsolescent... |
commit | commitdiff |
2010-06-23 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2010-06-18 |
Arnaud Charlet | par-labl.adb, [...]: Fix copyright notices. |
commit | commitdiff |
2009-04-17 |
Arnaud Charlet | [multiple changes] |
commit | commitdiff |
2009-04-16 |
Thomas Quinot | exp_dist.adb (Build_From_Any_Call): For a subtype that... |
commit | commitdiff |
2008-08-04 |
Robert Dewar | restrict.adb: Improved messages for restriction warnings |
commit | commitdiff |
2008-05-28 |
Robert Dewar | 2008-05-28 Robert Dewar <dewar@adacore.com> |
commit | commitdiff |
2008-04-10 |
Ralf Wildenhues | gnat_ugn.texi: Fix typos. |
commit | commitdiff |
2008-03-26 |
Robert Dewar | exp_ch11.adb (Expand_At_End_Handler): Set From_At_End... |
commit | commitdiff |
2007-12-13 |
Bob Duff | restrict.ads, [...] (Check_Implicit_Dynamic_Code_Allowe... |
commit | commitdiff |
2007-09-12 |
Robert Dewar | types.ads, [...]: Minor reformatting. |
commit | commitdiff |
next |