git.libre-soc.org Git - gcc.git/search

2019-07-10	Eric Botcazou	[Ada] Improve support for tuning branch probability...	commit \| commitdiff \| tree
2019-07-10	Yannick Moy	[Ada] Allow multiple units per file in GNATprove	commit \| commitdiff \| tree
2019-07-10	Corentin Gay	[Ada] sysdep.c: correct include directives ordering	commit \| commitdiff \| tree
2019-07-10	Eric Botcazou	[Ada] GNAT RM: add note about debuggers for Scalar_Storage_Order	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Spurious error on case expression with limited...	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-10	Joffrey Huguet	[Ada] Add contracts to Strings libraries	commit \| commitdiff \| tree
2019-07-10	Doug Rupp	[Ada] Vxworks7r2 SR0610 coalesced some macro values	commit \| commitdiff \| tree
2019-07-10	Doug Rupp	[Ada] The environ macro is broken on vxworks7r2 SR0610	commit \| commitdiff \| tree
2019-07-10	Patrick Bernardi	[Ada] New port for ppc-vx7r2	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Elaboration order v4.0 and cycle detection	commit \| commitdiff \| tree
2019-07-10	Yannick Moy	[Ada] Fix crashes on ownership checking in SPARK	commit \| commitdiff \| tree
2019-07-10	Javier Miranda	[Ada] Missing implicit interface type conversion	commit \| commitdiff \| tree
2019-07-10	Ed Schonberg	[Ada] Spurious error on overloaded equality in postcondition	commit \| commitdiff \| tree
2019-07-10	Hristian Kirtchev	[Ada] Elaboration order v4.0 and linker switches	commit \| commitdiff \| tree
2019-07-10	Gary Dismukes	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-10	Yannick Moy	[Ada] Use renamings in GNATprove mode for side-effects...	commit \| commitdiff \| tree
2019-07-09	Ed Schonberg	[Ada] Access to uninitialized memory by predicate check	commit \| commitdiff \| tree
2019-07-09	Justin Squirek	[Ada] Crash on 'Img attribute	commit \| commitdiff \| tree
2019-07-09	Eric Botcazou	[Ada] System.OS_Interface: fix Critical_Section.SpinCount...	commit \| commitdiff \| tree
2019-07-09	Justin Squirek	[Ada] Warning needed on anonymous access type allocators	commit \| commitdiff \| tree
2019-07-09	Ed Schonberg	[Ada] Crash/infinite loop on program with multiple...	commit \| commitdiff \| tree
2019-07-09	Hristian Kirtchev	[Ada] Elaboration order v4.0 and generic instantiations	commit \| commitdiff \| tree
2019-07-09	Piotr Trojanek	[Ada] Reformat comments	commit \| commitdiff \| tree
2019-07-09	Hristian Kirtchev	[Ada] Task-related circularities in Elaboration order...	commit \| commitdiff \| tree
2019-07-09	Piotr Trojanek	[Ada] Exp_Util: minor refactoring	commit \| commitdiff \| tree
2019-07-09	Arnaud Charlet	[Ada] Disable calls to Abort defer/undefer when ZCX_By_Default	commit \| commitdiff \| tree
2019-07-09	Javier Miranda	[Ada] Missing error on generic type with representation...	commit \| commitdiff \| tree
2019-07-09	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-09	Ed Schonberg	[Ada] Wrong resolution of equality operator with overloaded...	commit \| commitdiff \| tree
2019-07-09	Hristian Kirtchev	[Ada] Elaboration order v4.0 activation	commit \| commitdiff \| tree
2019-07-09	Eric Botcazou	[Ada] Missing escape of the double quote in JSON output	commit \| commitdiff \| tree
2019-07-09	Javier Miranda	[Ada] Missing runtime range checks with -gnatVa	commit \| commitdiff \| tree
2019-07-09	Yannick Moy	[Ada] Sinfo: refine comment for Do_Range_Check	commit \| commitdiff \| tree
2019-07-09	Yannick Moy	[Ada] Expand Enum_Rep attribute reference in GNATprove...	commit \| commitdiff \| tree
2019-07-09	Ed Schonberg	[Ada] Spurious error when instance of generic is used...	commit \| commitdiff \| tree
2019-07-09	Yannick Moy	[Ada] Prevent inconsistent state for inlining in GNATprove	commit \| commitdiff \| tree
2019-07-09	Yannick Moy	[Ada] Expand type of static expressions in GNATprove...	commit \| commitdiff \| tree
2019-07-09	Piotr Trojanek	[Ada] Reword "wild card" to "wildcard"	commit \| commitdiff \| tree
2019-07-09	Yannick Moy	[Ada] Handle implicit moves in SPARK ownership pointer...	commit \| commitdiff \| tree
2019-07-09	Piotr Trojanek	[Ada] Einfo: fix a typo	commit \| commitdiff \| tree
2019-07-09	Ed Schonberg	[Ada] Fix scopes for local variables in task/protected...	commit \| commitdiff \| tree
2019-07-09	Arnaud Charlet	[Ada] Set Dynamic_Elaboration_Checks to True in CodePeer...	commit \| commitdiff \| tree
2019-07-09	Yannick Moy	[Ada] Issue error on illegal ownership in SPARK	commit \| commitdiff \| tree
2019-07-09	Yannick Moy	[Ada] Fix ownership checking for pointers in SPARK	commit \| commitdiff \| tree
2019-07-09	Eric Botcazou	[Ada] Make -gnatRj output strictly conforming JSON	commit \| commitdiff \| tree
2019-07-09	Arnaud Charlet	[Ada] Update -fdump-ada-spec documentation	commit \| commitdiff \| tree
2019-07-08	Eric Botcazou	[Ada] Small overhaul in Repinfo unit	commit \| commitdiff \| tree
2019-07-08	Dmitriy Anisimkov	[Ada] GNAT.Serial_Communications: simplify the Serial_Port...	commit \| commitdiff \| tree
2019-07-08	Arnaud Charlet	[Ada] GNAT RM: Update documentation on No_Exceptions...	commit \| commitdiff \| tree
2019-07-08	Dmitriy Anisimkov	[Ada] Os_Lib: do not call __gnat_kill for Invalid_Pid	commit \| commitdiff \| tree
2019-07-08	Piotr Trojanek	[Ada] Remove dead code from Enclosing_Package_Or_Subprogram...	commit \| commitdiff \| tree
2019-07-08	Bob Duff	[Ada] Remove documentation of ignored GNATpp switch	commit \| commitdiff \| tree
2019-07-08	Hristian Kirtchev	[Ada] In-place initialization for Initialize_Scalars	commit \| commitdiff \| tree
2019-07-08	Javier Miranda	[Ada] Wrong evaluation of membership test	commit \| commitdiff \| tree
2019-07-08	Hristian Kirtchev	[Ada] Assertion failure on validity check for Address	commit \| commitdiff \| tree
2019-07-08	Hristian Kirtchev	[Ada] Diagnostics for Elaboration order v4.0	commit \| commitdiff \| tree
2019-07-08	Piotr Trojanek	[Ada] Set dummy Etype for the fake __HEAP entity in...	commit \| commitdiff \| tree
2019-07-08	Daniel Mercier	[Ada] Suppress warnings on memory representation in...	commit \| commitdiff \| tree
2019-07-08	Nicolas Roche	[Ada] Remove dependency on Win32 GDI (Graphical Interface)	commit \| commitdiff \| tree
2019-07-08	Doug Rupp	[Ada] New port for x86_64-vx7	commit \| commitdiff \| tree
2019-07-08	Dmitriy Anisimkov	[Ada] Use g-sercom__linux.adb for all Linuxes	commit \| commitdiff \| tree
2019-07-08	Yannick Moy	[Ada] Do not erase precise type on fixed-point real...	commit \| commitdiff \| tree
2019-07-08	Ed Schonberg	[Ada] Crash on timed entry call with a delay given...	commit \| commitdiff \| tree
2019-07-08	Hristian Kirtchev	[Ada] New algorithm for Elaboration order v4.0	commit \| commitdiff \| tree
2019-07-08	Bob Duff	[Ada] More data rates supported on Linux	commit \| commitdiff \| tree
2019-07-08	Olivier Hainque	[Ada] Arrange not to set DECL_ARTIFICIAL on elab procs	commit \| commitdiff \| tree
2019-07-08	Eric Botcazou	[Ada] Fix crash on extension of private type with ...	commit \| commitdiff \| tree
2019-07-08	Ed Schonberg	[Ada] Semantics of Delete for fixed strings	commit \| commitdiff \| tree
2019-07-08	Javier Miranda	[Ada] Crash in interface derivation with null primitive	commit \| commitdiff \| tree
2019-07-08	Bob Duff	[Ada] Document handling of preprocessor directives...	commit \| commitdiff \| tree
2019-07-08	Javier Miranda	[Ada] Code reorganization	commit \| commitdiff \| tree
2019-07-08	Ed Schonberg	[Ada] Crash on named actual in postcondition for generic...	commit \| commitdiff \| tree
2019-07-08	Javier Miranda	[Ada] Spurious error reported by pragma Compile_Time_Error	commit \| commitdiff \| tree
2019-07-08	Justin Squirek	[Ada] Crash on Image and Value attributes	commit \| commitdiff \| tree
2019-07-08	Dmitriy Anisimkov	[Ada] GNAT.Sockets: remove default level in Get/Set_Socket_O...	commit \| commitdiff \| tree
2019-07-08	Ed Schonberg	[Ada] Spurious visibility error on dynamic_predicate...	commit \| commitdiff \| tree
2019-07-05	Justin Squirek	[Ada] Incorrect accessibility check	commit \| commitdiff \| tree
2019-07-05	Ed Schonberg	[Ada] Compiler loop on illegal nested accept statement	commit \| commitdiff \| tree
2019-07-05	Hristian Kirtchev	[Ada] Stabilization of Elaboration order v4.0	commit \| commitdiff \| tree
2019-07-05	Joffrey Huguet	[Ada] Add contracts to Ada.Text_IO for SPARK	commit \| commitdiff \| tree
2019-07-05	Arnaud Charlet	[Ada] GNAT UGN: refresh doc on installing from the...	commit \| commitdiff \| tree
2019-07-05	Vasiliy Fofanov	[Ada] Ada.Wide_Wide_Characters.Handling: fix comments	commit \| commitdiff \| tree
2019-07-05	Eric Botcazou	[Ada] Fix internal error on packed array In/Out actual...	commit \| commitdiff \| tree
2019-07-05	Hristian Kirtchev	[Ada] Minor reformatting	commit \| commitdiff \| tree
2019-07-05	Ed Schonberg	[Ada] Fix position of subprogram body generated for...	commit \| commitdiff \| tree
2019-07-05	Hristian Kirtchev	[Ada] Crash on deallocating component with discriminated...	commit \| commitdiff \| tree
2019-07-05	Arnaud Charlet	[Ada] System.OS_Interface: fix link order on Linux	commit \| commitdiff \| tree
2019-07-05	Ed Schonberg	[Ada] Missing range check on assignment to bit-packed...	commit \| commitdiff \| tree
2019-07-05	Hristian Kirtchev	[Ada] Failure to detect trivial infinite recursion	commit \| commitdiff \| tree
2019-07-05	Arnaud Charlet	[Ada] System.Linux: fix typos in comments	commit \| commitdiff \| tree
2019-07-05	Hristian Kirtchev	[Ada] Failure to detect trivial infinite recursion	commit \| commitdiff \| tree
2019-07-05	Javier Miranda	[Ada] Wrong accessibility level under -gnat12	commit \| commitdiff \| tree
2019-07-05	Piotr Trojanek	[Ada] Typo fixes	commit \| commitdiff \| tree
2019-07-05	Bob Duff	[Ada] Crash on exported build-in-place function	commit \| commitdiff \| tree
2019-07-05	Ed Schonberg	[Ada] Spurious error on aggregate with choice that...	commit \| commitdiff \| tree
2019-07-05	Javier Miranda	[Ada] Removing support for SCIL "contract-only" subprogram...	commit \| commitdiff \| tree
2019-07-05	Pierre-Marie de...	[Ada] Import documentation from the RM for Ada.Strings... 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>	commit \| commitdiff \| tree
2019-07-05	Pierre-Marie de...	[Ada] Import documentation from the RM for Ada.Strings... 2019-07-05 Pierre-Marie de Rodat <derodat@adacore.com>	commit \| commitdiff \| tree
2019-07-05	Yannick Moy	[Ada] Accept compilation switches -Og/-Ofast in non...	commit \| commitdiff \| tree
next

RSS Atom