Public Git Hosting - official-gcc.git/search

2022-05-11	Piotr Trojanek	[Ada] Fix unbalanced paren in documentation marker...	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix style of body header boxes	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Detect infinite loops with operators in exit...	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Update categorization of implementation restrictions	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix "S p e c" and "B o d y" file headers	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix formatting glitches in GNAT User's Guide	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Use pygments for Ada code examples of elaboration...	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Reset Reachable field when mutating label into...	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix layout of tables in PDF version of GNAT RM	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix layout in description of aspects and pragmas	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix markup in description of implementation-defined...	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Fix markup in description of pragma Eliminate	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Add guard for making only legal labels unreachable	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Document pragma Ada_2022	commit \| commitdiff \| tree
2022-05-11	Piotr Trojanek	[Ada] Move Reachable flag to E_Label entities	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Simplify call to overloaded Earlier_In_Extended_Unit	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Remove repeated conversions between Source_Ptr...	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Fix style in resolution of expression with actions	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Reuse Is_Rewrite_Substitution where possible	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Cleanup detection of No_Elist with No and Present	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Prevent search for references in postconditions...	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Remove tiny and incomplete optimization for unset...	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Cleanup unnecessary declare block in Check_Unreachable...	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Refine iteration from entities to formals	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Check declare and qualified expressions for unset...	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Check if- and case-expressions for unset references	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Avoid repeated conversions from Int to Char_Code	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Replace variables with constants in expanded...	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Fix comment about building names in task arrays	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Simplify conversion from Character to Char_Code	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Raise Constraint_Error when converting negative...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Simplify conversions from Uint to Char_Code	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove extra space around binary operators	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove CodePeer annotations for pragma Loop_Variant	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Prevent inlining-for-proof for calls inside ELSIF...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove redundant guards for empty list	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Fix indentation of "Start of processing for ...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Refine description of SPARK with static Boolean...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Allow Big_Integer in loop and subprogram variants	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Add utility to preanalyze assert expression without...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove repeated analysis of attribute prefixes	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove redundant call to Set_Etype for attribute...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove doubly-negated tests for empty lists	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unreferenced CCG-specific routine Insert_Declar...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Avoid redundant checks for empty lists	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove name constant used by GNATprove but not...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Reduce scope of declare block in analysis of...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Balance parentheses in comments about allocators	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unreferenced name constants	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Deconstruct a VMS utility routine which is only...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unnecessary block in code for expansion...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Reuse Make_Temporary where possible	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Simplify construction of messages about configurable...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove redundant initialization of Test_And_Set_Flag...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Tune inconsistent message about fixed-lower-bound...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove extra space in single object declarations	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove warnings-as-errors about constraints error...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Escalate pre-continuation messages from warnings...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Use atomic builtins for atomic counters on x86...	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	Piotr Trojanek	[Ada] Switch from __sync to __atomic builtins for atomic...	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	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	Piotr Trojanek	[Ada] Remove explicit expansion of block with general...	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-06	Piotr Trojanek	[Ada] Remove unnecessary declare block	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	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	Piotr Trojanek	[Ada] Remove duplicates of empty strings	commit \| commitdiff \| tree
2022-01-06	Piotr Trojanek	[Ada] Suppress spurious CodePeer check on generic actual...	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-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	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
next

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

RSS Atom