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