Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-10-27 | [multiple changes] | Arnaud Charlet | 5 | -519/+649 |
2015-10-27 | namet.adb, namet.ads: Minor reformatting. | Hristian Kirtchev | 3 | -161/+171 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 11 | -27/+106 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 8 | -38/+162 |
2015-10-27 | inline.adb (Is_Expression_Function): Removed. | Hristian Kirtchev | 6 | -44/+85 |
2015-10-27 | lib-xref-spark_specific.adb, [...]: Minor reformatting. | Hristian Kirtchev | 6 | -19/+28 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 5 | -9/+45 |
2015-10-27 | sinput.ads, [...]: Fix typos. | Arnaud Charlet | 4 | -7/+11 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 4 | -13/+45 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 3 | -16/+13 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 6 | -38/+128 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 9 | -170/+264 |
2015-10-26 | contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b... | Hristian Kirtchev | 9 | -69/+184 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 4 | -26/+73 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 14 | -50/+521 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 6 | -266/+33 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 4 | -26/+31 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 8 | -21/+42 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 9 | -15/+153 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 22 | -821/+1962 |
2015-10-26 | sysdep.c (__gnat_get_task_options): Refine the workaround for the VX_USR_TASK... | Jerome Lambourg | 3 | -5/+17 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 5 | -22/+195 |
2015-10-26 | sem_ch3.adb, [...]: Minor reformatting. | Hristian Kirtchev | 3 | -21/+32 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 7 | -52/+97 |
2015-10-26 | s-rident.ads (No_Dynamic_Sized_Objects): New restriction name. | Bob Duff | 6 | -0/+131 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 3 | -8/+21 |
2015-10-26 | debug.adb: Introduce debug flag -gnatd.5. | Arnaud Charlet | 2 | -1/+9 |
2015-10-26 | s-os_lib.ads, [...] (Kill): New routine. | Pascal Obry | 6 | -50/+71 |
2015-10-26 | einfo.ads, [...] (Needs_Typedef, [...]): Removed, no longer used. | Arnaud Charlet | 4 | -32/+6 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 8 | -33/+83 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 16 | -23/+105 |
2015-10-26 | osint-c.ads: Minor comment update. | Arnaud Charlet | 9 | -28/+32 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 4 | -45/+106 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 7 | -15/+92 |
2015-10-26 | Minor reformatting. | Arnaud Charlet | 1 | -3/+3 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 3 | -38/+42 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 3 | -54/+123 |
2015-10-26 | Code clean ups. | Arnaud Charlet | 1 | -18/+23 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 9 | -283/+333 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 22 | -554/+1068 |
2015-10-26 | sem_case.adb (Check_Choice_Set): Choose initial choice range below low bound ... | Ed Schonberg | 3 | -4/+18 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 16 | -635/+402 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 9 | -134/+559 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 4 | -17/+44 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 20 | -644/+1173 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 5 | -13/+56 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 3 | -6/+25 |
2015-10-26 | freeze.adb (Check_Component_Storage_Order): Skip a record component if it has... | Eric Botcazou | 2 | -45/+71 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 5 | -13/+45 |
2015-10-26 | 2015-10-26 Joel Brobecker <brobecker@adacore.com brobecker> | Arnaud Charlet | 8 | -90/+137 |