rocket-tools/riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2025-01-13	ada: Remove redundant parentheses inside unary operators (cont.)	Piotr Trojanek	1	-8/+8
2025-01-07	Update copyright years.	Marc Poulhiès	1	-1/+1
2024-08-02	ada: Add contracts to Ada.Strings.Unbounded and adapt implementation	Yannick Moy	1	-83/+956
2024-01-22	Update copyright years.	Marc Poulhiès	1	-1/+1
2023-06-20	ada: Remove references to Might_Not_Return and Always_Return	Claire Dross	1	-2/+2
2023-05-22	ada: Add contracts to Ada.Strings.Unbounded library	Joffrey Huguet	1	-5/+11
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-07-12	[Ada] Annotate libraries with returning annotation	Joffrey Huguet	1	-0/+1
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-10-25	[Ada] Reference in Unbounded_String is almost never null	Piotr Trojanek	1	-2/+2
2021-10-05	[Ada] Add Default_Initial_Condition to type Unbounded_String	Joffrey Huguet	1	-1/+2
2021-09-22	[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not	Yannick Moy	1	-1/+4
2021-07-09	[Ada] Fix layout of contracts	Joffrey Huguet	1	-15/+14
2021-06-21	[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_Output	Steve Baird	1	-2/+3
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-10-19	[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types	Bob Duff	1	-1/+6
2020-06-02	[Ada] Bump copyright year	Arnaud Charlet	1	-1/+1
2019-07-10	[Ada] Add contracts to Strings libraries	Joffrey Huguet	1	-70/+333
2019-07-05	[Ada] Import documentation from the RM for Ada.Strings.Unbounded	Pierre-Marie de Rodat	1	-0/+80
2019-01-08	[Ada] Bump copyright years to 2019	Pierre-Marie de Rodat	1	-1/+1
2018-01-11	[Ada] Bump copyright notices to 2018	Arnaud Charlet	1	-1/+1
2017-09-08	Make-lang.in, [...]: Find runtime source in libgnat/	Nicolas Roche	1	-0/+437