Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-04-20 | [multiple changes] | Arnaud Charlet | 7 | -34/+102 |
2016-04-20 | sem_ch4.adb: Fix typos in comments. | Yannick Moy | 3 | -8/+28 |
2016-04-20 | Minor reformatting. | Arnaud Charlet | 1 | -3/+3 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 3 | -9/+31 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 5 | -45/+686 |
2016-04-20 | exp_unst.adb: Minor reformatting. | Hristian Kirtchev | 2 | -1/+6 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 6 | -92/+102 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 4 | -7/+21 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 10 | -27/+121 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 4 | -68/+139 |
2016-04-20 | sem_ch12.adb (Qualify_Universal_Operands): New routine. | Hristian Kirtchev | 5 | -18/+280 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 6 | -9/+69 |
2016-04-20 | s-imgllu.adb, [...]: Minor reformatting. | Hristian Kirtchev | 6 | -9/+27 |
2016-04-20 | sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite the renamed operator w... | Hristian Kirtchev | 4 | -7/+63 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 11 | -115/+130 |
2016-04-20 | exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid]): Disable expans... | Arnaud Charlet | 4 | -90/+93 |
2016-04-20 | sem_util.adb, [...]: Minor reformatting. | Hristian Kirtchev | 5 | -63/+60 |
2016-04-20 | contracts.adb (Build_Postconditions_Procedure): Code cleanup. | Javier Miranda | 3 | -45/+57 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 5 | -9/+44 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 10 | -17/+86 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 5 | -33/+40 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 5 | -19/+30 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 12 | -19/+77 |
2016-04-20 | sem_ch13.adb (Build_Invariant_Procedure): Reimplement the invariant procedure... | Hristian Kirtchev | 2 | -28/+27 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 3 | -32/+62 |
2016-04-19 | standard_and_implementation_defined_restrictions.rst, [...]: Update documenta... | Arnaud Charlet | 3 | -27/+36 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 5 | -402/+452 |
2016-04-19 | sem_util.adb (Build_Elaboration_Entity): Always request an elab counter when ... | Olivier Hainque | 5 | -18/+59 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 7 | -41/+64 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 14 | -275/+292 |
2016-04-19 | sem_res.adb (Within_Subprogram_Call): Detect also nodes that appear in entry ... | Arnaud Charlet | 8 | -18/+36 |
2016-04-19 | sem_ch6.adb (Process_Formals): Mark suspicious reference to SPARK RM in comment. | Arnaud Charlet | 4 | -6/+15 |
2016-04-19 | sem_ch6.adb (Possible_Freeze): If the type is an incomplete CW type... | Eric Botcazou | 2 | -3/+12 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 21 | -71/+87 |
2016-04-19 | sem_util.adb (Copy_Node_With_Replacement): use Set_Comes_From_Source instead ... | Arnaud Charlet | 3 | -33/+25 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 5 | -13/+63 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 10 | -1235/+166 |
2016-04-18 | tree.h (TYPE_ALIGN, DECL_ALIGN): Return shifted amount. | Michael Matz | 3 | -43/+62 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 27 | -110/+225 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 6 | -6/+52 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 5 | -21/+62 |
2016-04-18 | Minor editing. | Arnaud Charlet | 1 | -1/+1 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 3 | -4/+15 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 8 | -69/+254 |
2016-04-18 | sem_res.adb (Resolve_Short_Circuit): Do not use expression-with-actions when ... | Arnaud Charlet | 2 | -2/+9 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 5 | -25/+97 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 10 | -29/+126 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 3 | -43/+79 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 7 | -8/+138 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 11 | -31/+107 |