Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+47 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -49/+2 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+6 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -3/+32 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -11/+23 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -7/+5 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -5/+13 |
2014-07-29 | 2014-07-29 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -3/+2 |
2014-07-29 | sem_ch10.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+9 |
2014-07-29 | sem_ch6.adb (Analyze_Subprogram_Body_Helper): Build body to inline in GNATpro... | Ed Schonberg | 1 | -1/+1 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -2/+6 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+33 |
2014-02-25 | rtsfind.adb (Is_RTE): Protect against entity with no scope field (previously ... | Robert Dewar | 1 | -4/+4 |
2014-02-25 | exp_ch6.adb (Add_Or_Save_Precondition): New routine. | Hristian Kirtchev | 1 | -72/+54 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-02-20 | einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type. | Robert Dewar | 1 | -5/+5 |
2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -5/+6 |
2014-02-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+18 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-01-29 | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -1/+2 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -48/+54 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2014-01-20 | sem_aggr.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-01-20 | einfo.adb (Non_Limited_View): Applies to abstract states. | Hristian Kirtchev | 1 | -70/+314 |
2014-01-20 | sem_ch10.adb (Expand_With_Clause): Don't recurse on the prefix if the current... | Bob Duff | 1 | -1/+7 |
2014-01-20 | exp_spark.adb (Expand_SPARK_Call): Remove procedure. | Yannick Moy | 1 | -1/+1 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -328/+260 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -54/+39 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -76/+3 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -4/+112 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+10 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -8/+0 |
2013-04-11 | sem_ch10.adb, [...]: Minor reformatting. | Thomas Quinot | 1 | -2/+2 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -7/+4 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -23/+24 |
2013-01-02 | errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if... | Robert Dewar | 1 | -10/+10 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2012-10-04 | [multiple changes] | Arnaud Charlet | 1 | -22/+31 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |