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

2020-10-23	Philippe Gil	[Ada] GNAT.Sockets: fix comment typo	commit \| commitdiff \| tree
2020-10-23	Eric Botcazou	[Ada] Implement new legality rules introduced in C...	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Clean up in writing of ALI files	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Fix logic in C_Select under mingw	commit \| commitdiff \| tree
2020-10-23	Eric Botcazou	[Ada] Do not use Long_Long_Long_Integer'Image with...	commit \| commitdiff \| tree
2020-10-23	Ed Schonberg	[Ada] Crash on expression function and access type	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix crash in SPARK on array delta_aggregate with...	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Decorate iterated_component_association in SPARK...	commit \| commitdiff \| tree
2020-10-23	Johannes Kanig	[Ada] GNATprove: remove support for external axiomatizations	commit \| commitdiff \| tree
2020-10-23	Ed Schonberg	[Ada] Ignore container types for aggregates if not...	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Improve documentation of pragma Abort_Defer	commit \| commitdiff \| tree
2020-10-23	Ghjuvan Lacambre	[Ada] CUDA: fix CUDA_Execute not working with aggregates	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Error when closing c_stream	commit \| commitdiff \| tree
2020-10-23	Ghjuvan Lacambre	[Ada] CUDA: Use internal types instead of public ones	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Missing detection of unused with_clause	commit \| commitdiff \| tree
2020-10-23	Ed Schonberg	[Ada] Prevent copying uninitialized array with address...	commit \| commitdiff \| tree
2020-10-23	Javier Miranda	[Ada] Spurious errors on tagged types with renamed...	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix scope of index parameter inside a delta aggregate	commit \| commitdiff \| tree
2020-10-23	Gary Dismukes	[Ada] Better error for illegal call to abstract operation...	commit \| commitdiff \| tree
2020-10-23	Eric Botcazou	[Ada] Always enable the support for 128-bit integer...	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Update header of front-end files	commit \| commitdiff \| tree
2020-10-23	Arnaud Charlet	[Ada] Take advantage of Long_Long_Long_Integer in From_String	commit \| commitdiff \| tree
2020-10-23	Justin Squirek	[Ada] Iterative patch for accessibility cleanup	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Sync code for external properties with SPARK RM	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix whitespace in code for external property...	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix default value for re-analysis of external...	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Enable the support of 128-bit integer types by...	commit \| commitdiff \| tree
2020-10-22	Javier Miranda	[Ada] ACATS 4.1H - B853001 - missed errors for renamed...	commit \| commitdiff \| tree
2020-10-22	Ghjuvan Lacambre	[Ada] CUDA: discover runtime types instead of hard...	commit \| commitdiff \| tree
2020-10-22	Arnaud Charlet	[Ada] Add more annotations and assertions in the runtime	commit \| commitdiff \| tree
2020-10-22	Arnaud Charlet	[Ada] Update annotations for codepeer analysis on GNAT...	commit \| commitdiff \| tree
2020-10-22	Steve Baird	[Ada] AI12-0211: Consistency of inherited nonoverridable...	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Update the head comment of Check_Compile_Time_Size	commit \| commitdiff \| tree
2020-10-22	Richard Kenner	[Ada] Allow use of debug routines when output is going...	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Minor fix in GNAT RM	commit \| commitdiff \| tree
2020-10-22	Steve Baird	[Ada] Implement AI12-0280's interactions with container...	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Get rid of useless if-then-else in Exp_Fixd.Fpt_Value	commit \| commitdiff \| tree
2020-10-22	Ed Schonberg	[Ada] Ada_2020 AI12-0250: Iterator filters in Iterated_Eleme...	commit \| commitdiff \| tree
2020-10-22	Ghjuvan Lacambre	[Ada] Fix parser not detecting casing issues in keywords	commit \| commitdiff \| tree
2020-10-22	Justin Squirek	[Ada] Wrong accessibility for conversion to named access	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Adjust documentation for Has_Constrained_Partial_View...	commit \| commitdiff \| tree
2020-10-22	Gary Dismukes	[Ada] AI12-0095 Formal types and Constrained Partial...	commit \| commitdiff \| tree
2020-10-22	Steve Baird	[Ada] Implement AI12-0030: Stream attribute availability	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Fix bogus error on conversion from Float to 128...	commit \| commitdiff \| tree
2020-10-22	Justin Squirek	[Ada] Reimplementation of accessibility checking	commit \| commitdiff \| tree
2020-10-22	Piotr Trojanek	[Ada] Refactor appending to possibly empty lists	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Minor fixes in GNAT RM	commit \| commitdiff \| tree
2020-10-22	Piotr Trojanek	[Ada] Reduce scope of local variables for detecting...	commit \| commitdiff \| tree
2020-10-22	Patrick Bernardi	[Ada] Add No_Implicit_Task_Allocations and No_Implicit_PO_Al...	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Build support units for 128-bit integer types...	commit \| commitdiff \| tree
2020-10-22	Ghjuvan Lacambre	[Ada] Fix error message for import aspect	commit \| commitdiff \| tree
2020-10-22	Ghjuvan Lacambre	[Ada] Fix transformation of Suppress aspect into pragma	commit \| commitdiff \| tree
2020-10-22	Ed Schonberg	[Ada] Ada_2020: ongoing work for aggregates for bounded...	commit \| commitdiff \| tree
2020-10-22	Eric Botcazou	[Ada] Fix oversight in Eval_Attribute for Bit_Position	commit \| commitdiff \| tree
2020-10-22	Ed Schonberg	[Ada] AI12-0307: uniform resolution rules for aggregates	commit \| commitdiff \| tree
2020-10-22	Piotr Trojanek	[Ada] Cleanup repeated code in checks for unused WITH...	commit \| commitdiff \| tree
2020-10-21	Eric Botcazou	[Ada] Support of the Ada.Text_IO hierarchy for 128...	commit \| commitdiff \| tree
2020-10-21	Eric Botcazou	[Ada] Fix problematic placement of freeze node after...	commit \| commitdiff \| tree
2020-10-21	Steve Baird	[Ada] Implement missing function result finalization.	commit \| commitdiff \| tree
2020-10-21	Eric Botcazou	[Ada] Support of attributes Image, Put_Image, Val and...	commit \| commitdiff \| tree
2020-10-21	Eric Botcazou	[Ada] Work around missing Long_Long_Long_Size entry...	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Fix analysis of iterated component expression...	commit \| commitdiff \| tree
2020-10-21	Eric Botcazou	[Ada] Basic support for 128-bit types	commit \| commitdiff \| tree
2020-10-21	Eric Botcazou	[Ada] Document Long_Long_Long_Integer in implementation...	commit \| commitdiff \| tree
2020-10-21	Yannick Moy	[Ada] Fix target configuration file used for CodePeer...	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Refactor repeated calls to Etype in aggregate...	commit \| commitdiff \| tree
2020-10-21	Dmitriy Anisimkov	[Ada] Fix bootstrap with old GCC	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Fix crash on illegal OTHERS in iterated_component_asso...	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Use index parameter for iterated_component_association	commit \| commitdiff \| tree
2020-10-21	Javier Miranda	[Ada] Wrong detection of potentially blocking call...	commit \| commitdiff \| tree
2020-10-21	Liaiss Merzougue	[Ada] Codepeer remarks take into account	commit \| commitdiff \| tree
2020-10-21	Gary Dismukes	[Ada] Compiler crash on prefixed call to controlled...	commit \| commitdiff \| tree
2020-10-21	Eric Botcazou	[Ada] Fix bogus error for bit-packed array with volatile...	commit \| commitdiff \| tree
2020-10-21	Dmitriy Anisimkov	[Ada] Improve precision of Ada.Directories.Modification_Time	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Fix crash with iterated_component_association...	commit \| commitdiff \| tree
2020-10-21	Javier Miranda	[Ada] Spurious error in current instance used as formal...	commit \| commitdiff \| tree
2020-10-21	Doug Rupp	[Ada] Remove -mthreads from Linker_Options pragma for...	commit \| commitdiff \| tree
2020-10-21	Patrick Bernardi	[Ada] Use VxWorks 7 APIs for accessing environment...	commit \| commitdiff \| tree
2020-10-21	Eric Botcazou	[Ada] Use helper function in Freeze_Subprogram_Body	commit \| commitdiff \| tree
2020-10-21	Justin Squirek	[Ada] Incorrect associations for extra accessibility...	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Make minimum accessibility level a constant object	commit \| commitdiff \| tree
2020-10-21	Patrick Bernardi	[Ada] Simplify the VxWorks implementation of __gnat_environ	commit \| commitdiff \| tree
2020-10-21	Ghjuvan Lacambre	[Ada] Disable warnings on entities when building finalizers	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Fix typos and style in comments related to Default_Ini...	commit \| commitdiff \| tree
2020-10-21	Javier Miranda	[Ada] Spurious error in taft ammendment derivation...	commit \| commitdiff \| tree
2020-10-21	Claire Dross	[Ada] Raise Capacity_Error on formal vector insertion	commit \| commitdiff \| tree
2020-10-20	Piotr Trojanek	[Ada] Refine type for type constraining routines	commit \| commitdiff \| tree
2020-10-20	Piotr Trojanek	[Ada] Prevent crashes when pretty-printing freeze nodes...	commit \| commitdiff \| tree
2020-10-20	Ed Schonberg	[Ada] AI12-0339: Empty function for Aggregate aspect...	commit \| commitdiff \| tree
2020-10-20	Arnaud Charlet	[Ada] Add support for Unreferenced aspect on formal...	commit \| commitdiff \| tree
2020-10-20	Piotr Trojanek	[Ada] Refine result type of Get_Accessibility	commit \| commitdiff \| tree
2020-10-20	Piotr Trojanek	[Ada] Replace low-level Ekind membership tests with...	commit \| commitdiff \| tree
2020-10-20	Steve Baird	[Ada] Implement AI12-0280 Making 'Old more flexible	commit \| commitdiff \| tree
2020-10-20	Javier Miranda	[Ada] Spurious error in current instance used as formal...	commit \| commitdiff \| tree
2020-10-20	Claire Dross	[Ada] Make attribute Update an obsolescent feature	commit \| commitdiff \| tree
2020-10-20	Richard Kenner	[Ada] CUDA: build procedure calls instead of function...	commit \| commitdiff \| tree
2020-10-20	Justin Squirek	[Ada] Crash on cond expression as actual for anonymous...	commit \| commitdiff \| tree
2020-10-20	Yannick Moy	[Ada] Fixes for pretty command-line GNATprove output...	commit \| commitdiff \| tree
2020-10-20	Justin Squirek	[Ada] Hang on cond expression as actual for anonymous...	commit \| commitdiff \| tree
2020-10-20	Bob Duff	[Ada] gnatpp: Fix documentation of threshold switches	commit \| commitdiff \| tree
next

RSS Atom