Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -4/+14 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -3/+3 |
2013-04-12 | aspects.adb (Find_Aspect): New routine. | Hristian Kirtchev | 1 | -6/+6 |
2013-04-11 | sem_ch5.adb: remove spurious warning from non-empty loop. | Ed Schonberg | 1 | -66/+57 |
2013-01-29 | errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. | Javier Miranda | 1 | -2/+1 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -13/+16 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+35 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+50 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -6/+11 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -10/+0 |
2012-07-23 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-05-15 | sem_ch5.adb (Analyze_Iterator_Specification): Set kind of loop variable after... | Ed Schonberg | 1 | -1/+12 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+14 |
2012-04-26 | [multiple changes] | Arnaud Charlet | 1 | -9/+13 |
2012-04-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2012-04-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2012-04-02 | [multiple changes] | Arnaud Charlet | 1 | -615/+594 |
2012-03-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -15/+18 |
2012-03-07 | sem_ch3.adb (Analyze_Object_Declaration): If the object declaration has an in... | Javier Miranda | 1 | -1/+7 |
2012-03-07 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
2012-03-07 | [multiple changes] | Arnaud Charlet | 1 | -17/+5 |
2012-03-07 | [multiple changes] | Arnaud Charlet | 1 | -16/+21 |
2011-12-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2011-12-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-12-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2011-11-23 | [multiple changes] | Arnaud Charlet | 1 | -102/+196 |
2011-11-04 | Minor reformatting. | Arnaud Charlet | 1 | -2/+1 |
2011-11-04 | [multiple changes] | Arnaud Charlet | 1 | -6/+21 |
2011-10-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-09-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2011-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2011-09-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+54 |
2011-09-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2011-09-05 | [multiple changes] | Arnaud Charlet | 1 | -4/+6 |
2011-09-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2011-09-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2011-09-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+28 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-31 | s-taprop-vxworks.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -6/+4 |