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

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

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / ChangeLog

2019-07-08	pmderodat	[Ada] Use g-sercom__linux.adb for all Linuxes	blob \| commitdiff \| raw
2019-07-08	pmderodat	[Ada] Do not erase precise type on fixed-point real...	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Crash on timed entry call with a delay given...	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] New algorithm for Elaboration order v4.0	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] More data rates supported on Linux	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Arrange not to set DECL_ARTIFICIAL on elab procs	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Fix crash on extension of private type with ...	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Semantics of Delete for fixed strings	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Crash in interface derivation with null primitive	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Document handling of preprocessor directives...	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Code reorganization	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Crash on named actual in postcondition for generi...	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Spurious error reported by pragma Compile_Time_Error	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Crash on Image and Value attributes	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] GNAT.Sockets: remove default level in Get/Set_Soc...	blob \| commitdiff \| raw \| diff to current
2019-07-08	pmderodat	[Ada] Spurious visibility error on dynamic_predicate...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Incorrect accessibility check	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Compiler loop on illegal nested accept statement	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Stabilization of Elaboration order v4.0	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Add contracts to Ada.Text_IO for SPARK	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] GNAT UGN: refresh doc on installing from the...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Ada.Wide_Wide_Characters.Handling: fix comments	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Fix internal error on packed array In/Out actual...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Fix position of subprogram body generated for...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Crash on deallocating component with discriminate...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] System.OS_Interface: fix link order on Linux	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Missing range check on assignment to bit-packed...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Failure to detect trivial infinite recursion	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] System.Linux: fix typos in comments	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Failure to detect trivial infinite recursion	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Wrong accessibility level under -gnat12	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Typo fixes	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Crash on exported build-in-place function	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Spurious error on aggregate with choice that...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Removing support for SCIL "contract-only" subprog...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Import documentation from the RM for Ada.Strings...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Import documentation from the RM for Ada.Strings...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Accept compilation switches -Og/-Ofast in non...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Diagnostics in Elaboration order v4.0	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Compiler abort on a dynamic predicate used in...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Fix inlining in GNATprove inside quantified expre...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Fix typo in GNAT RM	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] No_Stream_Optimizations ignored for 'Class'Input	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] Ada.Containers.Formal_Vectors: make vectors alway...	blob \| commitdiff \| raw \| diff to current
2019-07-05	pmderodat	[Ada] GNAT.Traceback: add a Call_Chain function	blob \| commitdiff \| raw \| diff to current
2019-07-04	doko	2019-07-04 James Clarke <jrtc27@debian.org>	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious error on non-default C++ constructor	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Clean up support for validity checks in the compiler	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Add preconditions in Ada.Task_Identification	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Fix capitalization and parenthesis glitches in...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious error on instantiation and limited_with_...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Management of internal data structures in Sem_Elab	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Expr. func. with private formal rejected in neste...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] SPARK_Mode Off now allowed inside subprogram	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious error on incomplete tagged formal parameter	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Bug in composition of equality for variant records	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Missing actual for generated initialization procedure	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] Assertion failure on Default_Initial_Condition	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious error on 'First in a generic context	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Minor typo fixes	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Synchronized object definition in SPARK updated	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Fix crash in SPARK ownership checking	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Hang on expansion of library-level instantiation	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Unnesting: handle conditional expressions	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Skip code not in SPARK for ownership analysis	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Better error messages for ownership errors in...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] CCG: reduce generated temporaries	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Keep assertions in internal units enabled for...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] CCG: restrict folding for boolean tests	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Reduce emitted code size in CCG for aggregate...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] GNAT.Sockets: fix socket timeout on recent Window...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Get_Scos: Remove bogus, dead code	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious dimensionality error on aggregate with...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Document new flags in GNATpp	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Forced elaboration order in Elaboration order...	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-03	pmderodat	[Ada] Suppress warnings in generic instantiations with...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] New routine to access file on command line	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Crash on front-end inlining of subp. with aspect...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Incorrect expansion on renamings of formal parameters	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Refine pointer support in SPARK	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spurious visibility error in inlined function	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Minor editorial corrections and reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Improve warnings about infinite loops	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Document default new-line behavior for GNATpp	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] ABE checks v3.0, foundations of Elaboration order...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] SPARK pointer support extended to local borrowers...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spurious error with static predicate in generic...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Style check for mixed-case identifiers	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Extend -gnatw.z warning to array types	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spell "laid" correctly	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spurious error on dynamic predicate in a generic...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Fix bogus error on array with overaligned scalar...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Make loop labels unique for front-end inlined...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Update the section on resolving elaboration circu...	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom