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

Age	Commit message (Expand)	Author	Files	Lines
2024-08-01	ada: Update contracts on Strings libraries	Yannick Moy	1	-0/+3
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	-4/+6
2023-05-15	ada: Add annotations for proof of termination of runtime units	Yannick Moy	1	-0/+6
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/+2
2022-05-13	[Ada] Facilitate proof of Overwrite in bounded strings library	Yannick Moy	1	-2/+2
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-12-02	[Ada] Use bracket aggregates in Ada2022	Marc Poulhiès	1	-19/+19
2021-10-04	[Ada] Add Ada RM description of Ada.Strings.Bounded as comments in the spec	Yannick Moy	1	-0/+90
2021-09-23	[Ada] Remove Initializes contracts from Ada.Strings.Bounded	Piotr Trojanek	1	-2/+0
2021-09-23	[Ada] Remove global parameter in Global contracts of Ada.Strings.Bounded	Piotr Trojanek	1	-80/+48
2021-09-22	[Ada] Contracts written for the Ada.Strings.Bounded library	Pierre-Alexandre Bazin	1	-209/+1865
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-06-02	[Ada] Bump copyright year	Arnaud Charlet	1	-1/+1
2019-07-10	[Ada] Add contracts to Strings libraries	Joffrey Huguet	1	-77/+444
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/+914