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	-21/+12
2024-01-22	Update copyright years.	Marc Poulhiès	1	-1/+1
2023-05-15	ada: Add annotations for proof of termination of runtime units	Yannick Moy	1	-0/+12
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-05-19	[Ada] Fix proof of runtime unit a-strfix and a-strsup	Claire Dross	1	-0/+5
2022-01-11	[Ada] Recover proof of Ada.Strings.Fixed with assertions	Yannick Moy	1	-3/+13
2022-01-11	[Ada] Remove extra space in single object declarations	Piotr Trojanek	1	-1/+1
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-09-23	[Ada] Minimize parts of Ada.Strings.Fixed marked SPARK_Mode => Off	Yannick Moy	1	-6/+12
2021-09-22	[Ada] Simplify contract of Ada.Strings.Fixed.Trim for proof	Yannick Moy	1	-1/+1
2021-09-20	[Ada] SPARK proof of the Ada.Strings.Fixed library	Pierre-Alexandre Bazin	1	-51/+229
2021-07-09	[Ada] Code cleanups in a-strfix.adb	Arnaud Charlet	1	-84/+54
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-06-02	[Ada] Bump copyright year	Arnaud Charlet	1	-1/+1
2020-06-02	[Ada] Address potentially uninitialized variables and dead code	Arnaud Charlet	1	-0/+4
2019-07-08	[Ada] Semantics of Delete for fixed strings	Ed Schonberg	1	-1/+9
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/+747