Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2013-04-22 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+11 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+12 |
2013-01-02 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+6 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -20/+67 |
2013-01-02 | par_sco.adb: Add SCO generation for task types and single task declarations. | Thomas Quinot | 1 | -30/+50 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+54 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -61/+41 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -24/+31 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -57/+208 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+24 |
2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -5/+8 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -20/+42 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2012-07-30 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -7/+10 |
2012-07-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -353/+498 |
2011-12-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2011-12-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-12-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2011-12-05 | [multiple changes] | Arnaud Charlet | 1 | -35/+70 |
2011-12-05 | [multiple changes] | Arnaud Charlet | 1 | -35/+108 |
2011-08-29 | exp_attr.adb: Minor reformatting. | Robert Dewar | 1 | -3/+2 |
2011-08-29 | par_sco.adb, [...]: Record pragma name for each SCO statement corresponding t... | Thomas Quinot | 1 | -12/+22 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+0 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-05 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+5 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -2/+11 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -80/+115 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -7/+19 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2011-08-04 | put_scos.adb (Put_SCOs): Do not emit decision SCO for an X decision nested in... | Thomas Quinot | 1 | -22/+64 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -9/+9 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -7/+12 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -58/+87 |
2010-12-20 | Fix typos in gcc/ada. | Ralf Wildenhues | 1 | -1/+1 |
2010-06-18 | checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c... | Robert Dewar | 1 | -1/+6 |
2010-06-17 | [multiple changes] | Arnaud Charlet | 1 | -31/+49 |
2010-06-16 | get_scos.adb, [...]: Code clean up, update documentation. | Arnaud Charlet | 1 | -150/+402 |
2010-01-26 | [multiple changes] | Arnaud Charlet | 1 | -8/+48 |