Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -4/+6 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2015-07-13 | Fix double word typos. | Aldy Hernandez | 1 | -1/+1 |
2015-02-05 | 015-02-05 Robert Dewar <dewar@adacore.com> | Arnaud Charlet | 1 | -10/+15 |
2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+1 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -7/+8 |
2014-02-24 | sem_ch5.adb, [...]: Change spelling 'parametrization' to 'parameterization'. | Gary Dismukes | 1 | -1/+1 |
2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -13/+18 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+3 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+60 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2013-04-11 | exp_ch11.ads, [...] (Expand_N_Raise_Expression): New procedure. | Robert Dewar | 1 | -1/+2 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+11 |
2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -9/+9 |
2012-07-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2011-12-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-10-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2011-09-05 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+5 |
2011-09-05 | [multiple changes] | Arnaud Charlet | 1 | -7/+14 |
2011-08-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -5/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -8/+30 |
2011-08-01 | sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq... | Robert Dewar | 1 | -4/+0 |
2011-08-01 | err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~ | Yannick Moy | 1 | -0/+4 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2011-08-01 | par-endh.adb (Check_End): issue a syntax error in SPARK mode for missing labe... | Yannick Moy | 1 | -0/+4 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -19/+26 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2010-12-20 | Fix typos in gcc/ada. | Ralf Wildenhues | 1 | -4/+4 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+9 |
2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -5/+21 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+20 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -8/+8 |
2010-10-07 | [multiple changes] | Arnaud Charlet | 1 | -13/+13 |
2010-10-07 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2010-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2010-06-18 | checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c... | Robert Dewar | 1 | -2/+7 |
2010-06-17 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2009-07-15 | [multiple changes] | Arnaud Charlet | 1 | -9/+6 |
2009-07-15 | par.adb: Minor reformatting Add ??? comment for possible bad comment | Robert Dewar | 1 | -67/+68 |
2009-07-15 | debug.adb: Add -gnatd.O to output SCO table | Robert Dewar | 1 | -3/+13 |