Public Git Hosting - official-gcc.git/search

2022-01-07	Bob Duff	[Ada] Warn on import of parent package	commit \| commitdiff \| tree
2022-01-07	Bob Duff	[Ada] Small cleanup of osint-m.adb	commit \| commitdiff \| tree
2022-01-06	Bob Duff	[Ada] Warn on subtype declaration of null range	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove unnecessary declare block	commit \| commitdiff \| tree
2022-01-06	Yannick Moy	[Ada] Proof of System.Generic_Array_Operations at silver...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Simplify traversal for removing warnings from...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove a locally handled exception	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Move messages on division by zero to the right...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove unnecessary guards for non-empty lists	commit \| commitdiff \| tree
2022-01-06	Etienne Servais	[Ada] Fix typo on compatibility	commit \| commitdiff \| tree
2022-01-06	Eric Botcazou	[Ada] Fix regression in freezing code for instantiations	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove unreferenced Warn_On_Instance	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Fix style in comments about warning messages	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Simplify type conversions in source pointer arithmetic	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Refactor repeated implicit conversion from Char_Code...	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Fix style in calls to Compile_Time_Constraint_Error	commit \| commitdiff \| tree
2022-01-06	Eric Botcazou	[Ada] Fix spurious error on instantiation with Text_IO...	commit \| commitdiff \| tree
2022-01-06	Steve Baird	[Ada] Avoid building malformed component constraints	commit \| commitdiff \| tree
2022-01-06	Steve Baird	[Ada] Avoid building malformed component constraints	commit \| commitdiff \| tree
2022-01-06	Etienne Servais	[Ada] Fix typo in comments found running aspell	commit \| commitdiff \| tree
2022-01-06	Justin Squirek	[Ada] Spurious error when using current instance of...	commit \| commitdiff \| tree
2022-01-06	Bob Duff	[Ada] New restriction No_Tagged_Type_Registration	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Remove duplicates of empty strings	commit \| commitdiff \| tree
2022-01-06	Eric Botcazou	[Ada] Rename Any_Access into Universal_Access	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Suppress spurious CodePeer check on generic actual...	commit \| commitdiff \| tree
2022-01-06	Yannick Moy	[Ada] Justify false positive message from CodePeer...	commit \| commitdiff \| tree
2022-01-06	Justin Squirek	[Ada] Removal of technical debt	commit \| commitdiff \| tree
2022-01-06	Javier Miranda	[Ada] Crash in class-wide pre/postconditions	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Simplify repeated calls in printing of GNAT AST	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Simplify GNAT AST printing with simple GNAT hash...	commit \| commitdiff \| tree
2022-01-06	Yannick Moy	[Ada] Proof of runtime unit for non-binary modular...	commit \| commitdiff \| tree
2022-01-06	Yannick Moy	[Ada] Proof of runtime units for binary modular exponentiation	commit \| commitdiff \| tree
2022-01-05	Steve Baird	[Ada] Improve support for casing on types with controlled...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Simplify detection of alphabetic characters with...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Expand controlling function wrapper into expression...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Expand controlling functions wrappers in GNATprove...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Use Add_Char_To_Name_Buffer for 1-character strings	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Simplify calls to Name_Find with known string...	commit \| commitdiff \| tree
2022-01-05	Bob Duff	[Ada] Compiler crash with -gnatR2 and with of child	commit \| commitdiff \| tree
2022-01-05	Marc Poulhiès	[Ada] Remove obsolete s-sopco* and s-strops units	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove extra whitespace in declarations and parameters...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove explicit "in" in internal parameter association	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Align arrows in parameter associations	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove extra space in parameter associations	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Fix layout of parameters in calls to Predef_Spec_Or_Body	commit \| commitdiff \| tree
2022-01-05	Etienne Servais	[Ada] Fix condition to build subtype for discriminated...	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Add contracts for the proof of System.Arith_128	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Simplify handling of user-defined numeric literals	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Proof of runtime units for integer exponentiation...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove unnecessary check for missing parameter...	commit \| commitdiff \| tree
2022-01-05	Claire Dross	[Ada] Introduce expression functions for contract of...	commit \| commitdiff \| tree
2022-01-05	Bob Duff	[Ada] Prevent Get_Current_Value_Condition from returning...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Simplify making of null procedure wrappers	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Proof of runtime units for integer exponentiation...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Remove redundant code related to instances with...	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Fix sharing of formal parameters between wrapper...	commit \| commitdiff \| tree
2022-01-05	Bob Duff	[Ada] Renamed_Entity should return Entity_Id	commit \| commitdiff \| tree
2022-01-05	Piotr Trojanek	[Ada] Deconstruct dead wrappers added for external...	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Rename parameter-dependent constants in generic...	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Fix lemma in generic unit System.Arith_Double	commit \| commitdiff \| tree
2022-01-05	Marc Poulhiès	[Ada] Remove Compiler_Unit[_Warning] pragmas	commit \| commitdiff \| tree
2022-01-05	Arnaud Charlet	[Ada] Reduce runtime dependencies on stage1	commit \| commitdiff \| tree
2021-12-02	Eric Botcazou	[Ada] Add warning in comment about files copied from...	commit \| commitdiff \| tree
2021-12-02	Marc Poulhiès	[Ada] Remove obsolete a-assert	commit \| commitdiff \| tree
2021-12-02	Eric Botcazou	[Ada] Do not back-annotate maximum size for limited...	commit \| commitdiff \| tree
2021-12-02	Eric Botcazou	[Ada] Fix packing for array component with discriminated...	commit \| commitdiff \| tree
2021-12-02	Justin Squirek	[Ada] Invalid memory access on finalization of class...	commit \| commitdiff \| tree
2021-12-02	Eric Botcazou	[Ada] Fix oversight in minor cleanup	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of System.Arith_32 for double arithmetic...	commit \| commitdiff \| tree
2021-12-02	Eric Botcazou	[Ada] Reset internal flags for -gnatD and -gnatG	commit \| commitdiff \| tree
2021-12-02	Marc Poulhiès	[Ada] Fix obsolete array aggregate warning being triggered...	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Amend proof of System.Arith_Double to remove...	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Add pragma Annotate for CodePeer analysis	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of support units for 'Width on signed integers	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Cleanup detection of suspension objects	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Cleanup insertion of single freezing actions	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Cleanups related to expansion of dispatching...	commit \| commitdiff \| tree
2021-12-02	Marc Poulhiès	[Ada] Use bracket aggregates in Ada2022	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Inline all calls in Ada.Task_Identification	commit \| commitdiff \| tree
2021-12-02	Eric Botcazou	[Ada] Enhance freezing code for instantiations	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Enable expansion of dispatching equality for...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Separate building of equality from other dispatching...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Split spec and body of expression function with...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Remove extra space after assignment symbol	commit \| commitdiff \| tree
2021-12-02	Richard Kenner	[Ada] Don't allow entry in implicit with chain to be...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Simplify iteration over record components	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Refactor nested loops in warning on unassigned...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Remove duplicated condition in warnings about...	commit \| commitdiff \| tree
2021-12-02	Doug Rupp	[Ada] vx7r2cert/light-tasking-rtp: undefined refs on...	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of Interfaces.C with SPARK	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] Add contract to Ada.Task_Identification.Activation_Is_...	commit \| commitdiff \| tree
2021-12-02	Piotr Trojanek	[Ada] More intuitive names in sanity-checking of derived...	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of System.Val_Util utilities for 'Value...	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of Boolean'Image and Boolean'Value	commit \| commitdiff \| tree
2021-12-02	Pascal Obry	[Ada] Fix possible memory corruption for hostnames...	commit \| commitdiff \| tree
2021-12-02	Pascal Obry	[Ada] Minor style fix (no dot on single line comment)	commit \| commitdiff \| tree
2021-12-01	Eric Botcazou	[Ada] Fix incorrect fixed-point computation in expression...	commit \| commitdiff \| tree
2021-12-01	Piotr Trojanek	[Ada] Tune whitespace of the bounded lists Aggregate...	commit \| commitdiff \| tree
2021-12-01	Gary Dismukes	[Ada] Allow formal functions to have a default in the...	commit \| commitdiff \| tree
2021-12-01	Eric Botcazou	[Ada] Do not return freeze nodes for start of early...	commit \| commitdiff \| tree
next

Mirror of the offical gcc git repository hosted at gcc.gnu.org

RSS Atom