git.ipfire.org Git - thirdparty/gcc.git/search

]> git.ipfire.org Git - thirdparty/gcc.git/search

projects / thirdparty / gcc.git / search

20 hours ago	Piotr Trojanek	ada: Allow use of writable parameters inside function...	commit \| commitdiff \| tree
20 hours ago	Piotr Trojanek	ada: Cleanup collecting of implicit outputs	commit \| commitdiff \| tree
20 hours ago	Piotr Trojanek	ada: Support writable parameters in Depends with side...	commit \| commitdiff \| tree
20 hours ago	Piotr Trojanek	ada: Deconstruct support for abstract states with Relaxed_In...	commit \| commitdiff \| tree
20 hours ago	Piotr Trojanek	ada: Replace redundant conditions with assertions	commit \| commitdiff \| tree
20 hours ago	Piotr Trojanek	ada: Fix missing associated node for packed array itypes	commit \| commitdiff \| tree
2024-04-15	Piotr Trojanek	ada: Add documentation for Exceptional_Cases	commit \| commitdiff \| tree
2024-01-09	Piotr Trojanek	ada: Remove side effects depending on the context of...	commit \| commitdiff \| tree
2024-01-09	Piotr Trojanek	ada: More aggressive inlining of subprogram calls in...	commit \| commitdiff \| tree
2024-01-09	Piotr Trojanek	ada: Remove dead detection of recursive inlined subprograms	commit \| commitdiff \| tree
2024-01-09	Piotr Trojanek	ada: Remove dead code for GNATprove inlining	commit \| commitdiff \| tree
2024-01-09	Piotr Trojanek	ada: Fix uses of not Present	commit \| commitdiff \| tree
2024-01-09	Piotr Trojanek	ada: Document new SPARK aspect and pragma Always_Terminates	commit \| commitdiff \| tree
2023-12-19	Piotr Trojanek	ada: Fix style and typos in comments	commit \| commitdiff \| tree
2023-12-19	Piotr Trojanek	ada: Remove unreferenced utility routine Get_Logical_Line_Nu...	commit \| commitdiff \| tree
2023-12-19	Piotr Trojanek	ada: Ignore unconstrained components as inputs for...	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Fix expansion of type aspects with handling of...	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Cleanup "not Present" on List_Id	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Cleanup more "not Present"	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Remove duplicated code for expansion of packed...	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Simplify expansion of packed array assignments	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Fix extra whitespace after END keywords	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Avoid extra conversion in expansion of packed...	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Simplify handling of known values in expansion...	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Change local variables to constants in expansion...	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Fix style in declaration of routine for expansion...	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Cleanup getting of actual subtypes	commit \| commitdiff \| tree
2023-11-07	Piotr Trojanek	ada: Fix handling of actual subtypes for expanded names	commit \| commitdiff \| tree
2023-10-19	Piotr Trojanek	ada: Simplify "not Present" with "No"	commit \| commitdiff \| tree
2023-09-15	Piotr Trojanek	ada: Explicitly analyze and expand null array aggregates	commit \| commitdiff \| tree
2023-09-05	Piotr Trojanek	ada: Remove redundant protection against empty list	commit \| commitdiff \| tree
2023-09-05	Piotr Trojanek	ada: Add guard before querying the type for its interfaces	commit \| commitdiff \| tree
2023-09-05	Piotr Trojanek	ada: Remove redundant guard against an empty list of...	commit \| commitdiff \| tree
2023-08-07	Piotr Trojanek	ada: Extend precondition of Interfaces.C.String.Value...	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Add guard for detection of class-wide precondition...	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Leave detection of missing return in functions...	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Fix typo in comment of Ada.Exceptions.Save_Occurrence	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Allow calls to Number_Formals when no formals...	commit \| commitdiff \| tree
2023-07-28	Piotr Trojanek	ada: Improve defense against illegal code in check...	commit \| commitdiff \| tree
2023-06-20	Piotr Trojanek	ada: Fix for attribute Range in Exceptional_Cases	commit \| commitdiff \| tree
2023-06-20	Piotr Trojanek	ada: Fix for quantified expressions in Exceptional_Cases	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Accept aspect Always_Terminates on packages	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Accept aspect Always_Terminates on entries	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Reject aspect Always_Terminates on functions and...	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Accept aspect Always_Terminates without expression	commit \| commitdiff \| tree
2023-06-15	Piotr Trojanek	ada: Cleanup analysis of iterated component association	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Fix decoration of iterated component association...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Recognize iterated_component_association as repeatedly...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Recognize iterated_component_association as potentially...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Disable inlining in potentially unevaluated contexts	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Implement new aspect Always_Terminates for SPARK	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Skip elaboration checks for abstract subprograms...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove unreferenced routine Is_Inherited_Operation_For_Type	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove wrong comment about expansion of exceptions...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Cleanup finding of locally handled exception handlers	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Cleanup expansion of locally handled exception...	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Tune style in detection of writable function actuals	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Simplify appending to a newly created list	commit \| commitdiff \| tree
2023-06-13	Piotr Trojanek	ada: Remove explicit decoration of wrapper created...	commit \| commitdiff \| tree
2023-05-30	Piotr Trojanek	ada: Only build access-to-subprogram wrappers when...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Fix crash on semi-recursive call in access-to...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Attach pre/post on access-to-subprogram to internal...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Remove extra whitespace from FOR loops	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Cleanup detection of type support subprogram entities	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Accept parameters of enclosing subprograms in...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Allow attributes like First and Last to be read...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Reuse routine for getting from body entity to...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Fix retrieval of spec entity from entry body entity	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Restore parent link for both lists and nodes in...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Tune message for missing 'Result in Contract_Cases	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Simplify removal of formals from the scope	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Tune message for pre/post on access-to-subprogram...	commit \| commitdiff \| tree
2023-05-29	Piotr Trojanek	ada: Analyze pre/post on access-to-subprogram without...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Remove redundant guard against empty lists	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Simplify expansion of set membership	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Cleanup expansion of membership operators into...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Remove leftover code for counting protected entries	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Fix detection of non-static expressions in records...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Simplify iteration over record component items...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Fix handling of Global contracts inside generic...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Tune detection of expression functions within...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Cleanups in handling of aggregates	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Fix iteration over component items with pragmas	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Remove redundant guards from handling of record...	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Use context variables in expansion of aggregates	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Simplify expansion of positional aggregates	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Refine types for an accessibility-checking routine	commit \| commitdiff \| tree
2023-05-26	Piotr Trojanek	ada: Clean style in expansion of array aggregates	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Expect Exceptional_Cases as a context for attribute Old	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Use procedural variant of Next_Index where possible	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Fix copying of quantified expressions	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Deconstruct a no longer used parameter of New_Copy_Tree	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Clean up copying of node trees	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Simplify copying of node lists	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Remove unused initial value of a local variable	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Prevent search of calls in preconditions from...	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Fix comments for recently added SPARK aspects	commit \| commitdiff \| tree
2023-05-25	Piotr Trojanek	ada: Add missing supportive code for recently added...	commit \| commitdiff \| tree
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom