Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2015-05-26 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh... | Hristian Kirtchev | 1 | -0/+24 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -7/+43 |
2015-05-21 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
2015-05-21 | [multiple changes] | Arnaud Charlet | 1 | -16/+45 |
2015-05-21 | Minor reformatting. | Arnaud Charlet | 1 | -3/+2 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+37 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -10/+46 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2015-01-07 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -0/+8 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2014-11-07 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2014-10-31 | 2014-10-31 Hristian Kirtchev <kirtchev@adacore.com> | Arnaud Charlet | 1 | -1/+5 |
2014-10-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-10-17 | sem_ch5.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+2 |
2014-10-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
2014-10-10 | exp_intr.adb (Write_Entity_Name): Moved to outer level | Robert Dewar | 1 | -1/+6 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -7/+23 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -9/+23 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -12/+12 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -17/+32 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -6/+2 |
2014-08-01 | snames.ads-tmpl, [...]: Remove VMS-specific code. | Robert Dewar | 1 | -7/+8 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+73 |
2014-08-01 | 2014-08-01 Ed Schonberg <schonberg@adacore.com> | Ed Schonberg | 1 | -0/+3 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -8/+8 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -3/+25 |
2014-07-30 | sem_ch5.adb: Improve error recovery. | Ed Schonberg | 1 | -0/+7 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2014-07-29 | freeze.adb (Freeze_Entity, [...]): Add a guard to make sure that the Etype of... | Robert Dewar | 1 | -0/+1 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2014-07-29 | sem_aggr.adb, [...]: General cleanup of static predicate handling. | Robert Dewar | 1 | -2/+2 |
2014-07-29 | sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati... | Robert Dewar | 1 | -2/+2 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -6/+0 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2014-07-16 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2014-05-21 | freeze.adb (Freeze_Record_Type): Update the use of Is_SPARK_Volatile. | Hristian Kirtchev | 1 | -2/+2 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -3/+12 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -15/+22 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -12/+85 |