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-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-09-12	[Ada] Replace SPARK containers implementation by Compile_Time_Error	Joffrey Huguet	1	-878/+5
2022-07-12	[Ada] Annotate libraries with returning annotation	Joffrey Huguet	1	-1/+3
2022-05-13	[Ada] Remove dependency on tampering checks and controlled types for formal	Yannick Moy	1	-1/+1
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-10-05	[Ada] Disable contract cases on formal containers	Claire Dross	1	-0/+1
2021-07-05	[Ada] Add Reference and Constant_Reference functions to formal containers	Claire Dross	1	-3/+93
2021-06-29	[Ada] Disable Pre/Post in formal containers	Claire Dross	1	-0/+5
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-06-08	[Ada] Add Depends contracts to Delete procedures of formal containers	Claire Dross	1	-3/+4
2020-06-02	[Ada] Bump copyright year	Arnaud Charlet	1	-1/+1
2019-08-19	[Ada] Add formal function parameter equality to SPARK containers	Joffrey Huguet	1	-0/+1
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-25	[multiple changes]	Pierre-Marie de Rodat	1	-2/+0
2017-09-08	Make-lang.in, [...]: Find runtime source in libgnat/	Nicolas Roche	1	-0/+815