Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [multiple changes] | Arnaud Charlet | 2011-09-27 | 1 | -4/+14 |
* | [multiple changes] | Arnaud Charlet | 2011-09-27 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-09-19 | 1 | -5/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-09-01 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -0/+4 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -4/+4 |
* | [multiple changes] | Arnaud Charlet | 2011-08-30 | 1 | -2/+3 |
* | exp_ch9.adb, [...]: Minor reformatting. | Arnaud Charlet | 2011-08-30 | 1 | -3/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-30 | 1 | -2/+3 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -2/+5 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -1/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -3/+13 |
* | exp_ch4.adb (Expand_Quantified_Expression): Do not expand in ALFA mode. | Johannes Kanig | 2011-08-29 | 1 | -2/+3 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -2/+6 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -5/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -4/+14 |
* | frontend.adb (Frontend): Exit after creating Standard package when -gnatd.H i... | Johannes Kanig | 2011-08-29 | 1 | -1/+16 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -6/+0 |
* | [multiple changes] | Arnaud Charlet | 2011-08-05 | 1 | -0/+4 |
* | [multiple changes] | Arnaud Charlet | 2011-08-05 | 1 | -8/+77 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -4/+6 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -0/+13 |
* | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 2011-08-02 | 1 | -13/+1 |
* | sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq... | Robert Dewar | 2011-08-01 | 1 | -0/+24 |
* | Fix typos in gcc/ada. | Ralf Wildenhues | 2010-12-20 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2010-10-12 | 1 | -1/+20 |
* | [multiple changes] | Arnaud Charlet | 2010-10-12 | 1 | -1/+4 |
* | [multiple changes] | Arnaud Charlet | 2010-10-11 | 1 | -6/+10 |
* | [multiple changes] | Arnaud Charlet | 2010-10-08 | 1 | -0/+8 |
* | [multiple changes] | Arnaud Charlet | 2010-10-05 | 1 | -8/+6 |
* | [multiple changes] | Arnaud Charlet | 2010-09-10 | 1 | -5/+0 |
* | [multiple changes] | Arnaud Charlet | 2010-09-09 | 1 | -1/+0 |
* | [multiple changes] | Arnaud Charlet | 2010-08-10 | 1 | -0/+6 |
* | [multiple changes] | Arnaud Charlet | 2010-08-05 | 1 | -6/+4 |
* | [multiple changes] | Arnaud Charlet | 2010-08-05 | 1 | -34/+34 |
* | [multiple changes] | Arnaud Charlet | 2010-08-05 | 1 | -31/+24 |
* | [multiple changes] | Arnaud Charlet | 2010-06-23 | 1 | -5/+8 |
* | [multiple changes] | Arnaud Charlet | 2010-06-22 | 1 | -14/+0 |
* | exp_cg.adb, [...]: Add initial support for dispatch table/callgraph info gene... | Javier Miranda | 2010-06-18 | 1 | -0/+6 |
* | [multiple changes] | Arnaud Charlet | 2010-06-18 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2010-06-18 | 1 | -9/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-06-18 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2010-06-18 | 1 | -3/+3 |
* | checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c... | Robert Dewar | 2010-06-18 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2010-06-18 | 1 | -0/+24 |
* | [multiple changes] | Arnaud Charlet | 2010-06-17 | 1 | -1/+28 |
* | [multiple changes] | Arnaud Charlet | 2009-12-01 | 1 | -0/+6 |