Age | Commit message (Expand) | Author | Files | Lines |
2014-07-17 | bindgen.adb (Gen_Elab_Calls): Skip reference to elab entity if none exists (G... | Robert Dewar | 1 | -0/+1 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-17 | gnat_rm.texi: Improve documentation of Unrestricted_Access. | Robert Dewar | 1 | -1/+2 |
2014-06-13 | lib.ads, [...] (Is_Compiler_Unit): Removed. | Robert Dewar | 1 | -4/+9 |
2014-05-21 | layout.adb: Minor reformatting. | Robert Dewar | 1 | -1/+2 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -29/+3 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2013-07-05 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+3 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2013-04-12 | s-rident.ads: Add various missing Ada 2012 restrictions... | Ed Schonberg | 1 | -1/+24 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2011-11-21 | frontend.adb (Frontend): Capture restrictions from config files | Robert Dewar | 1 | -20/+65 |
2011-11-21 | sem_ch6.adb (Is_Public_Subprogram_For): New procedure | Arnaud Charlet | 1 | -0/+7 |
2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+16 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-05 | exp_ch7.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+5 |
2011-08-03 | sem_aggr.adb, [...]: Minor reformatting | Robert Dewar | 1 | -7/+7 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+11 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+31 |
2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -2/+2 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -8/+20 |
2011-08-02 | par-ch6.adb: Correct obsolete name in comments | Yannick Moy | 1 | -0/+4 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2010-09-09 | sem_ch13.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+13 |
2010-09-09 | nlists.ads, nlists.adb (In_Same_List): New function. | Robert Dewar | 1 | -0/+6 |
2010-08-10 | a-chahan.ads: Add comments on handling of obsolescent entries. | Robert Dewar | 1 | -1/+10 |
2008-08-04 | restrict.adb: Improved messages for restriction warnings | Robert Dewar | 1 | -14/+24 |
2008-05-28 | restrict.ads: Add missing restrictions, and properly label all GNAT defined ones | Robert Dewar | 1 | -3/+6 |
2008-05-20 | opt.ads (Treat_Restrictions_As_Warnings): New switch | Robert Dewar | 1 | -7/+10 |
2008-04-10 | gnat_ugn.texi: Fix typos. | Ralf Wildenhues | 1 | -2/+2 |
2008-03-26 | exp_ch11.adb (Expand_At_End_Handler): Set From_At_End flag on raise stmt. | Robert Dewar | 1 | -0/+4 |
2007-12-13 | restrict.ads, [...] (Check_Implicit_Dynamic_Code_Allowed): New procedure to b... | Bob Duff | 1 | -0/+7 |
2007-09-12 | types.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+5 |
2007-09-10 | exp_atag.ads, [...]: Replace headers with GPL v3 headers. | Robert Dewar | 1 | -4/+3 |
2007-06-06 | restrict.ads, [...] (No_Exception_Handlers_Set): Only return true if configur... | Arnaud Charlet | 1 | -2/+7 |
2006-10-31 | restrict.ads, [...] (Restriction_Active): Now returns False if only a restric... | Arnaud Charlet | 1 | -4/+6 |
2006-02-15 | restrict.ads (No_Dispatching_Calls): New GNAT restriction. | Javier Miranda | 1 | -1/+2 |
2005-07-01 | Update FSF address | R. Kelley Cook | 1 | -2/+2 |
2005-01-03 | s-atacco.ads, [...]: Protect use of 'Constrained by warnings on/off... | Arnaud Charlet | 1 | -0/+39 |
2004-11-19 | exp_ch4.adb (Expand_N_Selected_Component): If the component is the discrimina... | Arnaud Charlet | 1 | -1/+0 |
2004-06-14 | [multiple changes] | Arnaud Charlet | 1 | -17/+19 |
2004-05-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |