Age | Commit message (Expand) | Author | Files | Lines |
2022-05-09 | [Ada] Add utility to preanalyze assert expression without forcing its type | Piotr Trojanek | 1 | -0/+3 |
2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
2021-10-11 | [Ada] Remove constant arguments | Etienne Servais | 1 | -7/+5 |
2021-07-05 | [Ada] Add Ada 2022 Image and Put_Image support for tagged types | Steve Baird | 1 | -5/+0 |
2021-05-07 | [Ada] Remove some ??? comments | Gary Dismukes | 1 | -5/+8 |
2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2020-10-15 | [Ada] Refine type from Nat to Pos in Make_Index | Piotr Trojanek | 1 | -1/+1 |
2020-07-16 | [Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restriction | Bob Duff | 1 | -1/+1 |
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 |