Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -4/+12 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-30 | einfo.ads (Is_Inlined): Document new use in GNATprove mode. | Yannick Moy | 1 | -0/+4 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+27 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -38/+10 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+28 |
2014-07-29 | einfo.ads, einfo.adb (Static_Real_Or_String_Predicate): New function | Robert Dewar | 1 | -1/+29 |
2014-07-29 | sem_aggr.adb, [...]: General cleanup of static predicate handling. | Robert Dewar | 1 | -8/+8 |
2014-07-29 | gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old. | Robert Dewar | 1 | -0/+13 |
2014-07-29 | sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati... | Robert Dewar | 1 | -7/+7 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -6/+7 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -9/+18 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -18/+40 |
2014-07-18 | sem_aggr.adb, [...]: Change name Packed_Array_Type to Packed_Array_Impl_Type. | Robert Dewar | 1 | -22/+22 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2014-07-18 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+9 |
2014-07-17 | sem_ch3.adb, [...]: Remove the word kludge from ada sources. | Robert Dewar | 1 | -4/+4 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -11/+0 |
2014-06-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2014-06-13 | [multiple changes] | Arnaud Charlet | 1 | -62/+62 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -14/+24 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -54/+53 |
2014-05-21 | einfo.ads (Can_Never_Be_Null): Minor comment update. | Robert Dewar | 1 | -8/+56 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2014-02-25 | 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -3/+4 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
2014-02-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2014-02-20 | einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type. | Robert Dewar | 1 | -1/+2 |
2014-02-06 | 2014-02-06 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -0/+14 |
2014-02-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
2014-02-04 | exp_ch5.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-02-04 | [multiple changes] | Arnaud Charlet | 1 | -7/+7 |
2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -4/+4 |
2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -13/+4 |
2014-01-29 | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -10/+20 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -18/+0 |
2014-01-27 | sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can on... | Robert Dewar | 1 | -2/+6 |
2014-01-24 | [multiple changes] | Arnaud Charlet | 1 | -10/+0 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -4/+29 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -11/+18 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -12/+58 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |