Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-04-25 | Minor reformatting. | Arnaud Charlet | 1 | -2/+2 |
2013-04-25 | * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Exclude s-init.ad{s,b} | Arnaud Charlet | 2 | -0/+5 |
2013-04-25 | Update dependencies. | Arnaud Charlet | 1 | -36/+35 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 17 | -2008/+168 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 6 | -102/+149 |
2013-04-25 | gnat_rm.texi: Document Reason argument for pragma Warnings. | Robert Dewar | 5 | -23/+71 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 6 | -61/+105 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 4 | -38/+34 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 6 | -486/+551 |
2013-04-25 | sem_prag.adb: Minor code reorganization (correct misspelling Restiction). | Robert Dewar | 10 | -406/+826 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 9 | -256/+385 |
2013-04-25 | sem_ch12.adb, [...]: Minor reformatting. | Robert Dewar | 4 | -82/+88 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 7 | -21/+117 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 15 | -215/+261 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 5 | -49/+69 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 11 | -27/+145 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 6 | -4/+49 |
2013-04-25 | einfo.ads, einfo.adb: Remove with and use clauses for Namet. | Hristian Kirtchev | 6 | -61/+62 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 6 | -22/+151 |
2013-04-25 | sem_ch7.adb, [...]: Minor reformatting. | Robert Dewar | 6 | -22/+20 |
2013-04-25 | sem_ch7.adb: Minor reformatting. | Thomas Quinot | 2 | -1/+5 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 19 | -117/+205 |
2013-04-24 | Update dependencies. | Arnaud Charlet | 1 | -1418/+1467 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 11 | -284/+310 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 16 | -82/+187 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 7 | -41/+132 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 7 | -65/+105 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 7 | -118/+172 |
2013-04-24 | snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration p... | Yannick Moy | 3 | -11/+15 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 7 | -7/+20 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 9 | -13/+111 |
2013-04-24 | 2013-04-24 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 8 | -40/+239 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 14 | -429/+641 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 45 | -1918/+1925 |
2013-04-24 | gnat_rm.texi: Document pragma Assume. | Robert Dewar | 3 | -33/+53 |
2013-04-24 | gnat_rm.texi: Document pragma Assert_And_Cut. | Robert Dewar | 3 | -4/+42 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 3 | -4/+21 |
2013-04-24 | exp_ch6.adb: Remove with and use clause for Sem_Prag. | Hristian Kirtchev | 8 | -758/+610 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 14 | -71/+199 |
2013-04-24 | exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): If this is a renaming... | Ed Schonberg | 4 | -7/+34 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 9 | -91/+178 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 9 | -30/+73 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 4 | -14/+93 |
2013-04-23 | re PR target/55445 (Always defined __SEH__ when build from trunk) | Kai Tietz | 2 | -3/+9 |
2013-04-23 | Makefile.in (targ): Fix target name check. | Eric Botcazou | 2 | -3/+10 |
2013-04-23 | Update dependencies. | Arnaud Charlet | 1 | -515/+530 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 14 | -1526/+1790 |
2013-04-23 | sem_ch13.adb: Minor code reorganization (remove some redundant assignments). | Robert Dewar | 4 | -20/+12 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 8 | -21/+130 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 8 | -83/+102 |