Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -4/+4 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -11/+0 |
2013-04-23 | sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogr... | Ed Schonberg | 1 | -3/+1 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -18/+13 |
2013-04-12 | aspects.adb (Find_Aspect): New routine. | Hristian Kirtchev | 1 | -2/+4 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2013-04-12 | aspects.adb: Alphabetize subprogram bodies in this unit. | Hristian Kirtchev | 1 | -3/+55 |
2013-04-12 | s-rident.ads: Add various missing Ada 2012 restrictions... | Ed Schonberg | 1 | -3/+5 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -11/+50 |
2013-01-29 | errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. | Javier Miranda | 1 | -1/+3 |
2013-01-04 | exp_prag.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+2 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+6 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -14/+19 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -6/+1 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2012-10-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+24 |
2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -73/+73 |
2012-10-02 | exp_ch7.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+2 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2012-10-02 | sem_ch4.adb (Is_Empty_Range): Use bounds of index type to determine whether a... | Ed Schonberg | 1 | -10/+22 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+39 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -11/+0 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -4/+16 |
2012-07-30 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -7/+8 |
2012-07-23 | [multiple changes] | Arnaud Charlet | 1 | -5/+13 |
2012-07-23 | [multiple changes] | Arnaud Charlet | 1 | -10/+26 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -6/+3 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-04-26 | [multiple changes] | Arnaud Charlet | 1 | -7/+13 |
2012-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-04-02 | [multiple changes] | Arnaud Charlet | 1 | -82/+18 |
2012-03-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+14 |
2012-03-15 | sem.ads, sem.adb (Preanalyze): New routine. | Vincent Pucci | 1 | -19/+32 |
2012-03-15 | sem_ch4.adb (Analyze_Quantified_Expression): Add comment. | Robert Dewar | 1 | -0/+6 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+14 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -5/+24 |
2012-03-07 | [multiple changes] | Arnaud Charlet | 1 | -11/+2 |
2012-02-22 | [multiple changes] | Arnaud Charlet | 1 | -12/+10 |
2012-02-22 | [multiple changes] | Arnaud Charlet | 1 | -2/+9 |
2012-01-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+30 |