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

Age	Commit message (Expand)	Author
2025-09-11	ada: Make pp and friends more robust (base type only)	Bob Duff
2025-06-06	ada: Add new aspect Program_Exit for SPARK	Piotr Trojanek
2025-01-07	Update copyright years.	Marc Poulhiès
2025-01-06	ada: Support new SPARK aspect Exit_Cases	Claire Dross
2024-08-02	ada: Clean up handling of inlining of finalizer procedures	Richard Kenner
2024-07-02	ada: Fix analysis of Extensions_Visible	Yannick Moy
2024-05-20	ada: Add Is_Base_Type predicate to C interface	Eric Botcazou
2024-05-06	ada: Deconstruct support for abstract states with Relaxed_Initialization	Piotr Trojanek
2024-01-22	Update copyright years.	Marc Poulhiès
2023-11-28	ada: Add new predicate Is_Address_Compatible_Type	Sebastian Poeplau
2023-10-19	ada: Support new SPARK aspect Side_Effects	Yannick Moy
2023-09-15	ada: Clean up scope depth and related code (tech debt)	Bob Duff
2023-07-28	ada: Allow calls to Number_Formals when no formals are present	Piotr Trojanek
2023-06-13	ada: Implement new aspect Always_Terminates for SPARK	Piotr Trojanek
2023-05-23	ada: Accept and analyze new aspect Exceptional_Cases	Piotr Trojanek
2023-05-15	ada: Fix comment related to inlining	Bob Duff
2023-05-15	ada: Use Inline aspect instead of pragma in Einfo.Utils	Bob Duff
2023-01-09	ada: Update copyright notice	Arnaud Charlet
2022-07-04	[Ada] Assertions in Einfo.Utils	Bob Duff
2022-05-19	[Ada] Fix bug in handling of Predicate_Failure aspect	Steve Baird
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet
2022-01-05	[Ada] Renamed_Entity should return Entity_Id	Bob Duff
2021-10-25	[Ada] Renamed_Or_Alias cleanup	Bob Duff
2021-10-20	[Ada] tech debt: Clean up Uint fields, such as Esize	Bob Duff
2021-09-22	[Ada] Fix conformance errors and erroneous code	Bob Duff
2021-09-20	[Ada] Clean up Uint fields, remove unused routines	Bob Duff
2021-07-12	[Ada] Clean up Uint fields	Bob Duff
2021-07-08	[Ada] Remove Unknown_ functions	Bob Duff
2021-06-18	[Ada] Remove AAMP from compiler sources	Bob Duff
2021-06-15	[Ada] Variable-sized node types -- cleanup	Bob Duff
2021-05-10	Add missing pragma Inline for classification attributes	Eric Botcazou
2021-05-07	[Ada] Variable-sized node types	Bob Duff