Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix double word typos. | Aldy Hernandez | 2015-07-13 | 1 | -1/+1 |
* | sem_ch3.adb, [...]: Remove incorrect hyphen in non-binary. | Robert Dewar | 2015-05-22 | 1 | -2/+2 |
* | a-assert.adb: Minor reformatting. | Robert Dewar | 2015-01-30 | 1 | -8/+19 |
* | [multiple changes] | Arnaud Charlet | 2014-11-20 | 1 | -9/+26 |
* | [multiple changes] | Arnaud Charlet | 2014-10-23 | 1 | -2/+4 |
* | [multiple changes] | Arnaud Charlet | 2014-10-23 | 1 | -1/+11 |
* | [multiple changes] | Arnaud Charlet | 2014-10-23 | 1 | -0/+7 |
* | [multiple changes] | Arnaud Charlet | 2014-08-04 | 1 | -9/+4 |
* | [multiple changes] | Arnaud Charlet | 2014-08-04 | 1 | -0/+12 |
* | [multiple changes] | Arnaud Charlet | 2014-08-01 | 1 | -1/+7 |
* | [multiple changes] | Arnaud Charlet | 2014-08-01 | 1 | -8/+27 |
* | [multiple changes] | Arnaud Charlet | 2014-08-01 | 1 | -7/+0 |
* | [multiple changes] | Arnaud Charlet | 2014-08-01 | 1 | -36/+5 |
* | exp_aggr.adb: Update comments. | Robert Dewar | 2014-07-30 | 1 | -4/+10 |
* | [multiple changes] | Arnaud Charlet | 2014-07-30 | 1 | -12/+12 |
* | [multiple changes] | Arnaud Charlet | 2014-07-30 | 1 | -3/+12 |
* | [multiple changes] | Arnaud Charlet | 2014-07-29 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2014-07-29 | 1 | -2/+1 |
* | einfo.ads, einfo.adb (Static_Real_Or_String_Predicate): New function | Robert Dewar | 2014-07-29 | 1 | -17/+156 |
* | sem_aggr.adb, [...]: General cleanup of static predicate handling. | Robert Dewar | 2014-07-29 | 1 | -2/+3 |
* | sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati... | Robert Dewar | 2014-07-29 | 1 | -220/+929 |
* | [multiple changes] | Arnaud Charlet | 2014-07-18 | 1 | -17/+31 |
* | sem_aggr.adb, [...]: Change name Packed_Array_Type to Packed_Array_Impl_Type. | Robert Dewar | 2014-07-18 | 1 | -3/+3 |
* | [multiple changes] | Arnaud Charlet | 2014-06-13 | 1 | -194/+135 |
* | [multiple changes] | Arnaud Charlet | 2014-05-21 | 1 | -22/+22 |
* | [multiple changes] | Arnaud Charlet | 2014-05-21 | 1 | -4/+5 |
* | [multiple changes] | Arnaud Charlet | 2014-02-24 | 1 | -2/+4 |
* | 2014-02-24 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 2014-02-24 | 1 | -9/+19 |
* | [multiple changes] | Arnaud Charlet | 2014-02-20 | 1 | -50/+43 |
* | [multiple changes] | Arnaud Charlet | 2014-02-20 | 1 | -4/+8 |
* | sem_eval.ads, [...] (Subtypes_Statically_Match): Return False if Esize values... | Robert Dewar | 2014-02-19 | 1 | -0/+15 |
* | [multiple changes] | Arnaud Charlet | 2014-02-19 | 1 | -2/+13 |
* | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 2014-01-29 | 1 | -5/+5 |
* | [multiple changes] | Arnaud Charlet | 2014-01-22 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2014-01-21 | 1 | -43/+51 |
* | [multiple changes] | Arnaud Charlet | 2014-01-21 | 1 | -4/+6 |
* | [multiple changes] | Arnaud Charlet | 2014-01-20 | 1 | -2/+4 |
* | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -10/+1 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -1/+1 |
* | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 2013-04-24 | 1 | -5/+5 |
* | [multiple changes] | Arnaud Charlet | 2013-04-12 | 1 | -6/+2 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -38/+120 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -24/+52 |
* | [multiple changes] | Arnaud Charlet | 2013-01-02 | 1 | -11/+9 |
* | [multiple changes] | Arnaud Charlet | 2013-01-02 | 1 | -5/+4 |
* | [multiple changes] | Arnaud Charlet | 2013-01-02 | 1 | -7/+13 |
* | [multiple changes] | Arnaud Charlet | 2012-12-05 | 1 | -3/+4 |
* | [multiple changes] | Arnaud Charlet | 2012-12-05 | 1 | -1/+12 |
* | [multiple changes] | Arnaud Charlet | 2012-11-06 | 1 | -3/+6 |
* | [multiple changes] | Arnaud Charlet | 2012-11-06 | 1 | -20/+0 |