Public Git Hosting - official-gcc.git/search

2022-01-10	Arnaud Charlet	[Ada] Reduce runtime dependencies on stage1	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Switch from __sync to __atomic builtins for Lock_Free_...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Remove CodePeer annotations for pragma Loop_Variant	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Disable expansion of pragma Loop_Variant in CodePeer...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Fix typo in comment about unit families	commit \| commitdiff \| tree
2022-01-10	Eric Botcazou	[Ada] Adjust the alignment to the size for bit-packed...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Switch from __sync to __atomic builtins for atomic...	commit \| commitdiff \| tree
2022-01-10	Eric Botcazou	[Ada] Fix error on too large size clause for bit-packed...	commit \| commitdiff \| tree
2022-01-10	Justin Squirek	[Ada] Task arrays trigger spurious unreferenced warnings	commit \| commitdiff \| tree
2022-01-07	Patrick Bernardi	[Ada] Read directory in Ada.Directories.Start_Search...	commit \| commitdiff \| tree
2022-01-07	Etienne Servais	[Ada] Fix the check of the 'Old prefix	commit \| commitdiff \| tree
2022-01-07	Ghjuvan Lacambre	[Ada] Fix uses of pragma Unreferenced in MinGW runtime...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix layout of pragma Inline in generated AST...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix style in expansion of multi-dimensional array...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] More default initialization for multi-dim array...	commit \| commitdiff \| tree
2022-01-07	Javier Miranda	[Ada] Crash in class-wide pre/postconditions	commit \| commitdiff \| tree
2022-01-07	Etienne Servais	[Ada] Fix typo on "Placement" in comment	commit \| commitdiff \| tree
2022-01-07	Justin Squirek	[Ada] Cleanup and modification of unreferenced warnings	commit \| commitdiff \| tree
2022-01-07	Javier Miranda	[Ada] Spurious error caused by order of interfaces...	commit \| commitdiff \| tree
2022-01-07	Dmitriy Anisimkov	[Ada] Fix __gnat_kill on Windows	commit \| commitdiff \| tree
2022-01-07	Eric Botcazou	[Ada] Fix a couple of issues with pragma Inspection_Point	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove repeated routines for printing AST in...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Simplify traversal in hooking of transient scopes	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove extra space before THEN keywords	commit \| commitdiff \| tree
2022-01-07	Dmitriy Anisimkov	[Ada] Fix exit status of GNAT.Expect.Close call on...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove explicit expansion of block with general...	commit \| commitdiff \| tree
2022-01-07	Etienne Servais	[Ada] Update -gnatwr doc for import of parent package	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix comment about subprogram unnesting and unconstrain...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix inconsistent quoting in messages about compile...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Consistent suppression for warnings inside null...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove unnecessary guard for inserting non-empty...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove unnecessary guards for appending non-empty...	commit \| commitdiff \| tree
2022-01-07	Etienne Servais	[Ada] Check scalar range in arrays constructed by concatenation	commit \| commitdiff \| tree
2022-01-07	Bob Duff	[Ada] treepr: print value only for discrete types	commit \| commitdiff \| tree
2022-01-07	Richard Kenner	[Ada] Use non-internal representation for access subprograms...	commit \| commitdiff \| tree
2022-01-07	Bob Duff	[Ada] treepr: Print value of static expression	commit \| commitdiff \| tree
2022-01-07	Richard Kenner	[Ada] Add an option to Get_Fullest_View to not recurse	commit \| commitdiff \| tree
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
next

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

RSS Atom