summaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref-spark_specific.adb
AgeCommit message (Expand)Author
2019-01-08[Ada] Bump copyright years to 2019pmderodat
2018-08-21[Ada] Minor reformattingspmderodat
2018-08-21[Ada] Handle pragmas that come from aspects for GNATprovepmderodat
2018-07-17[Ada] Attach the special GNATprove HEAP entity to the Standard packagepmderodat
2018-05-21[Ada] Fix inconstent subprogram body headerspmderodat
2018-01-11[Ada] Bump copyright notices to 2018pmderodat
2017-11-09gcc/ada/pmderodat
2017-11-092017-11-09 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-08gcc/ada/pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-082017-11-08 Piotr Trojanek <trojanek@adacore.com>pmderodat
2017-11-08gcc/ada/pmderodat
2017-09-292017-09-29 Bob Duff <duff@adacore.com>pmderodat
2017-09-132017-09-13 Eric Botcazou <ebotcazou@adacore.com>pmderodat
2017-09-112017-09-11 Yannick Moy <moy@adacore.com>charlet
2017-09-112017-09-11 Yannick Moy <moy@adacore.com>charlet
2017-09-082017-09-08 Bob Duff <duff@adacore.com>charlet
2017-09-082017-09-08 Bob Duff <duff@adacore.com>charlet
2017-09-072017-09-07 Yannick Moy <moy@adacore.com>charlet
2017-01-192017-01-19 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-01-192017-01-19 Javier Miranda <miranda@adacore.com>charlet
2017-01-192017-01-19 Javier Miranda <miranda@adacore.com>charlet
2017-01-192017-01-19 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-01-192017-01-19 Steve Baird <baird@adacore.com>charlet
2017-01-132017-01-13 Hristian Kirtchev <kirtchev@adacore.com>charlet
2016-11-302016-11-30 Gary Dismukes <dismukes@adacore.com>charlet
2016-06-222016-06-22 Hristian Kirtchev <kirtchev@adacore.com>charlet
2016-06-222016-06-22 Hristian Kirtchev <kirtchev@adacore.com>charlet
2016-06-222016-06-22 Arnaud Charlet <charlet@adacore.com>charlet
2016-06-222016-06-22 Hristian Kirtchev <kirtchev@adacore.com>charlet
2016-06-222016-06-22 Arnaud Charlet <charlet@adacore.com>charlet
2016-06-222016-06-22 Hristian Kirtchev <kirtchev@adacore.com>charlet
2016-06-222016-06-22 Ed Schonberg <schonberg@adacore.com>charlet
2016-06-222016-06-22 Arnaud Charlet <charlet@adacore.com>charlet
2016-06-142016-06-14 Arnaud Charlet <charlet@adacore.com>charlet
2016-05-02Minor reformatting.charlet
2016-05-022016-05-02 Arnaud Charlet <charlet@adacore.com>charlet
2016-05-022016-05-02 Hristian Kirtchev <kirtchev@adacore.com>charlet
2016-05-022016-05-02 Arnaud Charlet <charlet@adacore.com>charlet
2016-05-022016-05-02 Arnaud Charlet <charlet@adacore.com>charlet
2016-04-192016-04-19 Arnaud Charlet <charlet@adacore.com>charlet
2016-04-182016-04-18 Gary Dismukes <dismukes@adacore.com>charlet