| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
| 2021-10-11 | [Ada] Do not clear Analyzed flag in expand if already set by preanalysis | Marc Poulhiès | 1 | -1/+14 |
| 2021-06-21 | [Ada] INOX: prototype "when" constructs | Justin Squirek | 1 | -0/+9 |
| 2021-05-07 | [Ada] Minor reformattings | Bob Duff | 1 | -26/+26 |
| 2021-05-07 | [Ada] Variable-sized node types | Bob Duff | 1 | -1/+2 |
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2020-10-16 | [Ada] Remove support for -gnatP and pragma Polling | Arnaud Charlet | 1 | -3/+0 |
| 2020-06-02 | [Ada] Remove ASIS_Mode | Arnaud Charlet | 1 | -4/+4 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-07-08 | [Ada] Do not erase precise type on fixed-point real literal | Yannick Moy | 1 | -1/+6 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-05-30 | [Ada] Spell preanalysis, preanalyze correctly | Bob Duff | 1 | -2/+2 |
| 2018-05-24 | [Ada] Fix crash on formal containers | Hristian Kirtchev | 1 | -3/+4 |
| 2018-05-22 | [Ada] Ada2020: Reduction expressions | Ed Schonberg | 1 | -3/+0 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-12-15 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+3 |
| 2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -4/+5 |
| 2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -7/+9 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
| 2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -3/+14 |
| 2016-10-13 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
| 2015-10-26 | contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b... | Hristian Kirtchev | 1 | -1/+4 |
| 2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
| 2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -243/+236 |
| 2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -5/+2 |
| 2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
| 2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
| 2014-02-18 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
| 2014-02-18 | exp_attr.adb: Minor reformatting. | Robert Dewar | 1 | -0/+3 |
| 2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
| 2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
| 2014-01-20 | sem_aggr.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+3 |
| 2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -12/+14 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -28/+28 |
| 2013-04-11 | exp_ch11.ads, [...] (Expand_N_Raise_Expression): New procedure. | Robert Dewar | 1 | -1/+4 |
| 2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
| 2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -4/+4 |
| 2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2011-08-31 | s-taprop-vxworks.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -239/+243 |
| 2011-08-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+10 |
| 2011-08-30 | exp_ch9.adb, [...]: Minor reformatting. | Arnaud Charlet | 1 | -219/+212 |
| 2011-08-30 | [multiple changes] | Arnaud Charlet | 1 | -212/+219 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2011-08-03 | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 1 | -1/+4 |
| 2011-08-01 | aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate. | Robert Dewar | 1 | -1/+0 |
| 2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2010-06-18 | checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c... | Robert Dewar | 1 | -2/+4 |
| 2008-04-08 | impunit.adb: Add Interfaces.Java.JNI... | Robert Dewar | 1 | -5/+6 |
