Age | Commit message (Expand) | Author | Files | Lines |
2020-06-08 | [Ada] Remove processing of SPARK_05 restriction | Arnaud Charlet | 1 | -8/+4 |
2020-06-05 | [Ada] Make the Has_Dynamic_Range_Check flag obsolete | Eric Botcazou | 1 | -2/+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-07-17 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -4/+4 |
2018-07-17 | [Ada] Crash processing abstract state aspect of a package | Javier Miranda | 1 | -4/+0 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2016-07-04 | sem_eval.adb (Decompose_Expr): Set 'out' parameters Kind and Cons to valid va... | Bob Duff | 1 | -2/+2 |
2014-08-04 | sem.adb, sem.ads (In_Default_Expr): Global flag that is set to True during an... | Yannick Moy | 1 | -0/+4 |
2014-07-31 | gnat_ugn.texi: Document new switch -gnato0. | Robert Dewar | 1 | -29/+29 |
2014-07-30 | exp_aggr.adb: Update comments. | Robert Dewar | 1 | -3/+7 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-30 | sem_ch3.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+3 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -7/+1 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2012-10-01 | sem_ch13.adb (Add_Invariants): Analyze the invariant expression as an asserti... | Yannick Moy | 1 | -1/+5 |
2011-12-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-12-21 | sem_ch3.ads, [...] (Check_CPP_Type): New subprogram. | Javier Miranda | 1 | -1/+5 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+12 |
2011-08-01 | sem_ch3.adb, [...]: Minor reformatting | Robert Dewar | 1 | -4/+4 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2010-10-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -7/+5 |
2009-07-30 | a-teioed.adb, [...]: Minor reformatting | Robert Dewar | 1 | -27/+26 |
2009-07-29 | sem_ch3.ads, [...] (Add_Internal_Interface_Entities): Routine moved from the ... | Javier Miranda | 1 | -0/+5 |
2009-07-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2009-06-25 | [multiple changes] | Arnaud Charlet | 1 | -13/+19 |
2009-04-15 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2008-09-14 | a-crbtgk.adb, [...]: Fix typos in comments. | Ralf Wildenhues | 1 | -1/+1 |
2008-05-27 | mlib-prj.adb: Minor reformatting | Robert Dewar | 1 | -0/+1 |
2008-05-26 | einfo.ads (Abstract_Interface_Alias): Renamed as Interface_Alias. | Javier Miranda | 1 | -1/+1 |
2008-04-08 | fe.h: Remove global Optimize_Alignment flag, no longer used | Robert Dewar | 1 | -9/+9 |
2007-12-13 | sem_ch3.ads, [...] (Check_Abstract_Overriding): Avoid generation of spurious ... | Javier Miranda | 1 | -6/+4 |
2007-09-10 | exp_atag.ads, [...]: Replace headers with GPL v3 headers. | Robert Dewar | 1 | -4/+3 |
2007-08-14 | sem_ch11.adb: Improved warnings for unused variables | Robert Dewar | 1 | -1/+8 |
2007-04-06 | errout.adb (Unwind_Internal_Type): Use predicate Is_Access__Protected_Subprog... | Ed Schonberg | 1 | -7/+5 |
2006-10-31 | g-awk.adb (Default_Session, [...]): Compile this file in Ada 95 mode, because... | Bob Duff | 1 | -30/+42 |
2006-02-15 | sem_ch12.adb (Inline_Instance_Body): Remove erroneous assumption that Scope_S... | Thomas Quinot | 1 | -0/+5 |
2005-11-15 | sem_ch3.ads, [...] (Build_Discriminal): Add link to original discriminant. | Ed Schonberg | 1 | -6/+15 |
2005-09-05 | sem_ch3.ads, [...] (Analyze_Object_Declaration): Go to the underlying type to... | Cyrille Comar | 1 | -10/+18 |
2005-07-01 | Update FSF address | R. Kelley Cook | 1 | -2/+2 |
2005-06-16 | Update comments and spec. | Arnaud Charlet | 1 | -17/+22 |
2004-06-07 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2004-04-21 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2004-04-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
2003-10-24 | re PR ada/12014 (strcpy used with overlapping arguments) | Arnaud Charlet | 1 | -8/+5 |
2003-10-21 | 3psoccon.ads, [...]: Files added. | Arnaud Charlet | 1 | -23/+14 |