Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -48/+28 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -5/+19 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -8/+20 |
2013-09-10 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -6/+11 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -5/+12 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -22/+23 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -7/+3 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2013-04-24 | snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration p... | Yannick Moy | 1 | -7/+4 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -8/+8 |
2013-04-24 | exp_ch6.adb: Remove with and use clause for Sem_Prag. | Hristian Kirtchev | 1 | -47/+12 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+15 |
2013-04-23 | sem_ch13.adb: Minor code reorganization (remove some redundant assignments). | Robert Dewar | 1 | -3/+2 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+15 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -8/+1 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -20/+17 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -25/+0 |
2013-04-11 | exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Do not add cleanup ac... | Javier Miranda | 1 | -0/+9 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+36 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -6/+8 |
2013-02-06 | sem_ch3.adb (Complete_Private_Subtype): Inherit the Has_Unknown_Discriminants... | Hristian Kirtchev | 1 | -7/+8 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+15 |
2013-01-29 | errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. | Javier Miranda | 1 | -1/+5 |
2013-01-29 | sem_ch3.adb (Analyze_Subtype_Declaration): Inherit Is_Generic_Actual_Type fla... | Ed Schonberg | 1 | -1/+8 |
2013-01-04 | sem_ch3.adb (Build_Private_Derived_Type): Set Has_Private_Ancestor on type de... | Ed Schonberg | 1 | -3/+9 |
2013-01-04 | sem_elab.adb, [...]: Minor reformatting. | Thomas Quinot | 1 | -29/+16 |
2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -11/+5 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -3/+11 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+36 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -15/+13 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -8/+13 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -21/+38 |