Public Git Hosting - official-gcc.git/search

2023-05-23	Eric Botcazou	ada: Fix minor address arithmetic issues in System...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix oversight in latest change	commit \| commitdiff \| tree
2023-05-23	Raphael Amiard	ada: Reorganize documentation of GNAT experimental...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix resolution of mod operator of System.Storage_Elements	commit \| commitdiff \| tree
2023-05-23	Vadim Godunko	ada: Remove unnecessary call to Detach.	commit \| commitdiff \| tree
2023-05-23	Ronan Desplanques	ada: Fix reference to Ada issue in comment	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix address arithmetic issues in the expanded...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix address arithmetic issues in the runtime	commit \| commitdiff \| tree
2023-05-23	Steve Baird	ada: A discriminant of a variable is not a variable	commit \| commitdiff \| tree
2023-05-23	Yannick Moy	ada: Add default value at initialization for CodePeer	commit \| commitdiff \| tree
2023-05-23	Yannick Moy	ada: Facilitate proof of Interfaces.C.To_Ada	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Remove the body of System.Storage_Elements	commit \| commitdiff \| tree
2023-05-23	Javier Miranda	ada: Spurious errors on class-wide preconditions of...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Turn assertions into defensive code in error locations	commit \| commitdiff \| tree
2023-05-23	Ronan Desplanques	ada: Add mention of what LSP stands for	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Fix endings of pretty-printed numeric literals	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix internal error on quantified expression with...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Fix bogus error on predicated limited record declared...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Sync different variants of interrupt handler registration	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Revert to old pretty-printing of internal entities...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Ignore accessibility actuals in expression pretty...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Remove special-case for parentheses in expansion...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Transfer fix for pretty-printed parentheses from...	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Fix expression pretty-printer for SPARK counterexamples	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Suppress warning about Subprogram_Variant failing...	commit \| commitdiff \| tree
2023-05-23	Eric Botcazou	ada: Small code cleanup	commit \| commitdiff \| tree
2023-05-23	Piotr Trojanek	ada: Minor fix typo in comment	commit \| commitdiff \| tree
2023-05-23	Ronan Desplanques	ada: Remove duplicate comment	commit \| commitdiff \| tree
2023-05-23	Javier Miranda	ada: Crash on dispatching primitive referencing limited...	commit \| commitdiff \| tree
2023-05-22	Ronan Desplanques	ada: Reuse idiomatic procedure in CStand	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Avoid repeated calls when looking for first/last...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Small cleanup in support for protected subprograms	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Use idiomatic construct in Expand_N_Package_Body	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix source location for crashes in expanded Loop_Entry...	commit \| commitdiff \| tree
2023-05-22	Ronan Desplanques	ada: Add missing word in comment	commit \| commitdiff \| tree
2023-05-22	Justin Squirek	ada: Incorrect constant folding in postcondition involving...	commit \| commitdiff \| tree
2023-05-22	Marc Poulhiès	ada: Fix crash caused by incorrect expansion of iterated...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix missing finalization in separate package body	commit \| commitdiff \| tree
2023-05-22	Ronan Desplanques	ada: Remove outdated part of comment	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix missing finalization in library-unit instance...	commit \| commitdiff \| tree
2023-05-22	Bob Duff	ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix spurious freezing error on nonabstract null...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Further fixes to GNATprove and CodePeer expression...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Cleanup redundant condition in resolution of entity...	commit \| commitdiff \| tree
2023-05-22	Bob Duff	ada: Add Is_Past_Self_Hiding_Point flag	commit \| commitdiff \| tree
2023-05-22	Steve Baird	ada: Accept Assert pragmas in expression functions	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Add warning on frontend inlining of Subprogram_Variant	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix spurious warning on Inline_Always and contracts	commit \| commitdiff \| tree
2023-05-22	Arnaud Charlet	ada: Improve -gnatyx style check	commit \| commitdiff \| tree
2023-05-22	Arnaud Charlet	ada: Remove extra parentheses	commit \| commitdiff \| tree
2023-05-22	Arnaud Charlet	ada: Remove a remaining reference to ?	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Remove redundant protection against empty lists	commit \| commitdiff \| tree
2023-05-22	Claire Dross	ada: Support calls through dereferences in Find_Actual	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Remove unreferenced utility routine Is_Actual_Tagged_Pa...	commit \| commitdiff \| tree
2023-05-22	Joffrey Huguet	ada: Add contracts to Ada.Strings.Unbounded library	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix crash on Ada.Containers with No_Dispatching_Calls...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Implement conversions from Big_Integer to large...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix error and crash on imported function with...	commit \| commitdiff \| tree
2023-05-22	Steve Baird	ada: Reject illegal declarations in expression functions	commit \| commitdiff \| tree
2023-05-22	Steve Baird	ada: Better error message if non-Ada2022 code declares...	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix double finalization in conditional exit statement	commit \| commitdiff \| tree
2023-05-22	Eric Botcazou	ada: Fix handling of constrained array declarations...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Fix traversal for the rightmost node of a pretty...	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Restrict expression pretty-printer to subexpressions	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Don't pretty-print DEL within expression images	commit \| commitdiff \| tree
2023-05-22	Piotr Trojanek	ada: Update Controlling_Argument when copying trees	commit \| commitdiff \| tree
2023-05-22	Bob Duff	ada: update Ada_Version_Type in fe.h to match opt.ads	commit \| commitdiff \| tree
2023-05-22	Bob Duff	ada: prevent infinite recursion in Collect_Types_In_Hierarchy	commit \| commitdiff \| tree
2023-05-16	Steve Baird	ada: Add "gnat --help-ada" text for new switches.	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Use accumulator type in expansion of 'Reduce attribute	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Fix missing warning on aggregate with iterated...	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Fix crash on iterated component in expression...	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Fix internal error on 'Image applied to array...	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Fix internal error on chain of predicated record...	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Update proof of runtime units	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Implement inheritance of user-defined literal...	commit \| commitdiff \| tree
2023-05-16	Javier Miranda	ada: Spurious error analyzing 'old or 'result in class...	commit \| commitdiff \| tree
2023-05-16	Javier Miranda	ada: Spurious error on function returning CPP type	commit \| commitdiff \| tree
2023-05-16	Piotr Trojanek	ada: Apply range checks to preanalyzed aggregate expressions	commit \| commitdiff \| tree
2023-05-16	Ghjuvan Lacambre	ada: usage.adb: document -gnatyD switch	commit \| commitdiff \| tree
2023-05-16	Marc Poulhiès	ada: Fix Ada representation of r_debug and link_map...	commit \| commitdiff \| tree
2023-05-16	Johannes Kliemann	ada: Enable Support_Atomic_Primitives on PPC Linux	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Follow-up improvement to implementation of storage...	commit \| commitdiff \| tree
2023-05-16	Arnaud Charlet	ada: Add tags on style messages	commit \| commitdiff \| tree
2023-05-16	Tom Tromey	ada: Fix typo in "pattern"	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Adjust semantics and implementation of storage...	commit \| commitdiff \| tree
2023-05-16	Piotr Trojanek	ada: Build invariant procedure while freezing in GNATprove...	commit \| commitdiff \| tree
2023-05-16	Richard Kenner	ada: Get name from entity if that's what's passed to...	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Document examples of No_Dependence restriction...	commit \| commitdiff \| tree
2023-05-16	Arnaud Charlet	ada: Bad handling of ASCII with -gnatyn	commit \| commitdiff \| tree
2023-05-16	Eric Botcazou	ada: Introduce Cannot_Be_Superflat flag on N_Range...	commit \| commitdiff \| tree
2023-05-16	Richard Kenner	ada: Change Present_Expr field type to Uint	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Simplify dramatically ghost code for proof of...	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Add intermediate assertions for proof of Super_Tail	commit \| commitdiff \| tree
2023-05-16	Arnaud Charlet	ada: Missing dependency with -gnatc	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Set Loop_Variant assertion policy to Ignore in...	commit \| commitdiff \| tree
2023-05-16	Marc Poulhiès	ada: Trivial refactoring in Instantiate_*_Body	commit \| commitdiff \| tree
2023-05-16	Yannick Moy	ada: Restore proof of System.Arith_Double	commit \| commitdiff \| tree
2023-05-15	Marc Poulhiès	ada: Fix typo in comment	commit \| commitdiff \| tree
2023-05-15	Yannick Moy	ada: Add annotations for proof of termination of runtime...	commit \| commitdiff \| tree
next

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

RSS Atom