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

Age	Commit message (Expand)	Author	Files	Lines
2024-01-22	Update copyright years.	Marc Poulhiès	1	-1/+1
2023-06-27	ada: Correct the contract of Ada.Text_IO.Get_Line	Claire Dross	1	-9/+13
2023-06-20	ada: Remove references to Might_Not_Return and Always_Return	Claire Dross	1	-158/+142
2023-05-26	ada: Complete contracts of SPARK units	Yannick Moy	1	-49/+59
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-07-12	[Ada] Annotate libraries with returning annotation	Joffrey Huguet	1	-129/+189
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-10-04	[Ada] Mark Ada.Text_IO in SPARK	Yannick Moy	1	-2/+4
2021-06-18	[Ada] Remove AAMP from compiler sources	Bob Duff	1	-1/+1
2021-05-05	[Ada] Implement tiered support for floating-point output operations	Eric Botcazou	1	-3/+0
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-10-19	[Ada] Clarify protection offered by preconditions on Ada.Text_IO units	Yannick Moy	1	-2/+3
2020-06-08	[Ada] Ada.Text_IO: fix typo	Arnaud Charlet	1	-1/+1
2020-06-02	[Ada] Bump copyright year	Arnaud Charlet	1	-1/+1
2019-07-05	[Ada] Add contracts to Ada.Text_IO for SPARK	Joffrey Huguet	1	-105/+361
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
2018-01-11	[Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK)	Piotr Trojanek	1	-1/+1
2017-09-08	Make-lang.in, [...]: Find runtime source in libgnat/	Nicolas Roche	1	-0/+471