gcc.gnu.org Git - gcc.git/history

]> gcc.gnu.org Git - gcc.git/history - gcc/ada/sem_ch7.adb

2022-11-28	Yannick Moy	ada: Implement change to SPARK RM rule on state refinement	blob \| commitdiff \| raw
2022-11-21	Bob Duff	ada: Move warnings switches	blob \| commitdiff \| raw \| diff to current
2022-11-04	Piotr Trojanek	ada: Cleanup clearing flags on package variables	blob \| commitdiff \| raw \| diff to current
2022-07-12	Piotr Trojanek	[Ada] Warn on unset objects in packages with no bodies	blob \| commitdiff \| raw \| diff to current
2022-06-02	Arnaud Charlet	[Ada] Refine previous changes on making symbols public...	blob \| commitdiff \| raw \| diff to current
2022-05-30	Arnaud Charlet	[Ada] Introduce Opt.CCG_Mode	blob \| commitdiff \| raw \| diff to current
2022-05-18	Eric Botcazou	[Ada] Fast implementation of floating-point mathematica...	blob \| commitdiff \| raw \| diff to current
2022-05-17	Eric Botcazou	[Ada] Fix bogus visibility error with partially paramet...	blob \| commitdiff \| raw \| diff to current
2022-05-16	Eric Botcazou	[Ada] Fix fallout of change in equality for untagged...	blob \| commitdiff \| raw \| diff to current
2022-05-16	Eric Botcazou	[Ada] Fix implementation issues with equality for untag...	blob \| commitdiff \| raw \| diff to current
2022-01-11	Arnaud Charlet	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	blob \| commitdiff \| raw \| diff to current
2021-12-01	Yannick Moy	[Ada] Improve messages on incorrect state refinement...	blob \| commitdiff \| raw \| diff to current
2021-12-01	Gary Dismukes	[Ada] Storage error on untagged prefixed subprogram...	blob \| commitdiff \| raw \| diff to current
2021-10-25	Etienne Servais	[Ada] Change format of the ?? warning insertion sequence	blob \| commitdiff \| raw \| diff to current
2021-10-04	Gary Dismukes	[Ada] Completion of support for AI12-0409 (attribute...	blob \| commitdiff \| raw \| diff to current
2021-09-21	Bob Duff	[Ada] Clean up uses of Esize and RM_Size	blob \| commitdiff \| raw \| diff to current
2021-09-20	Bob Duff	[Ada] Clean up Uint fields, remove unused routines	blob \| commitdiff \| raw \| diff to current
2021-09-20	Gary Dismukes	[Ada] Implementation of Preelaborable_Initialization...	blob \| commitdiff \| raw \| diff to current
2021-07-06	Gary Dismukes	[Ada] Support for Object.Op subprogram-call notation...	blob \| commitdiff \| raw \| diff to current
2021-06-18	Javier Miranda	[Ada] Ada2020: Special handling of types derived from...	blob \| commitdiff \| raw \| diff to current
2021-06-17	Justin Squirek	[Ada] Removal of technical debt	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Variable-sized node types -- cleanup	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Variable-sized node types	blob \| commitdiff \| raw \| diff to current
2021-05-05	Ghjuvan Lacambre	[Ada] Move Build_And_Insert_CUDA_Initialization to...	blob \| commitdiff \| raw \| diff to current
2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2020-10-19	Ghjuvan Lacambre	[Ada] Implement initialization of CUDA runtime	blob \| commitdiff \| raw \| diff to current
2020-10-19	Javier Miranda	[Ada] Private type unexpectedly visible	blob \| commitdiff \| raw \| diff to current
2020-10-15	Steve Baird	[Ada] Get finalization right when a function returns...	blob \| commitdiff \| raw \| diff to current
2020-07-27	Arnaud Charlet	[Ada] Use membership tests in front-end	blob \| commitdiff \| raw \| diff to current
2020-06-19	Eric Botcazou	[Ada] Attempt to hide public entities in nested instanc...	blob \| commitdiff \| raw \| diff to current
2020-06-09	Eric Botcazou	[Ada] Propagate DIC, Invariant and Predicate attributes...	blob \| commitdiff \| raw \| diff to current
2020-06-08	Arnaud Charlet	[Ada] Remove processing of SPARK_05 restriction	blob \| commitdiff \| raw \| diff to current
2020-06-03	Yannick Moy	[Ada] Improve handling of SPARK_Mode in generic instances	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
2020-06-02	Piotr Trojanek	[Ada] Reuse Is_Package_Or_Generic_Package where possible	blob \| commitdiff \| raw \| diff to current
2019-12-13	Ed Schonberg	[Ada] Crash on inherited private operation in child...	blob \| commitdiff \| raw \| diff to current
2019-10-10	Anthony Leonardo...	[Ada] Mention GNAT Studio instead of GPS	blob \| commitdiff \| raw \| diff to current
2019-09-19	Ed Schonberg	[Ada] Spurious visibility error in generic child unit	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Fix discrepancy in mechanism tracking private...	blob \| commitdiff \| raw \| diff to current
2019-07-10	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-09	Piotr Trojanek	[Ada] Reformat comments	blob \| commitdiff \| raw \| diff to current
2019-07-03	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-03	Arnaud Charlet	[Ada] Do not consider inlined subprograms when generati...	blob \| commitdiff \| raw \| diff to current
2019-07-01	Piotr Trojanek	[Ada] Remove a SPARK rule about implicit Global	blob \| commitdiff \| raw \| diff to current
2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw \| diff to current
2018-12-11	Yannick Moy	[Ada] Do not expand code inside ignored ghost bodies	blob \| commitdiff \| raw \| diff to current
2018-12-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-12-03	Eric Botcazou	[Ada] Fix internal error on package instantiation on...	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-11-14	Justin Squirek	[Ada] Visibility error on used enumerated type	blob \| commitdiff \| raw \| diff to current
2018-10-09	Eric Botcazou	[Ada] Internal error on inlined renaming of subprogram...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Eric Botcazou	[Ada] Inlining of renamed subprogram instances in packa...	blob \| commitdiff \| raw \| diff to current
2018-05-24	Justin Squirek	[Ada] Quadratic compile time with tagged types	blob \| commitdiff \| raw \| diff to current
2018-05-24	Hristian Kirtchev	[Ada] Fix crash on formal containers	blob \| commitdiff \| raw \| diff to current
2018-05-21	Hristian Kirtchev	[Ada] Placement of pragma Elaboration_Checks	blob \| commitdiff \| raw \| diff to current
2018-05-21	Piotr Trojanek	[Ada] Only allow Has_Discriminants on type entities	blob \| commitdiff \| raw \| diff to current
2018-01-11	Arnaud Charlet	[Ada] Bump copyright notices to 2018	blob \| commitdiff \| raw \| diff to current
2017-12-05	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-16	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-09	Pierre-Marie de...	exp_ch6.adb (Expand_N_Extended_Return_Statement): Add...	blob \| commitdiff \| raw \| diff to current
2017-09-25	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-13	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Steve Baird	exp_util.adb (Side_Effect_Free): For CodePeer (only...	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-28	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Hristian Kirtchev	exp_ch9.adb (Expand_Entry_Barrier): Code cleanup.	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Hristian Kirtchev	contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contrac...	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Hristian Kirtchev	exp_util.adb, [...]: Revert previous changes.	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Hristian Kirtchev	atree.adb (Allocate_Initialize_Node): A newly created...	blob \| commitdiff \| raw \| diff to current
2017-01-09	Hristian Kirtchev	einfo.ads, einfo.adb: Remove uses of flags Has_Default_...	blob \| commitdiff \| raw \| diff to current
2016-10-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-07-06	Javier Miranda	sem_ch7.adb (Analyze_Package_Specification): Insert...	blob \| commitdiff \| raw \| diff to current
2016-07-04	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-21	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
next

GNU Compiler Collection

RSS Atom

This page took 2.979481 seconds and 108 git commands to generate.