gcc.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2025-11-18	ada: Fix bogus error about null exclusion for designated type with multiple v...	Eric Botcazou
2025-11-18	ada: Reserve Is_Constructor for Ada constructors	Denis Mazzucato
2025-11-03	ada: Direct attribute definition for constructors	Denis Mazzucato
2025-09-19	ada: Preliminary implementation of structural generic instantiation	Eric Botcazou
2025-09-19	ada: Add C binding for Is_Extended_Access_Type	Marc Poulhiès
2025-09-15	ada: Fix documentation of Is_Ancestor_Package	Ronan Desplanques
2025-09-09	ada: Update the uses of Is_Ignored*_In_Codegen	Viljar Indus
2025-09-09	ada: Multiple levels of ghost code	Viljar Indus
2025-08-04	ada: Update Assertion_Policy handling in GNATProve mode	Viljar Indus
2025-07-22	ada: Fix minor issues in comments	Ronan Desplanques
2025-07-22	ada: Fix unnecessary extra RE_Activation_Chain_Access with No_Task_Parts	Denis Mazzucato
2025-07-22	ada: Adding support to defer the addition of extra formals	Javier Miranda
2025-07-03	ada: Support Potentially_Invalid aspect in the frontend	Joffrey Huguet
2025-06-30	ada: Sort subprogram declaration in alphabetic order	Piotr Trojanek
2025-06-30	ada: Tune name and commend document of a ghost utility routine	Piotr Trojanek
2025-06-30	ada: Fix detection of ghost objects in assignment statements	Piotr Trojanek
2025-06-12	ada: Assorted minor cleanups and tweaks	Eric Botcazou
2025-06-09	ada: Emit more warnings on unsupported overlay	Marc Poulhiès
2025-06-09	ada: Add example in Current_Entity_In_Scope comment	Ronan Desplanques
2025-06-06	ada: Add new aspect Program_Exit for SPARK	Piotr Trojanek
2025-06-06	ada: Initial prototype of constructors	squirek
2025-06-06	ada: Remove Size_Check_Code field from entities	Eric Botcazou
2025-06-05	ada: Implement use implies with experimental extension	squirek
2025-01-07	Update copyright years.	Marc Poulhiès
2025-01-06	ada: Support new SPARK aspect Exit_Cases	Claire Dross
2025-01-03	ada: Improve and correct support for inheritance of nonoverriding aspects	Gary Dismukes
2024-12-13	ada: Cleanup preanalysis of static expressions	Javier Miranda
2024-12-13	ada: Implement new rules about effectively volatile types in SPARK	Piotr Trojanek
2024-12-13	ada: Remove unused parameter from volatile type queries	Piotr Trojanek
2024-11-14	ada: Fix internal error on misplaced iterated component association	Eric Botcazou
2024-11-04	ada: Split Library_Unit using multiple wrappers	Bob Duff
2024-11-04	ada: Initial implementation of Extended_Access aspect (FE portion only)	Steve Baird
2024-10-25	ada: Disable self-referential with_clauses	Bob Duff
2024-10-25	ada: Inspect deferred constant completions in missing contexts	Raphaël AMIARD
2024-08-01	ada: Allow making empty aggregates positional	Ronan Desplanques
2024-06-27	ada: Implement first half of Generalized Finalization	Eric Botcazou
2024-06-20	ada: Streamline propagation of controlled flags on types	Eric Botcazou
2024-06-13	ada: Missing support for 'Old with overloaded function	Javier Miranda
2024-06-10	ada: Tune code related to potentially unevaluated expressions	Piotr Trojanek
2024-05-17	ada: Expose utility routine for processing of Depends contracts in SPARK	Piotr Trojanek
2024-05-16	ada: Fix reference to RM clause in comment	Ronan Desplanques
2024-05-13	ada: Refactor repeated code for querying Boolean-valued aspects	Piotr Trojanek
2024-05-13	ada: Rewrite Append_Entity_Name; skip irrelevant names	Bob Duff
2024-05-07	ada: Prevent calculation of negative stack counts	Piotr Trojanek
2024-05-06	ada: Deconstruct support for abstract states with Relaxed_Initialization	Piotr Trojanek
2024-01-22	Update copyright years.	Marc Poulhiès
2023-12-19	ada: Restore object constraint optimization	Ronan Desplanques
2023-11-30	ada: Remove SPARK legality checks	Yannick Moy
2023-11-30	ada: Fix spelling of functions with(out) "side effects"	Yannick Moy
2023-11-21	ada: Compiler error reporting illegal prefix on legal loop iterator with "in"	Gary Dismukes