| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
| 2011-08-03 | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 1 | -12/+16 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -4/+2 |
| 2011-08-03 | sem_aggr.adb, [...]: Minor reformatting | Robert Dewar | 1 | -5/+3 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -24/+48 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
| 2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -16/+19 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+202 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -14/+18 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -6/+19 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
| 2011-08-02 | Minor reformatting. | Arnaud Charlet | 1 | -4/+3 |
| 2011-08-02 | errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues... | Yannick Moy | 1 | -31/+6 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -35/+41 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
| 2011-08-02 | sem_ch8.adb: Minor code reorganization, comment updates. | Robert Dewar | 1 | -2/+9 |
| 2011-08-02 | atree.h, [...]: New subprograms to manipulate Elist5. | Ed Schonberg | 1 | -50/+119 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+46 |
| 2011-08-01 | sem_ch3.adb, [...]: Minor reformatting | Robert Dewar | 1 | -2/+6 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
| 2011-08-01 | par-endh.adb (Check_End): issue a syntax error in SPARK mode for missing labe... | Yannick Moy | 1 | -0/+1 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+35 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -9/+9 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+18 |
| 2010-12-20 | Fix typos in gcc/ada. | Ralf Wildenhues | 1 | -1/+1 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+6 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -15/+11 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
| 2010-10-25 | [multiple changes] | Arnaud Charlet | 1 | -5/+9 |
| 2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -3/+23 |
| 2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -4/+37 |
| 2010-10-18 | einfo.ads, einfo.adb (Primitive_Operations): New synthesized attribute. | Javier Miranda | 1 | -1/+1 |
| 2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -9/+11 |
| 2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
| 2010-10-11 | par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05 (Ada_Version_Type). | Bob Duff | 1 | -8/+8 |
| 2010-10-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2010-10-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
| 2010-10-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
| 2010-09-09 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
| 2010-09-09 | nlists.ads, nlists.adb (In_Same_List): New function. | Robert Dewar | 1 | -4/+13 |
| 2010-08-10 | sem_ch8.adb, [...]: Change name Write_Scopes to ws. | Robert Dewar | 1 | -10/+5 |
| 2010-08-10 | sem_aggr.adb (Resolve_Extension_Aggregate): Warn on the use of C++ constructo... | Javier Miranda | 1 | -0/+1 |
| 2010-08-10 | a-chahan.ads: Add comments on handling of obsolescent entries. | Robert Dewar | 1 | -0/+5 |
| 2010-08-05 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
