Public Git Hosting - official-gcc.git/search

2022-09-12	Eric Botcazou	[Ada] Temporary tweak new expansion of contracts	commit \| commitdiff \| tree
2022-09-12	Piotr Trojanek	[Ada] Special-case printing of SPARK_Mode in error...	commit \| commitdiff \| tree
2022-09-12	Yannick Moy	[Ada] Justify false alarm from CodePeer analysis of...	commit \| commitdiff \| tree
2022-09-12	Piotr Trojanek	[Ada] Cleanup routine for handling SPARK_Mode kinds	commit \| commitdiff \| tree
2022-09-12	Yannick Moy	[Ada] Accept explicit SPARK_Mode Auto as configuration...	commit \| commitdiff \| tree
2022-09-12	Joffrey Huguet	[Ada] Remove SPARK containers from GNAT documentation	commit \| commitdiff \| tree
2022-09-12	Yannick Moy	[Ada] Reject use in SPARK of Asm intrinsics for code...	commit \| commitdiff \| tree
2022-09-12	Eric Botcazou	[Ada] Add C declaration for Opt.Unnest_Subprogram_Mode	commit \| commitdiff \| tree
2022-09-12	Steve Baird	[Ada] Internal error compiling formal instance of generic...	commit \| commitdiff \| tree
2022-09-12	Joffrey Huguet	[Ada] Replace SPARK containers implementation by Compile_Tim...	commit \| commitdiff \| tree
2022-09-12	Piotr Trojanek	[Ada] Fix validity checking on renamed Old attribute...	commit \| commitdiff \| tree
2022-09-12	Justin Squirek	[Ada] Tech debt: Expansion of contracts	commit \| commitdiff \| tree
2022-09-12	Eric Botcazou	[Ada] Fix oversight in implementation of unnesting	commit \| commitdiff \| tree
2022-09-12	Steve Baird	[Ada] Syntax error in Ada 2022 array aggregate causes...	commit \| commitdiff \| tree
2022-09-12	Steve Baird	[Ada] Initialize a local variable to avoid a CodePeer...	commit \| commitdiff \| tree
2022-09-12	Steve Baird	[Ada] bugbox referencing INOX prefixed view of primitive...	commit \| commitdiff \| tree
2022-09-12	Steve Baird	[Ada] Lock_Free aspect takes precedence over Ceiling_Locking...	commit \| commitdiff \| tree
2022-09-12	Eric Botcazou	[Ada] Do not mark user parameters of protected subprograms...	commit \| commitdiff \| tree
2022-09-12	Gary Dismukes	[Ada] Fix issues with compiling ACATS test for user...	commit \| commitdiff \| tree
2022-09-12	Steve Baird	[Ada] Remove a no-longer-correct comment	commit \| commitdiff \| tree
2022-09-12	Bob Duff	[Ada] Fix bugs in check-related warnings.	commit \| commitdiff \| tree
2022-09-12	Patrick Bernardi	[Ada] Disable Support_Atomic_Primitives on x86_64 VxWorks	commit \| commitdiff \| tree
2022-09-12	Patrick Bernardi	[Ada] Disable Support_Atomic_Primitives on QNX and...	commit \| commitdiff \| tree
2022-09-12	Bob Duff	[Ada] Parser and lexer cleanup	commit \| commitdiff \| tree
2022-09-12	Javier Miranda	[Ada] Revert "Enforce matching of extra formals"	commit \| commitdiff \| tree
2022-09-06	Eric Botcazou	[Ada] Mark artificial formal parameters in the debug...	commit \| commitdiff \| tree
2022-09-06	Eric Botcazou	[Ada] Fix problematic line debug info attached to call...	commit \| commitdiff \| tree
2022-09-06	Eric Botcazou	[Ada] Fix internal error on double renaming of private...	commit \| commitdiff \| tree
2022-09-06	Eric Botcazou	[Ada] Fix missing name for access type in generic instantiation	commit \| commitdiff \| tree
2022-09-06	Eric Botcazou	[Ada] Extend No_Dependence restriction to code generation...	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Disable lock free protected implementation if...	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Enable lock free protected implementation by...	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Restore missing Aggregate aspect for Ada.Containers...	commit \| commitdiff \| tree
2022-09-06	Marc Poulhiès	[Ada] Fix formal parameters list for secondary stack...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Retain Has_Private_View flag for actuals of inlined...	commit \| commitdiff \| tree
2022-09-06	Javier Miranda	[Ada] Enforce matching of extra formals	commit \| commitdiff \| tree
2022-09-06	Arnaud Charlet	[Ada] Disable if expression optimization for LLVM	commit \| commitdiff \| tree
2022-09-06	Javier Miranda	[Ada] Report error in non-legal class-wide conditions	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Slice length computation bug in Generic_Bounded_Length...	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Improve documentation of validation checking...	commit \| commitdiff \| tree
2022-09-06	Justin Squirek	[Ada] Handle new At_End expansion during unnesting	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Fix comment about mapping of parameters and inlining...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Cleanup unnecessary shadowing in expansion of...	commit \| commitdiff \| tree
2022-09-06	Julien Bortolussi	[Ada] Fix a bug in the contract of formal ordered sets	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Cope with scalar subtypes that have a non-scalar...	commit \| commitdiff \| tree
2022-09-06	Bob Duff	[Ada] Place "at end" on body nodes	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Document change to legality checks for Inox case...	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Temporarily simplify legality checks for Inox...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Tune message for illegal aspect Relaxed_Initialization	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] Bad Valid_Scalars result if signed int component...	commit \| commitdiff \| tree
2022-09-06	Steve Baird	[Ada] ICE handling discriminant-dependent index constraint...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Add formal verification dependencies to libgnat	commit \| commitdiff \| tree
2022-09-06	Eric Botcazou	[Ada] Correctly round Value attribute for floating...	commit \| commitdiff \| tree
2022-09-06	Piotr Trojanek	[Ada] Improve detection of illegal Iterable aspects	commit \| commitdiff \| tree
2022-09-06	Eric Botcazou	[Ada] Correctly round Value attribute for floating...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Move check for null array aggregates to expansion	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix inconsistent building of itypes for null...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix insertion of a runtime check for null array...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup iteration over aggregate component associations	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Remove VMS specific routine that is no longer...	commit \| commitdiff \| tree
2022-09-05	Steve Baird	[Ada] Single-element Append performance improvement	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Create internal type for null array aggregate...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Remove no longer referenced GNATprove utility...	commit \| commitdiff \| tree
2022-09-05	Steve Baird	[Ada] Bad Default_Initial_Condition check for a not...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix detection of unused warning suppression	commit \| commitdiff \| tree
2022-09-05	Eric Botcazou	[Ada] Small cleanup in body of System.Value_R	commit \| commitdiff \| tree
2022-09-05	Eric Botcazou	[Ada] Fix bogus discriminant check failure for type...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Detect expansion of iterated component associations...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix double identifiers in iterated component...	commit \| commitdiff \| tree
2022-09-05	Bob Duff	[Ada] Suppress warnings in trivial subprograms with...	commit \| commitdiff \| tree
2022-09-05	Arnaud Charlet	[Ada] Secondary stack and i-c*	commit \| commitdiff \| tree
2022-09-05	Bob Duff	[Ada] Enable Error_Msg_GNAT_Extension for mixed decl...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix resolution of iterated component association	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup analysis of iterator specifications	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup resolution of aggregates with mixed component...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup resolution of iterated component association	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup analysis of quantified expressions with...	commit \| commitdiff \| tree
2022-09-05	Arnaud Charlet	[Ada] New gnatbind switch -k	commit \| commitdiff \| tree
2022-09-05	Arnaud Charlet	[Ada] Code cleanups	commit \| commitdiff \| tree
2022-09-05	Eric Botcazou	[Ada] Fix crash for Default_Initial_Condition on derived...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Cleanup expansion of attribute Priority	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Fix expansion of attribute Priority	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Remove excessive guards against inserting empty...	commit \| commitdiff \| tree
2022-09-05	Piotr Trojanek	[Ada] Improve pretty-printing of iterated component...	commit \| commitdiff \| tree
2022-09-05	Arnaud Charlet	[Ada] Fix syntax in documentation	commit \| commitdiff \| tree
2022-09-02	Eric Botcazou	[Ada] Adjust previous change to Expand_Subtype_From_Expr	commit \| commitdiff \| tree
2022-09-02	Gary Dismukes	[Ada] Error on return of object whose full view has...	commit \| commitdiff \| tree
2022-09-02	Eric Botcazou	[Ada] Fix crash on declaration of overaligned array...	commit \| commitdiff \| tree
2022-09-02	Eric Botcazou	[Ada] Extend No_Dependence restriction to code generation...	commit \| commitdiff \| tree
2022-09-02	Claire Dross	[Ada] Add loop variants to Ada.Strings.Search and Ada...	commit \| commitdiff \| tree
2022-09-02	Claire Dross	[Ada] Fix proof of runtime unit System.Exp_Mod	commit \| commitdiff \| tree
2022-09-02	Claire Dross	[Ada] Fix proof of runtime unit System.Wid_*	commit \| commitdiff \| tree
2022-09-02	Yannick Moy	[Ada] Recover proof of Scaled_Divide in System.Arith_64	commit \| commitdiff \| tree
2022-09-02	Eric Botcazou	[Ada] Update documentation about non-symbolic traceback	commit \| commitdiff \| tree
2022-09-02	Claire Dross	[Ada] Fix proof of runtime unit System.Value* and System...	commit \| commitdiff \| tree
2022-07-21	Marc Poulhiès	MAINTAINERS: Add myself as Ada front end co-maintainer	commit \| commitdiff \| tree
2022-05-20	Marc Poulhiès	testsuite: add missing dg-require-effective-target...	commit \| commitdiff \| tree
2022-03-29	Marc Poulhiès	testsuite: Check fpic support in pr103275.c	commit \| commitdiff \| tree
2022-03-29	Marc Poulhiès	testsuite: fixup pr97521.c and pr96713.c on i686-*	commit \| commitdiff \| tree
2021-12-14	Marc Poulhiès	MAINTAINERS: Add myself to write after approval	commit \| commitdiff \| tree

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

RSS Atom