Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-08-04 | aspects.ads, [...]: Add entries for aspect Obsolescent. | Robert Dewar | 1 | -0/+4 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -71/+75 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -8/+16 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2014-07-29 | exp_ch5.adb, [...]: Minor comment additions. | Robert Dewar | 1 | -1/+1 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -4/+8 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2014-06-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2014-02-25 | lib.ads, [...]: Implement pragma Compiler_Unit_Warning... | Arnaud Charlet | 1 | -4/+0 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -21/+1 |
2014-02-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2014-02-19 | style.adb (Missing_Overriding): Warning does not apply in language versions p... | Ed Schonberg | 1 | -0/+4 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-01-29 | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -0/+4 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2013-10-17 | aspects.adb, [...]: Remove all entries for Refined_Pre from the various tables. | Hristian Kirtchev | 1 | -5/+0 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2013-10-14 | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 1 | -0/+4 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+9 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -7/+40 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -7/+23 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -4/+12 |
2013-09-10 | aspects.ads, [...]: Minor reformatting. | Thomas Quinot | 1 | -7/+7 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+197 |
2013-07-05 | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 1 | -0/+3 |
2013-04-25 | sem_prag.adb: Minor code reorganization (correct misspelling Restiction). | Robert Dewar | 1 | -1/+1 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -235/+210 |
2013-04-22 | aspects.ads, [...]: Removal of references to Contract_Case. | Yannick Moy | 1 | -6/+1 |
2013-04-12 | aspects.adb (Find_Aspect): New routine. | Hristian Kirtchev | 1 | -2/+9 |
2013-04-12 | aspects.adb: Alphabetize subprogram bodies in this unit. | Hristian Kirtchev | 1 | -17/+23 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2012-12-05 | aspects.ads, [...]: Add aspect Relative_Deadline. | Ed Schonberg | 1 | -0/+3 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -3/+8 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-10-01 | aspects.ads: Type_Invariant'class is a valid aspect. | Ed Schonberg | 1 | -5/+6 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -18/+23 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+25 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |