Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-02-20 | einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type. | Robert Dewar | 1 | -6/+6 |
2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2014-02-04 | exp_ch5.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+2 |
2014-02-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -30/+36 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+5 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -4/+21 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -24/+57 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -18/+11 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -4/+52 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -8/+12 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2014-01-20 | sem_aggr.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+1 |
2014-01-20 | einfo.adb (Non_Limited_View): Applies to abstract states. | Hristian Kirtchev | 1 | -5/+64 |
2014-01-20 | exp_spark.adb (Expand_SPARK_Call): Remove procedure. | Yannick Moy | 1 | -1/+1 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -1/+1 |
2013-10-17 | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit... | Ed Schonberg | 1 | -1/+1 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -9/+9 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -5/+16 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -9/+17 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -15/+13 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -6/+18 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -8/+36 |
2013-07-08 | sem_ch8.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+11 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -112/+29 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -4/+13 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -8/+4 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2013-04-11 | sem_ch5.adb: remove spurious warning from non-empty loop. | Ed Schonberg | 1 | -228/+164 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -11/+18 |
2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -5/+37 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -31/+28 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -7/+7 |
2013-01-03 | exp_ch3.adb (Expand_N_Object_Declaration): If the object has a class-wide typ... | Ed Schonberg | 1 | -0/+17 |
2013-01-02 | exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove side effects from ... | Thomas Quinot | 1 | -1/+1 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-01-02 | errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if... | Robert Dewar | 1 | -27/+28 |