Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-10-17 | exp_util.adb, [...] (Entity_Of): Moved to Sem_Util. | Hristian Kirtchev | 1 | -0/+29 |
2013-10-17 | exp_util.adb (Get_Current_Value_Condition, [...]): Handle the case of express... | Thomas Quinot | 1 | -0/+6 |
2013-10-17 | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit... | Ed Schonberg | 1 | -1/+1 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+175 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2013-10-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
2013-10-14 | sem_ch3.adb: Minor fix to error message. | Robert Dewar | 1 | -7/+6 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -4/+22 |
2013-10-14 | einfo.adb: Flag 263 is now known as Has_Visible_Refinement. | Hristian Kirtchev | 1 | -2/+1 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -41/+133 |
2013-10-14 | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 1 | -11/+56 |
2013-10-13 | gnat_rm.texi: Add documentation for pragmas Pre[_Class] Post[_Class]. | Robert Dewar | 1 | -5/+109 |
2013-10-13 | einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents. | Hristian Kirtchev | 1 | -1/+122 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+39 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -14/+30 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -8/+10 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -73/+108 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -9/+7 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2013-04-25 | sem_prag.adb: Minor code reorganization (correct misspelling Restiction). | Robert Dewar | 1 | -1/+4 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+34 |
2013-04-25 | sem_ch12.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+2 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+11 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+92 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
2013-04-25 | einfo.ads, einfo.adb: Remove with and use clauses for Namet. | Hristian Kirtchev | 1 | -20/+0 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+20 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+62 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -3/+3 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+37 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-23 | sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogr... | Ed Schonberg | 1 | -1/+1 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -11/+16 |
2013-04-22 | sem_prag.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+1 |
2013-04-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -9/+4 |
2013-04-12 | aspects.adb: Alphabetize subprogram bodies in this unit. | Hristian Kirtchev | 1 | -30/+53 |
2013-04-11 | einfo.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -8/+5 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+88 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |