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-07-06	ada: Refactor the proof of the Value and Image runtime units	Claire Dross	1	-11/+10
2023-01-09	ada: Update copyright notice	Arnaud Charlet	1	-1/+1
2022-09-02	[Ada] Fix proof of runtime unit System.Value* and System.Image*	Claire Dross	1	-167/+21
2022-07-06	[Ada] Support ghost generic formal parameters	Yannick Moy	1	-7/+14
2022-05-12	[Ada] Remove useless pragma Warnings Off from runtime units	Yannick Moy	1	-2/+0
2022-05-12	[Ada] Proof of 'Image support for signed integers	Yannick Moy	1	-9/+44
2022-05-10	[Ada] Fix indentation to follow uniform style across runtime units	Yannick Moy	1	-46/+50
2022-05-10	[Ada] Proof of System.Val_Int at gold level	Claire Dross	1	-2/+165
2022-01-11	[Ada] Proof of System.Val_Uns at gold level	Claire Dross	1	-5/+7
2022-01-11	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	Arnaud Charlet	1	-1/+1
2021-05-03	[Ada] Update copyright notice	Arnaud Charlet	1	-1/+1
2020-10-21	[Ada] Support of attributes Image, Put_Image, Val and Width for 128-bit types	Eric Botcazou	1	-0/+84