| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -13/+18 |
| 2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -13/+147 |
| 2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -4/+9 |
| 2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+58 |
| 2011-08-04 | gnat_rm.texi: Document new pragma and aspect. | Yannick Moy | 1 | -43/+109 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-04 | sem_ch3.adb (Analyze_Full_Type_Declaration): If the declaration is a completi... | Ed Schonberg | 1 | -3/+16 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -12/+10 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -29/+36 |
| 2011-08-03 | sem_aggr.adb, [...]: Minor reformatting | Robert Dewar | 1 | -1/+2 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+11 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -11/+22 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -53/+96 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2011-08-02 | cstand.adb (Register_Float_Type): Print information about type to register, i... | Geert Bosch | 1 | -0/+1 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+10 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -8/+37 |
| 2011-08-02 | sem_ch12.adb, [...]: New calling sequence for Analyze_Aspect_Specifications | Robert Dewar | 1 | -56/+91 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+30 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -16/+82 |
| 2011-08-01 | aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition. | Robert Dewar | 1 | -6/+18 |
| 2011-08-01 | freeze.adb (Freeze_Entity): Don't call Check_Aspect_At_Freeze_Point here. | Robert Dewar | 1 | -25/+116 |
| 2011-08-01 | aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate. | Robert Dewar | 1 | -7/+44 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -5/+169 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -95/+19 |
| 2010-12-20 | Fix typos in gcc/ada. | Ralf Wildenhues | 1 | -10/+10 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -37/+18 |
| 2010-10-26 | sem_ch13.adb (Build_Invariant_Procedure): New calling sequence. | Robert Dewar | 1 | -22/+55 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -47/+68 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -155/+167 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -64/+122 |
| 2010-10-25 | [multiple changes] | Arnaud Charlet | 1 | -158/+179 |
| 2010-10-25 | [multiple changes] | Arnaud Charlet | 1 | -332/+779 |
| 2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+40 |
| 2010-10-22 | sem_case.adb, [...] (Bad_Predicated_Subtype_Use): Change order of parameters. | Robert Dewar | 1 | -11/+17 |
| 2010-10-22 | a-except-2005.adb (Rmsg_18): New message text. | Robert Dewar | 1 | -0/+633 |
| 2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
| 2010-10-21 | einfo.ads, einfo.adb: Add handling of predicates. | Robert Dewar | 1 | -285/+0 |
| 2010-10-21 | einfo.ads, einfo.adb: Add handling of predicates. | Robert Dewar | 1 | -13/+324 |
| 2010-10-21 | einfo.ads, einfo.adb: Add handling of predicates. | Robert Dewar | 1 | -17/+15 |
