Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-02-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2014-02-20 | einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type. | Robert Dewar | 1 | -120/+124 |
2014-02-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+5 |
2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -3/+1 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-10-17 | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit... | Ed Schonberg | 1 | -3/+3 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -12/+2 |
2013-10-14 | einfo.ads, einfo.adb (Default_Aspect_Component_Value): Is on base type only. | Robert Dewar | 1 | -3/+3 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -23/+10 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -9/+5 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -7/+19 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -5/+6 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
2013-07-05 | exp_ch3.adb (Build_Variant_Record_Equality): Add pairs of formals for each di... | Ed Schonberg | 1 | -48/+110 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -12/+12 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -4/+4 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -7/+6 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -5/+3 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -66/+0 |
2013-04-11 | exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Do not add cleanup ac... | Javier Miranda | 1 | -3/+0 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+144 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -4/+12 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -3/+16 |
2013-01-03 | exp_ch3.adb (Expand_N_Object_Declaration): If the object has a class-wide typ... | Ed Schonberg | 1 | -17/+22 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -11/+9 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -24/+12 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -3/+6 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2012-10-29 | bindgen.adb (Gen_Output_File_Ada): Do not emit declaration for Is_Elaborated ... | Tristan Gingold | 1 | -22/+37 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+44 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -26/+106 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -5/+7 |
2012-10-01 | aspects.ads: Type_Invariant'class is a valid aspect. | Ed Schonberg | 1 | -0/+176 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+9 |