| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -22/+77 |
| 2013-10-10 | freeze.adb: Minor reformatting. | Robert Dewar | 1 | -348/+375 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
| 2013-10-10 | sem_aggr.adb (Resolve_Array_Aggregate): Identify duplicated cases. | Robert Dewar | 1 | -3/+3 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+166 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -5/+8 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+16 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+24 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+23 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -5/+14 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+12 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2013-09-10 | aspects.ads, [...]: Minor reformatting. | Thomas Quinot | 1 | -1/+1 |
| 2013-09-10 | exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set. | Robert Dewar | 1 | -0/+2 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -56/+272 |
| 2013-09-10 | sem_ch12.adb (Analyze_Package_Instantiation): If the instantiation is a compi... | Ed Schonberg | 1 | -1/+14 |
| 2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -8/+68 |
| 2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2013-07-08 | sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode... | Ed Schonberg | 1 | -5/+2 |
| 2013-07-05 | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 1 | -0/+11 |
| 2013-07-05 | sem_ch13.adb (Analyze_Aspect_Specifications): For pre/postconditions copy the... | Ed Schonberg | 1 | -2/+5 |
| 2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+14 |
| 2013-04-25 | einfo.ads, einfo.adb: Remove with and use clauses for Namet. | Hristian Kirtchev | 1 | -35/+20 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -12/+23 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
| 2013-04-24 | exp_ch6.adb: Remove with and use clause for Sem_Prag. | Hristian Kirtchev | 1 | -91/+32 |
| 2013-04-24 | exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): If this is a renaming... | Ed Schonberg | 1 | -0/+5 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
| 2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -41/+80 |
| 2013-04-23 | sem_ch13.adb: Minor code reorganization (remove some redundant assignments). | Robert Dewar | 1 | -16/+2 |
| 2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -17/+43 |
| 2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -157/+209 |
| 2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
| 2013-04-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-22 | aspects.ads, [...]: Removal of references to Contract_Case. | Yannick Moy | 1 | -62/+58 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -23/+11 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -21/+44 |
| 2013-04-12 | aspects.adb (Find_Aspect): New routine. | Hristian Kirtchev | 1 | -5/+4 |
| 2013-04-12 | s-rident.ads: Add various missing Ada 2012 restrictions... | Ed Schonberg | 1 | -0/+1 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -15/+16 |
| 2013-04-12 | sem_ch13.adb (Analyze_Aspect_Specifications): Aspect Depends is now a delayed... | Hristian Kirtchev | 1 | -5/+13 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -6/+11 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |