git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_ch3.adb

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / sem_ch3.adb

2019-08-13	pmderodat	[Ada] Build full derivation for private concurrent...	blob \| commitdiff \| raw
2019-08-13	pmderodat	[Ada] Legality rule on ancestors of type extensions...	blob \| commitdiff \| raw \| diff to current
2019-08-13	pmderodat	[Ada] Fix spurious instantiation error on private recor...	blob \| commitdiff \| raw \| diff to current
2019-07-22	pmderodat	[Ada] Issue warning or error message on ignored typing...	blob \| commitdiff \| raw \| diff to current
2019-07-22	pmderodat	[Ada] Remove obsolete Is_For_Access_Subtype machinery	blob \| commitdiff \| raw \| diff to current
2019-07-22	pmderodat	[Ada] Spurious error on private subtype of derived...	blob \| commitdiff \| raw \| diff to current
2019-07-22	pmderodat	[Ada] Type inconsistency in floating_point type declara...	blob \| commitdiff \| raw \| diff to current
2019-07-10	pmderodat	[Ada] Spelling mistakes in error messages	blob \| commitdiff \| raw \| diff to current
2019-07-10	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-09	pmderodat	[Ada] Access to uninitialized memory by predicate check	blob \| commitdiff \| raw \| diff to current
2019-07-09	pmderodat	[Ada] Expand type of static expressions in GNATprove...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Do not create a master unless Tasking_Allowed	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Crash on anonymous access-to-class-wide with...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Spurious error private subtype derivation	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-01-08	pmderodat	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Missing predicate check on declaration with aggre...	blob \| commitdiff \| raw \| diff to current
2018-12-11	pmderodat	[Ada] Crash on compilation unit function that builds...	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-12-03	pmderodat	[Ada] Enhance comment	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Compiler crash on decl. with limited aggregate...	blob \| commitdiff \| raw \| diff to current
2018-11-14	pmderodat	[Ada] Enhance constraints propagation to ease the work...	blob \| commitdiff \| raw \| diff to current
2018-09-26	pmderodat	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-09-26	pmderodat	[Ada] Illegal formal objects associated with anonymous...	blob \| commitdiff \| raw \| diff to current
2018-09-26	pmderodat	[Ada] Missing error on non-limited derived type with...	blob \| commitdiff \| raw \| diff to current
2018-08-21	pmderodat	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-08-21	pmderodat	[Ada] Spurious "Duplicated symbol" error with discrimin...	blob \| commitdiff \| raw \| diff to current
2018-07-17	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-07-17	pmderodat	[Ada] Crash processing abstract state aspect of a package	blob \| commitdiff \| raw \| diff to current
2018-07-16	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-07-16	pmderodat	[Ada] Add a missing check for trivial predicates on...	blob \| commitdiff \| raw \| diff to current
2018-07-16	pmderodat	[Ada] Adjust reference to renumbered SPARK RM rule	blob \| commitdiff \| raw \| diff to current
2018-05-30	pmderodat	[Ada] Spell preanalysis, preanalyze correctly	blob \| commitdiff \| raw \| diff to current
2018-05-30	pmderodat	[Ada] Refine logic to set Needs_Activation_Record on...	blob \| commitdiff \| raw \| diff to current
2018-05-30	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-29	pmderodat	[Ada] Set scope of component of subtype	blob \| commitdiff \| raw \| diff to current
2018-05-28	pmderodat	[Ada] Introduce a new Needs_Activation_Record entity...	blob \| commitdiff \| raw \| diff to current
2018-05-25	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-24	pmderodat	[Ada] Missing error on illegal access to discriminant	blob \| commitdiff \| raw \| diff to current
2018-05-24	pmderodat	[Ada] Quadratic compile time with tagged types	blob \| commitdiff \| raw \| diff to current
2018-05-24	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-24	pmderodat	[Ada] Fix crash on formal containers	blob \| commitdiff \| raw \| diff to current
2018-05-24	pmderodat	[Ada] Spurious error on private task derivation	blob \| commitdiff \| raw \| diff to current
2018-05-23	pmderodat	[Ada] Spurious Storage_Error on imported array	blob \| commitdiff \| raw \| diff to current
2018-05-23	pmderodat	[Ada] Spurious error on instantiation with type with...	blob \| commitdiff \| raw \| diff to current
2018-05-23	pmderodat	[Ada] Suppression of elaboration-related warnings	blob \| commitdiff \| raw \| diff to current
2018-05-23	pmderodat	[Ada] Compiler fails to reject illegal store of anonymo...	blob \| commitdiff \| raw \| diff to current
2018-05-23	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-23	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-22	pmderodat	[Ada] Fix compiler abort on invalid discriminant constraint	blob \| commitdiff \| raw \| diff to current
2018-05-22	pmderodat	[Ada] Crash with private types and renamed discriminants	blob \| commitdiff \| raw \| diff to current
2018-05-21	pmderodat	[Ada] Only allow Has_Discriminants on type entities	blob \| commitdiff \| raw \| diff to current
2018-01-11	pmderodat	[Ada] Bump copyright notices to 2018	blob \| commitdiff \| raw \| diff to current
2018-01-11	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-01-11	pmderodat	[Ada] Illegal protected calls in inherited pre/postcond...	blob \| commitdiff \| raw \| diff to current
2017-12-05	pmderodat	2017-12-05 Olivier Hainque <hainque@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-11-16	pmderodat	2017-11-16 Gary Dismukes <dismukes@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-11-16	pmderodat	2017-11-16 Ed Schonberg <schonberg@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-11-16	pmderodat	2017-11-16 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-11-09	pmderodat	2017-11-09 Ed Schonberg <schonberg@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-11-09	pmderodat	2017-11-09 Yannick Moy <moy@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-10-14	pmderodat	2017-10-14 Bob Duff <duff@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-10-09	pmderodat	2017-10-09 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-10-09	pmderodat	2017-10-09 Javier Miranda <miranda@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-10-09	pmderodat	2017-10-09 Justin Squirek <squirek@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-10-09	pmderodat	2017-10-09 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-10-09	pmderodat	2017-10-09 Ed Schonberg <schonberg@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-10-09	pmderodat	2017-10-09 Bob Duff <duff@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-10-09	pmderodat	gcc/ada/	blob \| commitdiff \| raw \| diff to current
2017-09-29	pmderodat	2017-09-29 Justin Squirek <squirek@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-25	pmderodat	2017-09-25 Yannick Moy <moy@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-18	pmderodat	gcc/ada/	blob \| commitdiff \| raw \| diff to current
2017-09-13	pmderodat	2017-09-13 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-12	charlet	2017-09-12 Bob Duff <duff@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-08	charlet	2017-09-08 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-08	charlet	2017-09-08 Arnaud Charlet <charlet@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-08	charlet	2017-09-08 Ed Schonberg <schonberg@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-08	charlet	2017-09-08 Arnaud Charlet <charlet@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-08	charlet	2017-09-08 Bob Duff <duff@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-07	charlet	2017-09-07 Arnaud Charlet <charlet@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Ed Schonberg <schonberg@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Ed Schonberg <schonberg@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Eric Botcazou <ebotcazou@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Eric Botcazou <ebotcazou@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Bob Duff <duff@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Yannick Moy <moy@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Hristian Kirtchev <kirtchev@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Eric Botcazou <ebotcazou@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-09-06	charlet	2017-09-06 Ed Schonberg <schonberg@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-05-02	charlet	2017-05-02 Eric Botcazou <ebotcazou@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-05-02	charlet	2017-05-02 Eric Botcazou <ebotcazou@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-05-02	charlet	2017-05-02 Bob Duff <duff@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-05-02	charlet	Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2017-05-02	charlet	2017-05-02 Eric Botcazou <ebotcazou@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-05-02	charlet	2017-05-02 Bob Duff <duff@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-05-02	charlet	2017-05-02 Tristan Gingold <gingold@adacore.com>	blob \| commitdiff \| raw \| diff to current
2017-05-02	charlet	2017-05-02 Eric Botcazou <ebotcazou@adacore.com>	blob \| commitdiff \| raw \| diff to current
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom