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-09	Javier Miranda	[Ada] Missing error on generic type with representation...	blob \| commitdiff \| raw
2019-07-09	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-09	Ed Schonberg	[Ada] Wrong resolution of equality operator with overlo...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Hristian Kirtchev	[Ada] Elaboration order v4.0 activation	blob \| commitdiff \| raw \| diff to current
2019-07-09	Eric Botcazou	[Ada] Missing escape of the double quote in JSON output	blob \| commitdiff \| raw \| diff to current
2019-07-09	Javier Miranda	[Ada] Missing runtime range checks with -gnatVa	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Sinfo: refine comment for Do_Range_Check	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Expand Enum_Rep attribute reference in GNATprove...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Ed Schonberg	[Ada] Spurious error when instance of generic is used...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Prevent inconsistent state for inlining in GNATprove	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Expand type of static expressions in GNATprove...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Piotr Trojanek	[Ada] Reword "wild card" to "wildcard"	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Handle implicit moves in SPARK ownership pointer...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Piotr Trojanek	[Ada] Einfo: fix a typo	blob \| commitdiff \| raw \| diff to current
2019-07-09	Ed Schonberg	[Ada] Fix scopes for local variables in task/protected...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Arnaud Charlet	[Ada] Set Dynamic_Elaboration_Checks to True in CodePee...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Issue error on illegal ownership in SPARK	blob \| commitdiff \| raw \| diff to current
2019-07-09	Yannick Moy	[Ada] Fix ownership checking for pointers in SPARK	blob \| commitdiff \| raw \| diff to current
2019-07-09	Eric Botcazou	[Ada] Make -gnatRj output strictly conforming JSON	blob \| commitdiff \| raw \| diff to current
2019-07-09	Arnaud Charlet	[Ada] Update -fdump-ada-spec documentation	blob \| commitdiff \| raw \| diff to current
2019-07-08	Eric Botcazou	[Ada] Small overhaul in Repinfo unit	blob \| commitdiff \| raw \| diff to current
2019-07-08	Dmitriy Anisimkov	[Ada] GNAT.Serial_Communications: simplify the Serial_P...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Arnaud Charlet	[Ada] GNAT RM: Update documentation on No_Exceptions...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Dmitriy Anisimkov	[Ada] Os_Lib: do not call __gnat_kill for Invalid_Pid	blob \| commitdiff \| raw \| diff to current
2019-07-08	Piotr Trojanek	[Ada] Remove dead code from Enclosing_Package_Or_Subpro...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Bob Duff	[Ada] Remove documentation of ignored GNATpp switch	blob \| commitdiff \| raw \| diff to current
2019-07-08	Hristian Kirtchev	[Ada] In-place initialization for Initialize_Scalars	blob \| commitdiff \| raw \| diff to current
2019-07-08	Javier Miranda	[Ada] Wrong evaluation of membership test	blob \| commitdiff \| raw \| diff to current
2019-07-08	Hristian Kirtchev	[Ada] Assertion failure on validity check for Address	blob \| commitdiff \| raw \| diff to current
2019-07-08	Hristian Kirtchev	[Ada] Diagnostics for Elaboration order v4.0	blob \| commitdiff \| raw \| diff to current
2019-07-08	Piotr Trojanek	[Ada] Set dummy Etype for the fake __HEAP entity in...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Daniel Mercier	[Ada] Suppress warnings on memory representation in...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Nicolas Roche	[Ada] Remove dependency on Win32 GDI (Graphical Interface)	blob \| commitdiff \| raw \| diff to current
2019-07-08	Doug Rupp	[Ada] New port for x86_64-vx7	blob \| commitdiff \| raw \| diff to current
2019-07-08	Dmitriy Anisimkov	[Ada] Use g-sercom__linux.adb for all Linuxes	blob \| commitdiff \| raw \| diff to current
2019-07-08	Yannick Moy	[Ada] Do not erase precise type on fixed-point real...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Ed Schonberg	[Ada] Crash on timed entry call with a delay given...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Hristian Kirtchev	[Ada] New algorithm for Elaboration order v4.0	blob \| commitdiff \| raw \| diff to current
2019-07-08	Bob Duff	[Ada] More data rates supported on Linux	blob \| commitdiff \| raw \| diff to current
2019-07-08	Olivier Hainque	[Ada] Arrange not to set DECL_ARTIFICIAL on elab procs	blob \| commitdiff \| raw \| diff to current
2019-07-08	Eric Botcazou	[Ada] Fix crash on extension of private type with ...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Ed Schonberg	[Ada] Semantics of Delete for fixed strings	blob \| commitdiff \| raw \| diff to current
2019-07-08	Javier Miranda	[Ada] Crash in interface derivation with null primitive	blob \| commitdiff \| raw \| diff to current
2019-07-08	Bob Duff	[Ada] Document handling of preprocessor directives...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Javier Miranda	[Ada] Code reorganization	blob \| commitdiff \| raw \| diff to current
2019-07-08	Ed Schonberg	[Ada] Crash on named actual in postcondition for generi...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Javier Miranda	[Ada] Spurious error reported by pragma Compile_Time_Error	blob \| commitdiff \| raw \| diff to current
2019-07-08	Justin Squirek	[Ada] Crash on Image and Value attributes	blob \| commitdiff \| raw \| diff to current
2019-07-08	Dmitriy Anisimkov	[Ada] GNAT.Sockets: remove default level in Get/Set_Soc...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Ed Schonberg	[Ada] Spurious visibility error on dynamic_predicate...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Justin Squirek	[Ada] Incorrect accessibility check	blob \| commitdiff \| raw \| diff to current
2019-07-05	Ed Schonberg	[Ada] Compiler loop on illegal nested accept statement	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Stabilization of Elaboration order v4.0	blob \| commitdiff \| raw \| diff to current
2019-07-05	Joffrey Huguet	[Ada] Add contracts to Ada.Text_IO for SPARK	blob \| commitdiff \| raw \| diff to current
2019-07-05	Arnaud Charlet	[Ada] GNAT UGN: refresh doc on installing from the...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Vasiliy Fofanov	[Ada] Ada.Wide_Wide_Characters.Handling: fix comments	blob \| commitdiff \| raw \| diff to current
2019-07-05	Eric Botcazou	[Ada] Fix internal error on packed array In/Out actual...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-05	Ed Schonberg	[Ada] Fix position of subprogram body generated for...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Crash on deallocating component with discriminate...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Arnaud Charlet	[Ada] System.OS_Interface: fix link order on Linux	blob \| commitdiff \| raw \| diff to current
2019-07-05	Ed Schonberg	[Ada] Missing range check on assignment to bit-packed...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Failure to detect trivial infinite recursion	blob \| commitdiff \| raw \| diff to current
2019-07-05	Arnaud Charlet	[Ada] System.Linux: fix typos in comments	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Failure to detect trivial infinite recursion	blob \| commitdiff \| raw \| diff to current
2019-07-05	Javier Miranda	[Ada] Wrong accessibility level under -gnat12	blob \| commitdiff \| raw \| diff to current
2019-07-05	Piotr Trojanek	[Ada] Typo fixes	blob \| commitdiff \| raw \| diff to current
2019-07-05	Bob Duff	[Ada] Crash on exported build-in-place function	blob \| commitdiff \| raw \| diff to current
2019-07-05	Ed Schonberg	[Ada] Spurious error on aggregate with choice that...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Javier Miranda	[Ada] Removing support for SCIL "contract-only" subprog...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Pierre-Marie de...	[Ada] Import documentation from the RM for Ada.Strings...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Pierre-Marie de...	[Ada] Import documentation from the RM for Ada.Strings...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Yannick Moy	[Ada] Accept compilation switches -Og/-Ofast in non...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Diagnostics in Elaboration order v4.0	blob \| commitdiff \| raw \| diff to current
2019-07-05	Ed Schonberg	[Ada] Compiler abort on a dynamic predicate used in...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Yannick Moy	[Ada] Fix inlining in GNATprove inside quantified expre...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Bob Duff	[Ada] Fix typo in GNAT RM	blob \| commitdiff \| raw \| diff to current
2019-07-05	Bob Duff	[Ada] No_Stream_Optimizations ignored for 'Class'Input	blob \| commitdiff \| raw \| diff to current
2019-07-05	Claire Dross	[Ada] Ada.Containers.Formal_Vectors: make vectors alway...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Dmitriy Anisimkov	[Ada] GNAT.Traceback: add a Call_Chain function	blob \| commitdiff \| raw \| diff to current
2019-07-04	James Clarke	s-osinte__kfreebsd-gnu.ads (clockid_t): Make type defin...	blob \| commitdiff \| raw \| diff to current
2019-07-04	Javier Miranda	[Ada] Spurious error on non-default C++ constructor	blob \| commitdiff \| raw \| diff to current
2019-07-04	Eric Botcazou	[Ada] Clean up support for validity checks in the compiler	blob \| commitdiff \| raw \| diff to current
2019-07-04	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-04	Joffrey Huguet	[Ada] Add preconditions in Ada.Task_Identification	blob \| commitdiff \| raw \| diff to current
2019-07-04	Eric Botcazou	[Ada] Fix capitalization and parenthesis glitches in...	blob \| commitdiff \| raw \| diff to current
2019-07-04	Ed Schonberg	[Ada] Spurious error on instantiation and limited_with_...	blob \| commitdiff \| raw \| diff to current
2019-07-04	Hristian Kirtchev	[Ada] Management of internal data structures in Sem_Elab	blob \| commitdiff \| raw \| diff to current
2019-07-04	Gary Dismukes	[Ada] Expr. func. with private formal rejected in neste...	blob \| commitdiff \| raw \| diff to current
2019-07-04	Yannick Moy	[Ada] SPARK_Mode Off now allowed inside subprogram	blob \| commitdiff \| raw \| diff to current
2019-07-04	Justin Squirek	[Ada] Spurious error on incomplete tagged formal parameter	blob \| commitdiff \| raw \| diff to current
2019-07-04	Ed Schonberg	[Ada] Bug in composition of equality for variant records	blob \| commitdiff \| raw \| diff to current
2019-07-04	Justin Squirek	[Ada] Missing actual for generated initialization procedure	blob \| commitdiff \| raw \| diff to current
2019-07-04	Bob Duff	[Ada] Do not create a master unless Tasking_Allowed	blob \| commitdiff \| raw \| diff to current
2019-07-04	Hristian Kirtchev	[Ada] Assertion failure on Default_Initial_Condition	blob \| commitdiff \| raw \| diff to current
2019-07-04	Ed Schonberg	[Ada] Spurious error on 'First in a generic context	blob \| commitdiff \| raw \| diff to current
2019-07-04	Piotr Trojanek	[Ada] Minor typo fixes	blob \| commitdiff \| raw \| diff to current
2019-07-04	Yannick Moy	[Ada] Synchronized object definition in SPARK updated	blob \| commitdiff \| raw \| diff to current
2019-07-04	Yannick Moy	[Ada] Fix crash in SPARK ownership checking	blob \| commitdiff \| raw \| diff to current
2019-07-04	Justin Squirek	[Ada] Hang on expansion of library-level instantiation	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom